International Journal of Computer Science & Network Security

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

DOI QR Code

Diagrammatic Formalism for Complex Systems: More than One Way to Eventize a Railcar System

  • Received : 2021.02.05
  • Published : 2021.02.28
Download PDF
⟨ Previous Next ⟩

Abstract

This paper is in the intersection of software engineering and system engineering, two intimately intertwined disciplines. A dominating theme in this paper is the integral conceptualization of systems at large, as well as an underlying concern with software systems. In the software development life cycle, challenges still exist in translating requirements into a design artifact and then into an implementation (e.g., coding), then validating the results. From our perspective, software engineering requires an integrating paradigm toward a unified modeling orientation. Many methodologies, languages, and tools exist for facilitating system development processes. This paper is a venture into project development. To focus the materials, we concentrate on Harel's novel (and classic) development environment, which integrates a scenario-based engineering object orientation and statecharts through developing a railcar system. The railcar system is used as a detailed sample of translating requirements into a design artifact and then into an implementation, then validating the result. The project is re-cased as a single integrated modeling endeavor to be contrasted with the scenario and statecharts' development. The result of this scheme is an enriched understanding through experimenting with and contrasting various development methods of software projects.

Keywords

References

  1. Yang, L.: Ontology Learning for Systems Engineering Body of Knowledge. Ph.D. Thesis, National University of Ireland, Galway (2020)
  2. Buede, D.M., Miller, W.D.: The Engineering Design of Systems Models and Methods. 3rd ed. John Wiley & Sons, Hoboken, NJ (2016)
  3. Harel, D., Marelly, R., Marron, A., Szekely, S.: Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems. arXiv:1911.10691v2 [cs.SE] (2020)
  4. van Ruijven, L.C.: Ontology for Systems Engineering. In: Paredis, C.J.J., Bishop, C., Bodner, D. (eds.), Procedia Computer Science. pp. 383-392. Elsevier, Atlanta, GA (2013). https://doi.org/10.1016/j.procs.2013.01.040
  5. Hallberg, N., Jungert, E., Pilemalm, S.: Ontology for Systems Development. Int. J. Softw. Eng. Knowl. Eng. 24, 329-345 (2014). https://doi.org/10.1142/S0218194014500132
  6. Ernadote, D.: Ontology-Based Pattern for System Engineering. In: 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS). IEEE, pp. 248-258 (2017). https://doi.org/10.1109/MODELS.2017.4
  7. Yang, L., Cormican, K., Yu, M.: Towards a Methodology for Systems Engineering Ontology Development-An Ontology for System Life Cycle Processes. In: 2017 IEEE International Systems Engineering Symposium (ISSE). IEEE, pp. 1-7. IEEE, Vienna, Austria (2017). https://doi.org/10.1109/SysEng.2017.8088299
  8. Yang, L., Cormican, K., Yu, M.: An Ontology Model for Systems Engineering Derived from ISO/IEC/IEEE 15288: 2015: Systems and Software Engineering-System Life Cycle Processes. In: Proc. of the 19th International Conference on Knowledge Engineering and Ontological Engineering (ICKEOE 2017). World Academy of Science, Engineering and Technology, London (2017)
  9. Dori, D.: Model-Based Systems Engineering with OPM and SysML. 1st ed. SpringerVerlag, New York (2016)
  10. Dori, D., Sillitto, H.: What Is a System? An Ontological Framework. Syst. Eng. 20, 207-219 (2017). https://doi.org/10.1002/sys.21383
  11. Ramos, M.A., Masiero, P.C., Penteado, R.A.D., Braga, R.T.V.: Extending Statecharts to Model System Interactions. Journal of Software Engineering Research and Development 3, 12 (2015). DOI: 10.1186/s40411-015-0026-x
  12. Al-Fedaghi, S.: Conceptual Temporal Modeling Applied to Databases. (IJACSA) International Journal of Advanced Computer Science and Applications 12(1), p. 524 - 534 (2021). DOI 10.14569/IJACSA.2021.0120161
  13. Al-Fedaghi, S.: Computer Program Decomposition and Dynamic/Behavioral Modeling. Int. J. Comput. Sci. Netw. 20(8), 152-163 (2020). DOI: 10.22937/IJCSNS.2020.20.08.16
  14. Al-Fedaghi, S.: UML Modeling to TM Modeling and Back. IJCSNS 21(1), 84-96 (2021)
  15. Heidegger, M.: The Thing. In: Hofstadter, A. (trans.), Poetry, Language, Thought. pp. 161-184. Harper and Row, New York (1975)
  16. Deleuze, G.: Bergsonism. Zone Books, New York (1991)
  17. Excel Software: State Model. Excel Software, Henderson, NV, USA. Accessed 5/2/2021. https://www.excelsoftware.com/statemodel
  18. Harel, D., Gery, E.: Executable Object Modeling with Statecharts. In: Proc. of IEEE 18th International Conference on Software Engineering. pp. 246-257 (1996). DOI: 10.1109/ICSE.1996.493420
  19. Ali, A., Jawawi, D.N., Isa, M.A.: Modeling and Calculation of Scenarios Reliability in Component-Based Software Systems. In Software Engineering Conference (MySEC), 2014 8th Malaysian (2014). DOI: 10.1109/MySec.2014.6986007
  20. Ali, A., Jawawi, D.N., Isa, M.A.: Strategy for Scalable Scenarios Modeling and Calculation in Early Software Reliability Engineering. Jurnal Teknologi (Sciences & Engineering) 77(9), 139-148 (2015)
  21. Liu, S., Liu, Y., Andre, E., Choppy, C., Sun, J.: A Formal Semantics for Complete UML State Machines with Communications. In: Johnsen E.B., Petre L. (eds.) Integrated Formal Methods. IFM 2013. Lecture Notes in Computer Science, vol. 7940, pp. 331-346. Springer, Berlin (2013). https://doi.org/10.1007/978-3-642-38613-8_23
  22. Harel, D.: Statecharts: A Visual Formalism for Complex Systems. Science of Computer Programming 8(3), 231-274 (1987) https://doi.org/10.1016/0167-6423(87)90035-9