Statecharts: A visual formalism for complex systems
Science of Computer Programming
A Framework for the Detection and Resolution of Aspect Interactions
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Composition, reuse and interaction analysis of stateful aspects
Proceedings of the 3rd international conference on Aspect-oriented software development
Implementing protocols via declarative event patterns
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Modeling aspect-oriented compositions
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
SC'05 Proceedings of the 4th international conference on Software Composition
Protocol Modeling with Model Program Composition
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Behavioral Modelling and Composition of Object Slices Using Event Observation
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Aspect-oriented multi-view modeling
Proceedings of the 8th ACM international conference on Aspect-oriented software development
From sequence diagrams to Java-stairs aspects
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Modeling interaction join point adaptations independent of pointcut models using UML stereotypes
Proceedings of the 13th workshop on Aspect-oriented modeling
Managing embedded systems complexity with aspect-oriented model-driven engineering
ACM Transactions on Embedded Computing Systems (TECS)
An extensible framework for middleware design based on concurrent event-based AOP
Proceedings of the 9th International Workshop on Adaptive and Reflective Middleware
Software and Systems Modeling (SoSyM)
| Hi-index | 0.01 |
In this position paper, the authors argue that Aspect-Oriented Modeling (AOM) technologies have the potential to simplify the deployment and the ability to reason about a category of crosscutting concerns that have been categorized in the literature as stateful aspects. Stateful aspects trigger on a sequence of join points instead of on a single join point. Their trigger condition is history sensitive. We identify three properties of Aspect-Oriented Modeling languages that enable them to provide more natural solutions to the stateful aspect problem. The first factor is the ability of modeling languages to support different system decompositions paradigms. This ability allows a system to be decomposed according to the paradigm that fits the nature of the problem the best. Second, these decompositions allow AOM languages to capture and reason about pointcut descriptors at a higher level of abstraction. Finally, the system decomposition mechanisms can be exploited to advance the compositional expressiveness of aspects defined in AOM languages. The paper concludes with an invitation to our colleagues in the "general purpose" programming community to embrace modeling technologies in the context of automatic code generation.