Using UML Behavior Diagrams for Graphical Specification of Programs for Logic Controllers

  • Grzegorz BazydłoEmail author
  • Marian Adamski
Part of the Studies in Systems, Decision and Control book series (SSDC, volume 45)


The Unified Modeling Language (UML) is one of the most popular software engineering standards. The UML was designed for specifying, visualizing, constructing and documenting artifacts of software systems. But it could be also very useful for business modeling and can be used successfully for modeling digital systems, including logic controllers. The current version of UML contains fourteen types of diagrams. These diagrams help designer to model large and complex systems, but not all of the diagrams can be suitable for use in the area of hardware design. In the chapter each type of behavior diagrams is analysed and illustrated as an appropriate example. The results show which types of diagrams can be useful in the digital system design process.


UML Behavior diagram State machine Logic controller 


  1. 1.
    Adamski, M. (1990). Design of digital circuits with the use of the systematic structural method. Zielona Góra: Wydawnictwo Wyższej Szkoły Inżynierskiej. (in Polish).Google Scholar
  2. 2.
    Bazydło, G. (2011). Graphic specification of programs for reconfigurable logic controllers using unified modeling language (Vol. 19)., Lecture notes in control and computer science Zielona Góra: University of Zielona Góra Press.Google Scholar
  3. 3.
    Bazydło, G. (2014). Using UML structure diagrams for graphical specification of programs for logic controllers. In A. Bukowiec, G. Borowik, & M. Doligalski (Eds.), New trends in digital systems design (Vol. 836, pp. 68–80)., Fortschritt-Berichte VDI Dusseldorf: VDI Verlag GmbH.Google Scholar
  4. 4.
    Booch, G., Rumbaugh, J., & Jacobson, I. (2005). The unified modeling language user guide (2nd ed.). Reading: Addison-Wesley Professional.Google Scholar
  5. 5.
    Drusinsky, D., & Harel, D. (1989). Using statecharts for hardware description and synthesis. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 8(7), 798–807.CrossRefGoogle Scholar
  6. 6.
    Fowler, M. (2005). UML 2.0 Distilled. Warsaw: Oficyna Wydawnicza LTP. (in Polish).Google Scholar
  7. 7.
    Gomes, L., & Costa, A. (2003). From use cases to system implementation: statechart based co-design. In Proceedings of the first ACM and IEEE international conference on formal methods and models for co-design, MEMOCODE’03 (pp. 24–33). IEEE.Google Scholar
  8. 8.
    Łabiak, G., & Adamski, M. (2006). Using UML for modeling discrete control. Pomiary, Automatyka, Kontrola, 16(6), 50–52. (in Polish).Google Scholar
  9. 9.
    McUmber, W., & Cheng, B. (1999). UML-based analysis of embedded systems using a mapping to VHDL. In Proceedings of the 4th IEEE international symposium on high-assurance systems engineering (pp. 56–63).Google Scholar
  10. 10.
    Pilone, D., Piwko, Ł., & Pitman, N. (2007). UML 2.0: Almanac. Gliwice: Helion. (in Polish).Google Scholar
  11. 11.
    Unified Modeling Language. Superstructure. v2.5. Object Management Group (2015).
  12. 12.
    Valette, R. (1978). Etude comparative de deux outils de representation: Grafcet et reseau de Petri. Le Nouvel Automatisme, 1978(3), 377–382. (in French).Google Scholar
  13. 13.
    Wiśniewski, R., Stefanowicz, Ł., Bukowiec, A., & Lipiński, J. (2014). Theoretical aspects of Petri nets decomposition based on invariants and hypergraphs. In Lecture notes in electrical engineering, proceedings of the 8th international conference of multimedia and ubiquitous engineering (MUE), Zhangjiajie, China (Vol. 308, pp. 371–376).Google Scholar
  14. 14.
    Wood, S., Akehurst, D., Uzenkov, O., Howells, W., & McDonald-Maier, K. (2008). A model-driven development approach to mapping UML state diagrams to synthesizable VHDL. IEEE Transactions on Computers, 57(10), 1357–1371.MathSciNetCrossRefGoogle Scholar
  15. 15.
    Wrycza, S., Marcinkowski, B., & Wyrzykowski, K. (2005). UML 2.0 in modeling software systems. Gliwice: Helion. (in Polish).Google 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 (, 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

  1. 1.Institute of Electrical EngineeringUniversity of Zielona GóraZielona GóraPoland
  2. 2.Institute of Metrology, Electronics and Computer ScienceUniversity of Zielona GóraZielona GóraPoland

Personalised recommendations