Communicating sequential processes
Communicating sequential processes
Aspect-Oriented Modeling: Bridging the Gap between Implementation and Design
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Aspect-oriented multi-view modeling
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Composition semantics for executable and evolvable behavioral modeling in MDA
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
Transactions on Aspect-Oriented Software Development V
Transactions on Aspect-Oriented Software Development V
Aspect-oriented development using protocol modeling
Transactions on aspect-oriented software development VII
Mapping aspect-oriented models to aspect-oriented code
MODELS'10 Proceedings of the 2010 international conference on Models in software engineering
HiLA: high-level aspects for UML state machines
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Hi-index | 0.00 |
Aspect-oriented modelling approaches, e.g. the multi-view modelling approach Reusable Aspect Models (RAM), advocate to model concerns separately, and then to use model composition to create complex models in which these concerns are intertwined. In such a context, specifying the composition of the models is a non-trivial task, in particular when it comes to specifying the composition of behavioural models. This is the case for RAM message views, which define behaviour using sequence diagrams. In this paper we describe how we added an additional behavioural view to RAM -- the state view -- that specifies the allowed invocation protocol of class instances.. We discuss why Protocol Modelling, a compositional modelling approach based on state diagrams, is an ideal notation to specify such a state view, and show how we added support for protocol modelling to the RAM metamodel. Finally, we demonstrate how to model using the new state views by means of an example, and explain how state views can be exploited to verify the correctness of compositions.