Abstract
This paper presents a modeling language to modularize the features of a system using orthogonal regions and to manage the interactions between these features. Orthogonal regions are a language construct to structure a state machine into a set of semi-independent behaviors. We introduce two concepts to manage the interactions between regions. First, we present a notion of interface between regions 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 evaluated 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 implementations of the features of the system and that it improves the cohesion of the regions, compared to classic regions. © 2012 ACM.
Recommended Citation
T. Cottenier et al., "Management of Feature Interactions with Transactional Regions," AOSD'12 - Proceedings of the 11th Annual International Conference on Aspect Oriented Software Development, pp. 119 - 130, Association for Computing Machinery (ACM), May 2012.
The definitive version is available at https://doi.org/10.1145/2162049.2162064
Department(s)
Computer Science
Keywords and Phrases
Feature interaction; Modularity; Statecharts
International Standard Book Number (ISBN)
978-145031092-5
Document Type
Article - Conference proceedings
Document Version
Citation
File Type
text
Language(s)
English
Rights
© 2024 Association for Computing Machinery, All rights reserved.
Publication Date
07 May 2012