Gefei Zhang
ABSTRACT
UML state machines are widely used to model software system behaviors. Seemingly intuitive and simple, state machines may actually be rather complex. We present a set of metrics to reflect which model elements actually account for the complexity. Our metrics give a better understanding of the complexity of UML state machines, and may alert the modeler to pay more attention to more complex states and transitions.
- Ron Cytron, Jeanne Ferrante, Barry K. Rosen, Mark N. Wegman, and F. Kenneth Zadeck. An Efficient Method of Computing Static Single Assignment Form. In Conf. Rec. 16th Annual ACM Symp. Principles of Programming Languages (POPL'89), pages 25--35. ACM Press, 1989. Google Scholar
Digital Library
- Doron Drusinsky. Modeling and Verification Using UML Statecharts. Elsevier, 2006. Google ScholarDigital Library
- Liangpeng Guo, Alberto L. Sangiovanni-Vincentelli, and Alessandro Pinto. A Complexity Metric for Concurrent Finite State Machine Based Embedded Software. In 8th IEEE Int. Symp. Industrial Embedded Systems (SIES'13), pages 189--195. IEEE, 2013.Google Scholar
- Mathew Hall. Complexity Metrics for Hierarchical State Machines. In Myra B. Cohen and Mel Ó Cinnéide, editors, 3rd Int. Symp. Search Based Software Engineering (SBSE'11), volume 6956 of Lect. Notes Comp. Sci., pages 76--81. Springer-Verlag, 2011. Google ScholarDigital Library
- Object Management Group. OMG Unified Modeling Language (OMG UML), Superstructure, Version 2.4.1. Specification, OMG, 2011. http://www.omg.org/spec/UML/2.4.1/Superstructure.Google Scholar
- http://en.wikipedia.org/wiki/Cyclomatic_complexity. 2014-04-30.Google Scholar
- http://code.google.com/p/umple/wiki/MasuringStateMachineComplexity. 2014-04-30.Google Scholar
- Gefei Zhang. Aspect-Oriented State Machines. PhD thesis, Ludwig-Maximilians-Universität München, 2010.Google Scholar
- Gefei Zhang and Matthias M. Hölzl. HiLA: High-Level Aspects for UML State Machines. In Sudipto Ghosh, editor, Rep. & Rev. Sel. Papers Wshs at MoDELS'09, volume 6002 of Lect. Notes Comp. Sci., pages 104--118. Springer, 2009. Google ScholarDigital Library
- Gefei Zhang and Matthias M. Hölzl. Weaving Semantic Aspects in HiLA. In Robert Hirschfeld, Éric Tanter, Kevin J. Sullivan, and Richard P. Gabriel, editors, Proc. 11th Int. Conf. Aspect-Oriented Software Development (AOSD'12), pages 263--274. ACM, 2012. Google ScholarDigital Library
Index Terms
- A Set of Metrics for States and Transitions in UML State Machines
Recommendations
Modeling the meaning of transitions from and to concurrent states in UML state machines
SAC '03: Proceedings of the 2003 ACM symposium on Applied computingThis paper completes the ASM models developed for UML state machines in [4, 5] providing new submachines covering also transitions from and to concurrent states in the context of event deferring and run-to-completion. Due to the modular structure of the ...
A Set of Metrics of Non-locality Complexity in UML State Machines
Revised Selected Papers of the International Workshops on Behavior Modeling -- Foundations and Applications - Volume 6368One of the barriers to widespread adoption of behavior modeling languages lies in the complexity of the models. We show in the context of UML state machines how non-locality, i.e., the information for the current behavior of a model being spread over ...
UML 2.0 state machines: complete formal semantics via core state machines
FMICS'06/PDMC'06: Proceedings of the 11th international workshop, FMICS 2006 and 5th international workshop, PDMC conference on Formal methods: Applications and technologyUML has become the standard modeling language for object-oriented systems. The informal description of UML and its continuous extension cause many ambiguities. Therefore, a formal semantics for UML is necessary, especially for formal reasoning and tool ...
Comments