Meaning of Cause-and-effect Relations of the Topological Functioning Model in the UML Analysis Model

Erika Nazaruka

2017

Abstract

Topological Functioning Model specifies functional and structural characteristics of a system in the holistic manner. Cause-and-effect relations link cause and effect functional characteristics of the system, illustrating causality in it. The Unified Modelling Language (UML) provides its own relationship kinds among elements. Traditionally, a use of UML relationships depends on analyst’s experience in UML and knowledge about the system. However, after TFM transformation meaning of cause-and-effect relations in UML model is not always clear. The paper summarizes research results on this matter and provides mapping guidelines from TFM causal relations to often used UML relationships. These guidelines can be applied in further (manual or automated) refinement of UML diagrams.

References

  1. Asnina, E., 2006a. Formalization of Problem Domain Modeling within Model Driven Architecture. Riga Technical University.
  2. Asnina, E., 2006b. The Computation Independent Viewpoint: a Formal Method of Topological Functioning Model Constructing. Applied computer systems, 26, pp.21-32.
  3. 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. Lisbon: SciTePress - Science and and Technology Publications, pp. 23-32.
  4. Asnina, E. & Osis, J., 2011. Topological Functioning Model as a CIM-Business Model. In Model-Driven Domain Analysis and Software Development. Hershey, PA: IGI Global, pp. 40-64.
  5. Asnina, E., Osis, J. & Jansone, A., 2013. Formal specification of topological relations. In Frontiers in Artificial Intelligence and Applications. Amsterdam: IOS Press, pp. 175-188.
  6. Asnina, E. & Ovchinnikova, V., 2015. Specification of decision-making and control flow branching in Topological Functioning Models of systems. In ENASE 2015 - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering. Lisbon: SciTePress, pp. 364- 373.
  7. Bousetta, B., Beggar el, O. & Gadi, T., 2013. A methodology for CIM modelling and its transformation to PIM. Journal of Information Engineering and Applications, 3(2), pp.1-21. Available at: www.iiste.org [Accessed February 17, 2017].
  8. Diskin, Z. et al., 2000. Universal Arrow Foundations for Visual Modeling. In V. H. M. Anderson, P. Cheng, ed. Diagrams'2000: Proc. 1st Int. Conference on the theory and application of diagrams, Edinburgh (Scotland), UK, Sept. 1-3, 2000. LNAI#1889. Springer, pp. 345-360. Available at: http://www.cs.toronto.edu/zdiskin/pubs-inChronOrder.htm [Accessed February 21, 2017].
  9. Donins, U. et al., 2012. Formal analysis of objects state changes and transitions. In ENASE 2012 - Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering. Lisbon: SciTePress, pp. 249-256.
  10. Donins, U., 2012. Topological Unified Modeling Language: Development and Application. Riga Technical University.
  11. Donins, U. et al., 2011. Towards the refinement of topological class diagram as a platform independent model. In A. Caplinskas et al., eds. Proceedings of the 3rd International Workshop on Model-Driven Architecture and Modeling-Driven Software Development, MDA and MDSD 2011, in Conjunction with ENASE 2011. Vilnius: Žara, pp. 79-88.
  12. Essebaa, I. & Chantit, S., 2016. Toward an automatic approach to get PIM level from CIM level using QVT rules. In 2016 11th International Conference on Intelligent Systems: Theories and Applications (SITA). Mohammedia: IEEE, pp. 1-6. Available at: http://ieeexplore.ieee.org/document/7772271/ [Accessed February 17, 2017].
  13. Fernández Céspedes, K.V., Osis, J. & Alksnis, G., 2015. Lessons Learned by using the Integrated Domain Modeling Toolset. In Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering. SCITEPRESS - Science and and Technology Publications, pp. 352- 363. Available at: doi=10.5220/0005477703520363 [Accessed February 21, 2017].
  14. Kardoš, M. & Drozdová, M., 2010. Analytical method of CIM to PIM transformation in model driven architecture (MDA). Journal of Information and Organizational Sciences, 34(1), pp.89-99.
  15. Kherraf, S., Lefebvre & Suryn, W., 2008. Transformation from CIM to PIM Using Patterns and Archetypes. In 19th Australian Conference on Software Engineering (aswec 2008). IEEE, pp. 338-346. Available at: http://ieeexplore.ieee.org/document/4483222/ [Accessed February 17, 2017].
  16. Kriouile, A. et al., 2014. Getting the static model of PIM from the CIM. In 2014 Third IEEE International Colloquium in Information Science and Technology (CIST). Tetouan: IEEE, pp. 168-173. Available at: http://ieeexplore.ieee.org/document/7016613/ [Accessed February 17, 2017].
  17. Kriouile, A., Addamssiri, N. & Gadi, T., 2015. An MDA Method for Automatic Transformation of Models from CIM to PIM. American Journal of Software Engineering and Applications, 4(1), pp.1-14. Available at: doi=10.11648/j.ajsea.20150401.11 [Accessed February 16, 2017].
  18. Kriouile, A., Gadi, T. & Balouki, Y., 2013. CIM to PIM Transformation: A Criteria Based Evaluation. Int.J.Computer Technology & Applications, 4(4), pp.616-625.
  19. Miller, J. & Mukerji, J., 2001. Model Driven Architecture ( MDA ), Available at: http://www.omg.org/cgibin/doc?ormsc/2001-07-01.
  20. Mokrys, M., 2012. Possible transformation from Process Model to IS Design Model. In ICTIC - PROCEEDINGS IN CONFERENCE OF INFORMATICS AND MANAGEMENT SCIENCES. EDIS - Publishing Institution of the University of Zilina, pp. 71-74.
  21. Nazaruka, E. et al., 2016. Verification of BPMN Model Functional Completeness by using the Topological Functioning Model. In Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering. Portugal: SCITEPRESS - Science and and Technology Publications, pp. 349-358. Available at: doi=10.5220/0005930903490358 [Accessed February 20, 2017].
  22. Osis, J., 1969. Topological Model of System Functioning (in Russian). Automatics and Computer Science, J. of Academia of Siences, (6), pp.44-50.
  23. Osis, J. & Asnina, E., 2011a. Derivation of use cases from the topological computation independent business model, Hershey, PA: IGI Global.
  24. Osis, J. & Asnina, E., 2008. Enterprise Modeling for Information System Development within MDA. In Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 2008). Waikoloa, USA: IEEE, pp. 490-490. Available at: http://ieeexplore.ieee.org/document/4439190/.
  25. Osis, J. & Asnina, E., 2011b. Is Modeling a Treatment for the Weakness of Software Engineering? In ModelDriven Domain Analysis and Software Development: Architectures and Functions. Hershey, PA: IGI Global, pp. 1-14.
  26. Osis, J. & Asnina, E., 2011c. Topological Modeling for Model-Driven Domain Analysis and Software Development?: Functions and Architectures. In ModelDriven Domain Analysis and Software Development. Hershey, PA: IGI Global, pp. 15-39.
  27. Osis, J., Asnina, E. & Grave, A., 2007a. Computation Independent Modeling within the MDA. In IEEE International Conference on Software-Science, Technology & Engineering (SwSTE'07). IEEE, pp. 22-34. Available at: http://ieeexplore.ieee.org/document/4384082/.
  28. Osis, J., Asnina, E. & Grave, A., 2008. Formal Problem Domain Modeling within MDA. In J. Filipe et al., eds. Software and Data Technologies: Second International Conference, ICSOFT/ENASE 2007, Barcelona, Spain, July 22-25, 2007, Revised Selected Papers. Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 387-398. Available at: http://dx.doi.org/10.1007/978-3-540-88655-6_29.
  29. Osis, J., Asnina, E. & Grave, A., 2007b. MDA oriented computation independent modeling of the problem domain. In ENASE 2007 - Proceedings of the 2nd International Conference on Evaluation of Novel Approaches to Software Engineering. Barcelona: INSTICC Press, pp. 66-71.
  30. Rhazali, Y., Hadi, Y. & Mouloudi, A., 2016. CIM to PIM Transformation in MDA: from Service-Oriented Business Models to Web-Based Design Models. International Journal of Software Engineering and Its Applications, 10(4), pp.125-142. Available at: http://dx.doi.org/10.14257/ijseia.2016.10.4.13 [Accessed February 16, 2017].
  31. Rhazali, Y., Hadi, Y. & Mouloudi, A., 2015. Disciplined approach for transformation CIM to PIM in MDA. In Model-Driven Engineering and Software Development (MODELSWARD), 2015 3rd International Conference on. IEEE, pp. 312-320. Available at: http://ieeexplore.ieee.org.resursi.rtu.lv/xpls/icp.jsp?arn umber=7323113 [Accessed February 17, 2017].
  32. Singh, Y. & Sood, M., 2010. The Impact of the Computational Independent Model for Enterprise Information System Development. International Journal of Computer Applications, 11(8), pp.21-26.
  33. Siqueira, F.L. & Silva, P.S.M., 2012. Analyzing CIM to PIM Transformations Using the WRSPM model. Infocomp, 11(1), pp.41-50.
  34. Solomencevs, A., 2016. Topological Functioning Model for software development within MDA (Survey). In ENASE 2016 - Proceedings of the 11th International Conference on Evaluation of Novel Software Approaches to Software Engineering. pp. 315-326.
  35. Solomencevs, A. & Osis, J., 2015. The Algorithm for Getting a UML Class Diagram from Topological Functioning Model. In Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering. SCITEPRESS - Science and and Technology Publications, pp. 341- 351. Available at: doi=10.5220/0005474303410351 [Accessed February 21, 2017].
  36. Šlihte, 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). Tallinn: Tallinn University of Technology Press, pp. 465-470.
Download


Paper Citation


in Harvard Style

Nazaruka E. (2017). Meaning of Cause-and-effect Relations of the Topological Functioning Model in the UML Analysis Model . In Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: MDI4SE, ISBN 978-989-758-250-9, pages 336-345. DOI: 10.5220/0006384403360345


in Bibtex Style

@conference{mdi4se17,
author={Erika Nazaruka},
title={Meaning of Cause-and-effect Relations of the Topological Functioning Model in the UML Analysis Model},
booktitle={Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: MDI4SE,},
year={2017},
pages={336-345},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006384403360345},
isbn={978-989-758-250-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 12th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: MDI4SE,
TI - Meaning of Cause-and-effect Relations of the Topological Functioning Model in the UML Analysis Model
SN - 978-989-758-250-9
AU - Nazaruka E.
PY - 2017
SP - 336
EP - 345
DO - 10.5220/0006384403360345