Modeling languages that aim to capture PIM level behavior are still a challenge. We propose a high level behavioral formalism based on the Abstract State Machines (ASMs) for the specification and validation of software systems at PIM level. An ASM-based extension of the UML and its Action Semantics is here presented for the construction of executable class models at PIM level and also a model weaving process which makes the execution of such models possible. Our approach is illustrated using an Invoice Order System taken from the literature.
Weaving executability into UML class models at PIM level / E. Riccobene, P. Scandurra - In: Behaviour modelling in model driven architecture : first European workshop on behaviour modelling in model driven architecture(BM-MDA) : Enschede, The Netherlands, june 23, 2009 : proceedings / [a cura di] M. Aksit ... [et. al.]. - Enschede : University of Twente, Centre for telematics and information technology, 2009. - pp. 10-28 (( Intervento presentato al 1. convegno Workshop on Behavioural Modelling in Model-Driven Architecture (BM-MDA) tenutosi a Enschede, The Netherlands nel 2009 [10.1145/1555852.1555853].
Weaving executability into UML class models at PIM level
E. RiccobenePrimo
;
2009
Abstract
Modeling languages that aim to capture PIM level behavior are still a challenge. We propose a high level behavioral formalism based on the Abstract State Machines (ASMs) for the specification and validation of software systems at PIM level. An ASM-based extension of the UML and its Action Semantics is here presented for the construction of executable class models at PIM level and also a model weaving process which makes the execution of such models possible. Our approach is illustrated using an Invoice Order System taken from the literature.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
