International Journal of Computer Science & Network Security

International Journal of Computer Science & Network Security (국제컴퓨터통신보호논문지학회)
권호 표지
DOI QR코드

DOI QR Code

State-Based Behavior Modeling in Software and Systems Engineering

  • Received : 2023.05.05
  • Published : 2023.05.30
Download PDF
⟨ Previous Next ⟩

Abstract

The design of complex man-made systems mostly involves a conceptual modeling phase; therefore, it is important to ensure an appropriate analysis method for these models. A key concept for such analysis is the development of a diagramming technique (e.g., UML) because diagrams can describe entities and processes and emphasize important aspects of the systems being described. The analysis also includes an examination of ontological concepts such as states and events, which are used as a basis for the modeling process. Studying fundamental concepts allows us to understand more deeply the relationship between these concepts and modeling frameworks. In this paper, we critically analyze the classic definition of a state utilizing the Thinging machine (TM) model. States in state machine diagrams are considered the appropriate basis for modeling system behavioral aspects. Despite its wide application in hardware design, the integration of a state machine model into a software system's modeling requirements increased the difficulty of graphical representation (e.g., integration between structural and behavioral diagrams). To understand such a problem, in this paper, we project (create an equivalent representation of) states in TM machines. As a case study, we re-modeled a state machine of an assembly line system in a TM. Additionally, we added possible triggers (transitions) of the given states to the TM representation. The outcome is a complicated picture of assembly line behavior. Therefore, as an alternative solution, we re-modeled the assembly line based solely on the TM. This new model presents a clear contrast between state-based modeling of assembly line behavior and the TM approach. The TM modeling seems more systematic than its counterpart, the state machine, and its notions are well defined. In a TM, states are just compound events. A model of a more complex system than the one in the assembly line has strengthened such a conclusion.

Keywords

References

  1. Bringsjord, S.: Philosophical engineering: Some reflections. In: WPE-2007 Workshop on Philosophy and Engineering, Technical University- Delft, Netherlands, October 29-31, 2007
  2. Buede, D.M.: The Engineering Design of Systems: Models and Methods. John Wiley and Sons (2000)
  3. Wagner, F., Wolstenholme, P.: Misunderstandings About State Machines. IEE Computing & Control Engineering 15(4):40- 45 (2004). DOI: 10.1049/cce:20040413
  4. Wilson, P., Mantooth, H.A.: Chapter 6 - Block Diagram Modeling and System Analysis, Model-Based Engineering for Complex Electronic Systems, pp. 169-196. Publisher Newnes, Oxford, U. K. (2013). DOI: 10.1016/C2010-0-64918-2 DOI: 10.1016/B978-0-12-385085-0.00006-3
  5. Obota M.E., Ukwa C.N., Ona D.I.: Modeling & Control of Event Based Behaviour Using State Machines. The International Journal Of Engineering And Science 3(5), 54-58 (2014)
  6. Blaha, H., Rumbaugh, J.: Object-Oriented Modeling and Design with UML, 2nd ed. Pearson Prentice Hall, Upper Saddle River (2005)
  7. Chisholm, R.: Person and Object: A Metaphysical Study. Open Court Publishing Company, LaSalle (1976)
  8. Steward, H.: The Ontology of Mind Events, Processes, and States. Oxford University Press, Oxford (2011). 10.1093/acprof:oso/9780198250647.001.0001
  9. Baldawa, D.: Writing Maintainable Code Using State Machines in Python. Zeolearn (2018). https://www.zeolearn.com/magazine/writingmaintainable-code-using-sate-machines-in-python
  10. Al-Fedaghi, S.: Change in Conceptual Modeling and Systems Reconfiguration. International Journal of Computer Science and Network Security 22(4), 481-490 (2022). DOI: 10.22937/IJCSNS.2022.22.4.57
  11. Al-Fedaghi, S.: Conceptual Modeling of Events Based on One-Category Ontology. International Journal of Computer Science and Network Security 22(3), 425-436 (2022). doi.org/10.22937/IJCSNS.2022.22.3.54
  12. Huang C-C.: Discrete Event System Modeling Using Sysml and Model Transformation. Thesis of Doctor of Philosophy in the School of Industrial and Systems Engineering, Georgia Institute of Technology (2011). https://smartech.gatech.edu/bitstream/handle/1853/45830/Huang_ChienChung_201112_phd.pdf
  13. Whitehead, A.N.: Adventures of Ideas. Free Press, New York (1967)
  14. Sparx Systems Pty Ltd., UML 2 Tutorial - State Machine Diagram (2022). https://sparxsystems.com/resources/tutorials/uml2/state-diagram.html