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

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in KonferenzbandBeigetragenBegutachtung

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

OriginalspracheEnglisch
TitelCLA2010
Seiten344-349
Seitenumfang6
PublikationsstatusVeröffentlicht - 2010
Peer-Review-StatusJa

Publikationsreihe

ReiheCEUR Workshop Proceedings
Band672
ISSN1613-0073

Konferenz

Titel7th International Conference on Concept Lattices and Their Applications, CLA 2010
Dauer19 - 21 Oktober 2010
StadtSevilla
LandSpanien

Schlagworte

ASJC Scopus Sachgebiete

Schlagwörter

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