Abstract
Mutual exclusion is a very common requirement in parallel systems. Yet its modeling is a tedious task in UML state machines, one of the most popular languages for behavior modeling. We present HiLA, an aspect-oriented extension of UML state machines, to address this problem. In HiLA, mutual exclusion can be modeled in a highly modular and declarative way. That is, the logic of mutual exclusion is modeled at a dedicated place rather than by model elements scattered all over the state machine, and the modeler only needs to specify which states to mutually exclude rather than how to exclude them. © 2012 Springer-Verlag.
Cite
CITATION STYLE
Zhang, G. (2012). Aspect-oriented modeling of mutual exclusion in UML state machines. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7349 LNCS, pp. 162–177). https://doi.org/10.1007/978-3-642-31491-9_14
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
