Symbolic model checking for real-time systems
Information and Computation
Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Component Software: Beyond Object-Oriented Programming
Component Software: Beyond Object-Oriented Programming
Feature interaction: a critical review and considered forecast
Computer Networks: The International Journal of Computer and Telecommunications Networking
JAsCo: an aspect-oriented approach tailored for component based software development
Proceedings of the 2nd international conference on Aspect-oriented software development
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Composition, reuse and interaction analysis of stateful aspects
Proceedings of the 3rd international conference on Aspect-oriented software development
Software—Practice & Experience
SOFA 2.0: Balancing Advanced Features in a Hierarchical Component Model
SERA '06 Proceedings of the Fourth International Conference on Software Engineering Research, Management and Applications
Proceedings of the 5th international conference on Generative programming and component engineering
Foundations of incremental aspect model-checking
ACM Transactions on Software Engineering and Methodology (TOSEM)
Incremental analysis of interference among aspects
Proceedings of the 7th workshop on Foundations of aspect-oriented languages
An ADL dealing with aspects at software architecture stage
Information and Software Technology
Detecting unanticipated aspect interferences at runtime with compositional intentions
Proceedings of the Workshop on AOP and Meta-Data for Software Evolution
Detection and resolution of feature interactions in IP multimedia subsystem
International Journal of Network Management
Slicing of component behavior specification with respect to their composition
CBSE'07 Proceedings of the 10th international conference on Component-based software engineering
MAVEN: modular aspect verification and interference analysis
Formal Methods in System Design
Model driven language engineering with kermeta
GTTSE'09 Proceedings of the 3rd international summer school conference on Generative and transformational techniques in software engineering III
Symbolic model checking of software product lines
Proceedings of the 33rd International Conference on Software Engineering
Composable Controllers in Fractal: Implementation and Interference Analysis
SEAA '11 Proceedings of the 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications
Verification of aspectual composition in feature-modeling
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
A pointcut language for setting advanced breakpoints
Proceedings of the 12th annual international conference on Aspect-oriented software development
The potential of omniscient debugging for aspect-oriented programming languages
Proceedings of the 1st workshop on Comprehension of complex systems
A graphical tool for observing state and behavioral changes at join points
Proceedings of the 12th annual international conference companion on Aspect-oriented software development
Hi-index | 0.00 |
Component based software engineering and aspect orientation are claimed to be two complementary approaches. While the former ensures the modularity and the reusability of software entities, the latter enables the modularity of crosscutting concerns that cannot be modularized as regular components. Nowadays, several approaches and frameworks are dedicated to integrate aspects into component models. However, when several aspects are woven, aspects may interact with each other which often results in undesirable behavior. The contribution of this paper is twofold. First, we show how aspectized component models can be formally modeled in UPPAAL model checker in order to detect negative interactions (a.k.a., interferences) among aspects. Second, we provide an extendible catalog of composition operators used for aspect composition. We illustrate our general approach with an airport Internet service example.