Communicating sequential processes
Communicating sequential processes
Object lifecycles: modeling the world in states
Object lifecycles: modeling the world in states
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
Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
29 new unclarities in the semantics of UML 2.0 state machines
ICFEM'05 Proceedings of the 7th international conference on Formal Methods and Software Engineering
A framework for the semantics of behavioral contracts
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
Behavioural model for a business rules based approach to model services
Proceedings of the Second International Workshop on Behaviour Modelling: Foundation and Applications
Aspect-oriented development using protocol modeling
Transactions on aspect-oriented software development VII
Aspect-oriented development using protocol modeling
Transactions on aspect-oriented software development VII
Motivation modelling for human-service interaction
Proceedings of the Fourth Workshop on Behaviour Modelling - Foundations and Applications
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 vision of MDA is to decouple the way that application systems are defined from the specification of their deployment platform. Achieving this vision requires that Platform Independent models are rich enough to capture the behavior of the application, and to support reasoning and execution of functional behavior. We focus on state transition modeling as being the best able to support MDA and appraise the two types of state machine (Behavior State Machines and Protocol State Machines) defined in UML. We conclude that, for different reasons, neither has semantics that are well placed to serve as a basis for PIM level behavior modeling. We propose that state transition modeling can be both simplified and strengthened by providing semantics that support process algebraic composition. We claim a number of important advantages for this. Firstly, it provides a common language for defining a range of behavioral abstractions, including software components, behavioral contracts and cross-cutting aspects. Secondly that it better supports analysis of models, by exploiting the formal analysis techniques of process algebra. Thirdly, the semantics enable model execution and testing at the platform independent level across a wider domain than is possible with current UML formalisms.