Communicating sequential processes
Communicating sequential processes
OOPSLA/ECOOP '90 Proceedings of the European conference on object-oriented programming on Object-oriented programming systems, languages, and applications
Object lifecycles: modeling the world in states
Object lifecycles: modeling the world in states
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
Characteristics of scalability and their impact on performance
Proceedings of the 2nd international workshop on Software and performance
Problem frames: analyzing and structuring software development problems
Problem frames: analyzing and structuring software development problems
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Executable UML: A Foundation for Model-Driven Architectures
Executable UML: A Foundation for Model-Driven Architectures
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
Theme: An Approach for Aspect-Oriented Analysis and Design
Proceedings of the 26th International Conference on Software Engineering
Aspect-Oriented Analysis and Design
Aspect-Oriented Analysis and Design
System development (Prentice-Hall International series in computer science)
System development (Prentice-Hall International series in computer science)
A generic weaver for supporting product lines
Proceedings of the 13th international workshop on Early Aspects
Executable Protocol Models as a Requirements Engineering Tool
ANSS-41 '08 Proceedings of the 41st Annual Simulation Symposium (anss-41 2008)
CSP parallel composition of aspect models
Proceedings of the 2008 AOSD workshop on Aspect-oriented modeling
Aspect-oriented multi-view modeling
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Abstractions, composition and reasoning
Proceedings of the 13th workshop on Aspect-oriented modeling
Composition semantics for executable and evolvable behavioral modeling in MDA
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
Crisis management systems: a case study for aspect-oriented modeling
Transactions on aspect-oriented software development VII
Directives for composing aspect-oriented design class models
Transactions on Aspect-Oriented Software Development I
Aspect categories and classes of temporal properties
Transactions on Aspect-Oriented Software Development I
Enhancing UML state machines with aspects
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Management of feature interactions with transactional regions
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Integrating protocol modelling into reusable aspect models
Proceedings of the 5th ACM SIGCHI Annual International Workshop on Behaviour Modelling - Foundations and Applications
Hi-index | 0.00 |
The aim of this paper is to explore the modeling of crosscutting behavioral abstractions. We argue that behavioral aspects can be seen as a particular kind of more general behavioral abstraction called a "mixin". Mixins support a compositional style of modeling, whereby a complete class definition is constructed by composing one or more mixins each of which represents a partial definition of the class. If used as the replacement for inheritance, mixins can provide an expressive power equivalent to multiple inheritance. In this paper we use a modeling semantics called Protocol Modeling to illustrate how mixins can be used to represent behavioral aspects. We use the Crisis Management System case to illustrate the Protocol Modeling approach, and describe how the model can be executed to give early validation of its behavior. We discuss the extent to which the Protocol Modeling approach is scalable to large problems, is suitable for evolutionary development and supports correctness analysis and testing.