Advertisement

Various Interpretations of Actions of UML Activity Diagrams in Logic Controller Design

  • Michał GrobelnyEmail author
  • Iwona Grobelna
  • Marian Adamski
Chapter
Part of the Studies in Systems, Decision and Control book series (SSDC, volume 45)

Abstract

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.

Keywords

Activity diagrams Design Logic controllers UML 

References

  1. 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
  2. 2.
    Gajski, D. D., Abdi, S., Gerstlauer, A., & Schirner, G. (2009). Embedded system design: modeling, synthesis, verification. Berlin: Springer.CrossRefGoogle Scholar
  3. 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. 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. 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. 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. 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. 8.
    OMG. OMG Unified Modeling LanguageTM (OMG UML) Superstructure ver. 2.4.1. Object Management Group (2011)Google Scholar
  9. 9.
    Pender, T. (2003). UML Bible. Indianapolis: Wiley Publishing Inc.Google Scholar
  10. 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
  11. 11.
    Tkacz, J., & Adamski, M. (2013). Structured mapping of petri net states and events for FPGA implementations. International Journal of Electronics and Telecommunications, 59(4), 331–339.CrossRefGoogle Scholar
  12. 12.
    Wisniewski, R., Barkalov, A., Titarenko, L., & Halang, W. A. (2011). Design of microprogrammed controllers to be implemented in FPGAs. International Journal of Applied Mathematics and Computer Science, 21, 401–412.CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2016

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.

Authors and Affiliations

  • Michał Grobelny
    • 1
    Email author
  • Iwona Grobelna
    • 2
  • Marian Adamski
    • 3
  1. 1.Department of Media and Information TechnologiesUniversity of Zielona GóraZielona GóraPoland
  2. 2.Institute of Electrical EngineeringUniversity of Zielona GóraZielona GóraPoland
  3. 3.Institute of Metrology, Electronics and Computer ScienceUniversity of Zielona GóraZielona GóraPoland

Personalised recommendations