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.

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

Share

 
COinS