Statecharts: A visual formalism for complex systems
Science of Computer Programming
The STATEMATE semantics of statecharts
ACM Transactions on Software Engineering and Methodology (TOSEM)
N degrees of separation: multi-dimensional separation of concerns
Proceedings of the 21st international conference on Software engineering
Feature interactions in telecommunications systems
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue on the feature interactions in telecommunications systems
Design Rules: The Power of Modularity Volume 1
Design Rules: The Power of Modularity Volume 1
Aspect-Oriented Modeling: Bridging the Gap between Implementation and Design
GPCE '02 Proceedings of the 1st ACM SIGPLAN/SIGSOFT conference on Generative Programming and Component Engineering
Summarization of dynamic content in web collections
PKDD '04 Proceedings of the 8th European Conference on Principles and Practice of Knowledge Discovery in Databases
Aspect-oriented programming and modular reasoning
Proceedings of the 27th international conference on Software engineering
Aspect-oriented development using protocol modeling
Transactions on aspect-oriented software development VII
Report of the 14th international workshop on aspect-oriented modeling
MODELS'09 Proceedings of the 2009 international conference on Models in Software Engineering
Enhancing UML state machines with aspects
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Architecture composition for concurrent systems
Proceedings of the 2012 workshop on Next Generation Modularity Approaches for Requirements and Architecture
Modular reasoning about region composition
Proceedings of the eleventh workshop on Foundations of Aspect-Oriented Languages
Aspect interaction chart - a UML approach for modularizing aspect interaction conflicts
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Hi-index | 0.00 |
This paper presents a modeling language to modularize the features of a system using orthogonal regions and to man-age the interactions between these features. Orthogonal regions are a language construct to structure a state ma-chine into a set of semi-independent behaviors. We intro-duce two concepts to manage the interactions between regions. First, we present a notion of interface between re-gions which captures the essence of their interactions. Second, we introduce a transactional composition operator to synchronize the regions and check the interaction for non-determinism and termination. The approach is eva-luated by comparing a monolithic legacy implementation of a telecommunication component to two refactored implementations. Our results show that transactional region composition can achieves independence between the im-plementations of the features of the system and that it improves the cohesion of the regions, compared to classic regions.