Communicating sequential processes
Communicating sequential processes
Designing object systems: object-oriented modelling with Syntropy
Designing object systems: object-oriented modelling with Syntropy
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
Verifying aspect advice modularly
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Aspect-oriented programming and modular reasoning
Proceedings of the 27th international conference on Software engineering
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Expressing different conceptual models of join point selections in aspect-oriented design
Proceedings of the 5th international conference on Aspect-oriented software development
Aspect-oriented software development
Aspect-oriented software development
Aspect categories and classes of temporal properties
Transactions on Aspect-Oriented Software Development I
Abstractions, composition and reasoning
Proceedings of the 13th workshop on Aspect-oriented modeling
Modeling and integrating aspects with UML activity diagrams
Proceedings of the 2009 ACM symposium on Applied Computing
Composition semantics for executable and evolvable behavioral modeling in MDA
Proceedings of the 1st Workshop on Behaviour Modelling in Model-Driven Architecture
Aspect-oriented development using protocol modeling
Transactions on aspect-oriented software development VII
Using VCL as an aspect-oriented approach to requirements modelling
Transactions on aspect-oriented software development VII
Aspect-oriented development using protocol modeling
Transactions on aspect-oriented software development VII
Using VCL as an aspect-oriented approach to requirements modelling
Transactions on aspect-oriented software development VII
An executable and changeable reference model for the health insurance industry
Proceedings of the Third Workshop on Behavioural Modelling
Aspect-oriented model development at different levels of abstraction
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
A method for modeling of KPIs enabling validation of their properties
Proceedings of the 5th ACM SIGCHI Annual International Workshop on Behaviour Modelling - Foundations and Applications
| Hi-index | 0.00 |
We present an approach to aspect specification based on the Protocol Modelling paradigm, which uses CSP parallel composition as the mechanism for combining partial behaviour specifications. Using the Protocol Modelling approach enables local reasoning about the behaviour of the whole model based on knowledge of behaviour of the composed aspects, and we present the proof of this key property in this paper. We describe how Protocol Modelling allows the definition of aspect join points and weaving relationships at the model level, and how different aspects may use different abstractions over the same domain. We illustrate this using a small case example.