Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Actor grammars and local actions
Handbook of graph grammars and computing by graph transformation
Handbook of graph grammars and computing by graph transformation
A classification system and analysis for aspect-oriented programs
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Detecting Precedence-Related Advice Interference
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Specification and Construction of Control Flow Semantics
VLHCC '06 Proceedings of the Visual Languages and Human-Centric Computing
A graph-based approach to modeling and detecting composition conflicts related to introductions
Proceedings of the 6th international conference on Aspect-oriented software development
MAVEN: modular aspect verification
TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
CompAr: ensuring safe around advice composition
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Aspect categories and classes of temporal properties
Transactions on Aspect-Oriented Software Development I
Defining object-oriented execution semantics using graph transformations
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Graph-based specification and simulation of featherweight Java with around advice
Proceedings of the 2009 workshop on Foundations of aspect-oriented languages
Composing aspects with aspects
Proceedings of the 9th International Conference on Aspect-Oriented Software Development
Disambiguating aspect-oriented security policies
Proceedings of the 9th International Conference on Aspect-Oriented Software Development
A permission system for secure AOP
Proceedings of the 9th International Conference on Aspect-Oriented Software Development
An advice for advice composition in AspectJ
SC'10 Proceedings of the 9th international conference on Software composition
A graph-based operational semantics for context-oriented programming
Proceedings of the 2nd International Workshop on Context-Oriented Programming
A formal approach to analyzing interference problems in aspect-oriented designs
UTP'10 Proceedings of the Third international conference on Unifying theories of programming
Modeling the car crash crisis management system using HiLA
Transactions on aspect-oriented software development VII
A graph-based aspect interference detection approach for UML-based aspect-oriented models
Transactions on aspect-oriented software development VII
Modeling the car crash crisis management system using HiLA
Transactions on aspect-oriented software development VII
A graph-based aspect interference detection approach for UML-based aspect-oriented models
Transactions on aspect-oriented software development VII
Detecting and resolving conflicts between adaptation aspects in multi-staged XML transformations
Proceedings of the 11th ACM symposium on Document engineering
Science of Computer Programming
A closer look at aspect interference and cooperation
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
Weaving semantic aspects in HiLA
Proceedings of the 11th annual international conference on Aspect-oriented Software Development
HiLA: high-level aspects for UML state machines
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Aspect of assembly: from theory to performance
Transactions on Aspect-Oriented Software Development IX
"Adore", a logical meta-model supporting business process evolution
Science of Computer Programming
Confluence of aspects for sequence diagrams
Software and Systems Modeling (SoSyM)
GReTL: an extensible, operational, graph-based transformation language
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Aspects that in isolation behave correctly, may interact when being combined. When interaction changes an aspect's behaviour or disables an aspect, we call this interference. One particular type of interference occurs when aspects are applied to shared join points, since then the ordering of the aspects can also influence the behaviour of the composition. We present an approach to detect aspect interference at shared join points. Aspect compositions are modelled by using a graph production system for modelling aspect-language semantics. A graph-based model of a join point is generated from the source-code of the system. This graph is transformed into a runtime-state representation. Combined with the production system (and the correct tooling) the execution of the aspects is simulated. This simulation results in a labelled transition system that can be used to analyse and verify different properties of the system at the join point. Simulation of the entire system can be computationally expensive. In our approach, we decide to abstract base system execution into non-deterministic valuation and carefully choosing advice semantics, such that simulation of the entire system can be avoided.