Using bonds for describing method dispatch in role-oriented software models
Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/Gutachten › Beitrag in Konferenzband › Beigetragen › Begutachtung
Beitragende
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
Originalsprache | Englisch |
---|---|
Titel | CLA2010 |
Seiten | 344-349 |
Seitenumfang | 6 |
Publikationsstatus | Veröffentlicht - 2010 |
Peer-Review-Status | Ja |
Publikationsreihe
Reihe | CEUR Workshop Proceedings |
---|---|
Band | 672 |
ISSN | 1613-0073 |
Konferenz
Titel | 7th International Conference on Concept Lattices and Their Applications, CLA 2010 |
---|---|
Dauer | 19 - 21 Oktober 2010 |
Stadt | Sevilla |
Land | Spanien |
Schlagworte
ASJC Scopus Sachgebiete
Schlagwörter
- Concept-driven framework, Formal concept analysis, Method dispatch, Role-oriented software modeling