Various Interpretations of Actions of UML Activity Diagrams in Logic Controller Design
UML activity diagrams in version 2.x can be used as a semi-formal specification technique for logic controller design. The chapter provides various interpretations of activity diagram actions. An action is an elementary indivisible operation in the system which cannot be decomposed. However, it can be treated in different ways—it can be dynamic, state-oriented and with starting and stopping conditions. Each interpretation has its own characteristics and represents another point of view on the designed system.
KeywordsActivity diagrams Design Logic controllers UML
- 1.Doligalski, M. (2012). Behavioral specification diversification of reconfigurable logic controllers (Vol. 20). Lecture Notes in Control and Computer Science, Zielona Góra: University of Zielona Góra Press.Google Scholar
- 3.Gomes, L., Barros, J. P., & Costa, A. (2006). Modeling formalisms for embedded system design. In R. Zurawski (Ed.), Embedded systems handbook. New York: Taylor and Francis Group.Google Scholar
- 4.Grobelna, I. (2011). Formal verification of embedded logic controller specification with computer deduction in temporal logic. Przeglad Elektrotechniczny, 87(12a), 47–50.Google Scholar
- 5.Grobelna, I. (2013). Formal verification of logic controller specification by means of model checking (Vol. 24). Lecture Notes in Control and Computer Science, Zielona Góra: University of Zielona Góra Press.Google Scholar
- 6.Grobelny, M., Grobelna, I., & Adamski, M. (2012). Hardware behavioural modelling, verification and synthesis with UML 2.x activity diagrams. In Proceedings of 11th IFAC/IEEE International Conference on Programmable Devices and Embedded Systems—PDeS 2012 (pp. 109–114). Brno.Google Scholar
- 7.Grobelny, M., & Pieczynski, A. (2013). Exception handling in logic controller design by means of UML activity diagrams and control interpreted Petri nets. Przeglad Elektrotechniczny, 89(5), 314–317.Google Scholar
- 8.OMG. OMG Unified Modeling LanguageTM (OMG UML) Superstructure ver. 2.4.1. Object Management Group (2011)Google Scholar
- 9.Pender, T. (2003). UML Bible. Indianapolis: Wiley Publishing Inc.Google Scholar
- 10.Schattkowsky, T. (2005). UML 2.0—Overview and perspectives in SoC design. In Proceedings of the conference on design, automation and test in Europe (Vol. 2, pp. 832–833). Washington: IEEE Computer Society.Google Scholar
Open Access This chapter is licensed under the terms of the Creative Commons Attribution-NonCommercial 2.5 International License (http://creativecommons.org/licenses/by-nc/2.5/), which permits any noncommercial use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license and indicate if changes were made.
The images or other third party material in this chapter are included in the chapter's Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the chapter's Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder.