• Information Technology
  • Human Resources
  • Careers
  • Giving
  • Library
  • Bookstore
  • Active Living
  • Continuing Education
  • Go Dinos
  • UCalgary Maps
  • UCalgary Directory
  • Academic Calendar
My UCalgary
Webmail
D2L
ARCHIBUS
IRISS
  • Faculty of Arts
  • Cumming School of Medicine
  • Faculty of Environmental Design
  • Faculty of Graduate Studies
  • Haskayne School of Business
  • Faculty of Kinesiology
  • Faculty of Law
  • Faculty of Nursing
  • Faculty of Nursing (Qatar)
  • Schulich School of Engineering
  • Faculty of Science
  • Faculty of Social Work
  • Faculty of Veterinary Medicine
  • Werklund School of Education
  • Information TechnologiesIT
  • Human ResourcesHR
  • Careers
  • Giving
  • Library
  • Bookstore
  • Active Living
  • Continuing Education
  • Go Dinos
  • UCalgary Maps
  • UCalgary Directory
  • Academic Calendar
  • Libraries and Cultural Resources
View Item 
  •   PRISM Home
  • SurfNet
  • Surfnet
  • View Item
  •   PRISM Home
  • SurfNet
  • Surfnet
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Integrating protocol modelling into reusable aspect models

Thumbnail
Author
Ayed, Abir
Kienzle, Jorg
Accessioned
2015-07-30T21:02:25Z
2015-07-30T23:05:27Z
Available
2015-07-30T21:02:25Z
2015-07-30T23:05:27Z
Issued
2013
Type
unknown
Metadata
Show full item record

Abstract
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.
Refereed
Yes
Url
http://dx.doi.org/10.1145/2492437.2492439
Publisher
ACM
Doi
http://dx.doi.org/10.1145/2492437.2492439
Uri
http://hdl.handle.net/1880/50535
http://hdl.handle.net/1880/50791
Collections
  • Surfnet

Browse

All of PRISMCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsThis CollectionBy Issue DateAuthorsTitlesSubjects

My Account

LoginRegister

Download Results

Statistics

Most Popular ItemsStatistics by CountryMost Popular Authors

  • Email
  • SMS
  • 403.220.8895
  • Live Chat

Energize: The Campaign for Eyes High

Privacy Policy
Website feedback

University of Calgary
2500 University Drive NW
Calgary, AB T2N 1N4
CANADA

Copyright © 2017