Integrating protocol modelling into reusable aspect models

dc.contributor.authorAyed, Abir
dc.contributor.authorKienzle, Jorg
dc.date.accessioned2015-07-30T21:02:25Z
dc.date.accessioned2015-07-30T23:05:27Z
dc.date.available2015-07-30T21:02:25Z
dc.date.available2015-07-30T23:05:27Z
dc.date.issued2013
dc.description.abstractAspect-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.en_US
dc.description.refereedYesen_US
dc.identifier.doi10.1145/2492437.2492439
dc.identifier.urihttp://hdl.handle.net/1880/50535
dc.identifier.urihttp://hdl.handle.net/1880/50791
dc.publisherACMen_US
dc.publisher.urlhttp://dx.doi.org/10.1145/2492437.2492439en_US
dc.titleIntegrating protocol modelling into reusable aspect modelsen_US
dc.typeunknown
Files
License bundle
Now showing 1 - 2 of 2
Loading...
Thumbnail Image
Name:
license.txt
Size:
1.84 KB
Format:
Item-specific license agreed upon to submission
Description:
Loading...
Thumbnail Image
Name:
license.txt
Size:
1.84 KB
Format:
Item-specific license agreed upon to submission
Description:
Collections