Specification of Decision-making and Control Flow Branching in Topological Functioning Models of Systems

Erika Asnina, Viktoria Ovchinnikova

2015

Abstract

System behaviour usually is modelled with logical operators and triggering conditions on control flows between processes, activities, tasks, or events. This allows branching control flows in order to increase model comprehensibility. In case of Topological Functioning Model (TFM), where system’s functionality is represented by causal relations among functional characteristics, combinations of causes as well as triggered effects may be quite complex. Therefore, specification of them must not decrease apprehensibility of the TFM, while keeping its accuracy, compactness and level of abstraction. Additionally, this specification must also be modifiable and transformable. In this paper we discuss and refine a concept of a cause-and-effect relation and a logical relation in the TFM. Then, we analyze specification means used in BPMN, UML Activity Diagrams, EPCs, flowcharts, Petri Nets and Decision Models and assess which of them are more appropriate for using or integrating with the TFM. The more suitable means will increase the accuracy of specification of logical relations and system behaviour in the TFM. As a result, it would be possible to eliminate human participation in transformations from the TFM to models at the lower level of abstraction.

References

  1. ARIS Community, 2019-2015. Flowchart: Overview of the Flowchart notation. (Online) Available at: http://www.ariscommunity.com/flowchart (Accessed 2015).
  2. Arlow, J. & Neustadt, I., 2005. UML 2 and the Unified Process: Practical Object-Oriented Analysis and Design. 2nd ed. s.l.:Addison-Wesley Professional.
  3. Asnina, E., 2012. Notion of Causal Relations of the Topological Functioning Model. Applied computer systems, Volume 13, pp. 68-73.
  4. Asnina, E. & García-Bustelo, B., 2014. The Perspective on Data and Control Flow Analysis in Topological Functioning Models by Petri Nets. Applied Computer Systems, Volume 16, pp. 77-84.
  5. Asnina, E. & Osis, J., 2010. Computation independent models: bridging problem and solution domains. In: Proceedings of the 2nd International Workshop on Model-Driven Architecture and Modeling TheoryDriven Development MDA & MTDD 2010, In conjunction with ENASE 2010, Athens, Greece, July 2010. Lisbon: SciTePress, pp. 23--32.
  6. Asnina, E., Osis, J. & Jansone, A., 2013. Formal Specifications of Topological Relations. In: Databases and Information Systems VII: Selected Papers from the Tenth International Baltic Conference (DB&IS 2012), Lithuania, Vilnius, 8-11 July, 2012. Amsterdam: IOS Press, pp. 175-188.
  7. Davis, R. & Brabander, E., 2007. The Event-driven Process Chain. In: ARIS Design Platform. London: Springer, pp. 105-125.
  8. Donins, U., 2012-a. Semantics of Logical Relations in Topological Functioning Model. In: Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2012), Poland, Wroclaw, 29-30 June, 2012. Lisbon: SciTePress, pp. 217-223.
  9. Donins, U., 2012. Topological Unified Modeling Language: Development and Application. PhD Thesis. Riga: RTU.
  10. Donins, U. et al., 2011. Towards the Refinement of Topological Class Diagram as a Platform Independent Model. In: Proceedings of the 3rd International Workshop on Model-Driven Architecture and Modeling-Driven Software Development (MDA & MDSD 2011). Lisbon: SciTePress, pp. 79-88.
  11. Gottschalk, F., van der Aalst, W. M. P. & Jansen-Vullers, M. H., 2008. Merging Event-Driven Process Chains. In: On the Move to Meaningful Internet Systems: OTM 2008. LNCS. Berlin: Springer Berlin Heidelberg, pp. 418-426.
  12. Hebb, N., 2015. Flowchart Symbols Defined: Business Process Map and Flow Chart Symbols and their Meanings. (Online) Available at: http://www.breezetree.com/article-excel-flowchartshapes.htm.
  13. Jensen, K., 1994. An Introduction to the Theoretical Aspects of Coloured Petri Nets. In: A Decade of Concurrency, LNCS. Berlin: Springer-Verlag, pp. 230- 272.
  14. Kristensen M., L., Christensen, S. & Jensen, K., 1998. The practitioners' guide to coloured Petri nets. Int Journal on Software Tools for Technology Transfer, Issue 2, pp. 98-132.
  15. Lakos, C., 2011. Object Oriented Modelling with Object Petri Nets. In: Concurrent Object-Oriented Programming and Petri Nets, LNCS, Vol. 2001. Berlin: Springer, pp. 1-37.
  16. Mukerji, J. & Miller, J., 2003. MDA Guide v1.0.1. (Online) Available at: http://www.omg.org/cgibin/doc?omg/03-06-01.
  17. Murata, T., 1989. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4), pp. 541- 580.
  18. Object Management Group, 2011. Business Process Model and Notation (BPMN): Version 2.0. [Online] Available at: http://www.omg.org/spec/BPMN/2.0/ (Accessed 2015).
  19. Object Management Group, 2014. Decision Model and Notation (DMN). (Online) Available at: http://www.omg.org/spec/DMN/ [Accessed 2015].
  20. Osis, J., 1969. Topological Model of System Functioning. Automatics and Computer Science, J. of Acad. of Sc., Issue 6, pp. 44-50.
  21. Osis, J., 1972. Diagnostics of complex systems (Dissertation of Dr. Habil. Sc. Eng.). Riga, Latvia: Latvian Academy of Sciences.
  22. Osis, J. & Asnina, E., 2011-a. Topological Modeling for Model-Driven Domain Analysis and Software Development. In: Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey, New York, USA: IGI Global, pp. 15-39.
  23. Osis, J. & Asnina, E., 2011-d. Derivation of Use Cases from the Topological Computation Independent Business Model. In: Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey, USA: IGI Global, pp. 65-89.
  24. Osis, J. & Asnina, E., 2011. Model-Driven Domain Analysis and Software Development: Architectures and Functions. Hershey, New York, USA: IGI Global.
  25. Osis, J., Asnina, E. & Garcia-Diaz, V., 2014. Dependencies among Architectural Views Got from Software Requirements Based on a Formal Model. Applied Computer Systems, Volume 16, pp. 5-12.
  26. Osis, J., Asnina, E. & Grave, A., 2008. Formal Problem Domain Modeling within MDA. In: Communications in Computer and Information Science (CCIS). Software and Data Technologies. Berlin: SpringerVerlag, pp. 387-398.
  27. Selic, B., 2003. The pragmatics of model-driven development. IEEE Software, pp. 19-25.
  28. Slihte, A. & Osis, J., 2014. The Integrated Domain Modeling: A Case Study. In: Databases and Information Systems: Proceedings of the 11th International Baltic Conference (DB&IS 2014), Estonia, Tallinn, 8-11 June, 2014.. Tallinn: Tallinn University of Technology Press, pp. 465-470.
  29. Slihte, A., Osis, J. & Donins, U., 2011. Knowledge Integration for Domain Modeling. In: Model-Driven Architecture and Modeling-Driven Software Development: ENASE 2011, 3rd Whs. MDA&MDSD. Lisbon: SciTePress, pp. 46-56.
  30. van der Aalst, W., 1998. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1), pp. 21-66.
Download


Paper Citation


in Harvard Style

Asnina E. and Ovchinnikova V. (2015). Specification of Decision-making and Control Flow Branching in Topological Functioning Models of Systems . In Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: MDI4SE, (ENASE 2015) ISBN 978-989-758-100-7, pages 364-373. DOI: 10.5220/0005479903640373


in Bibtex Style

@conference{mdi4se15,
author={Erika Asnina and Viktoria Ovchinnikova},
title={Specification of Decision-making and Control Flow Branching in Topological Functioning Models of Systems},
booktitle={Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: MDI4SE, (ENASE 2015)},
year={2015},
pages={364-373},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005479903640373},
isbn={978-989-758-100-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: MDI4SE, (ENASE 2015)
TI - Specification of Decision-making and Control Flow Branching in Topological Functioning Models of Systems
SN - 978-989-758-100-7
AU - Asnina E.
AU - Ovchinnikova V.
PY - 2015
SP - 364
EP - 373
DO - 10.5220/0005479903640373