Using bonds for describing method dispatch in role-oriented software models

Research output: Contribution to book/Conference proceedings/Anthology/ReportConference contributionContributedpeer-review

Contributors

Abstract

Role-oriented software modeling is an approach to objectoriented software engineering which provides a stricter encapsulation by separating the type behavior from the object into so-called roles. This role behavior can dynamically be accessed in certain situations and extends or alters the original type behavior. The process of extending or altering type behavior in object-oriented systems is realized by so-called method dispatch which controls message sending and routing. It is thus essential to guarantee the correct execution of the model. In this paper we present a context-based construction to describe the method dispatch via special formal contexts containing bonds. It turns out that the bond-induced morphisms serve well for determining the role method which is bound to a certain base method during runtime. This formal context can also be used to check the role model and determine whether base and role methods are bound correctly.

Details

Original languageEnglish
Title of host publicationCLA2010
Pages344-349
Number of pages6
Publication statusPublished - 2010
Peer-reviewedYes

Publication series

SeriesCEUR Workshop Proceedings
Volume672
ISSN1613-0073

Conference

Title7th International Conference on Concept Lattices and Their Applications, CLA 2010
Duration19 - 21 October 2010
CitySevilla
CountrySpain

Keywords

ASJC Scopus subject areas

Keywords

  • Concept-driven framework, Formal concept analysis, Method dispatch, Role-oriented software modeling