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

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.

[1]  Erika Asnina,et al.  Formal Analysis of Objects State Changes and Transitions , 2018, ENASE.

[2]  Erika Asnina,et al.  Enterprise Modeling for Information System Development within MDA , 2008, Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 2008).

[3]  Erika Asnina,et al.  Derivation of Use Cases from the Topological Computation Independent Business Model , 2011, Model-Driven Domain Analysis and Software Development.

[4]  Martin Kardos,et al.  Analytical method of CIM to PIM transformation in Model Driven Architecture (MDA) , 2010 .

[5]  Fábio Levy Siqueira,et al.  Analyzing CIM to PIM Transformations Using the WRSPM model , 2015 .

[6]  Erika Asnina,et al.  Computation Independent Modeling within the MDA , 2007, IEEE International Conference on Software-Science, Technology & Engineering (SwSTE'07).

[7]  Gadi Taoufiq,et al.  A methodology for CIM modelling and its transformation to PIM , 2013 .

[8]  Erika Asnina,et al.  Is Modeling a Treatment for the Weakness of Software Engineering? , 2011, Model-Driven Domain Analysis and Software Development.

[9]  Abdelaziz Mouloudi,et al.  Disciplined approach for transformation CIM to PIM in MDA , 2015, 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

[10]  Abdelaziz Mouloudi,et al.  CIM to PIM Transformation in MDA: from Service-Oriented Business Models to Web-Based Design Models , 2016 .

[11]  A. Kriouile,et al.  CIM to PIM Transformation : A criteria Based Evaluation , 2013 .

[12]  Taoufiq Gadi,et al.  An MDA Method for Automatic Transformation of Models from CIM to PIM , 2015 .

[13]  Erika Asnina,et al.  MDA Oriented Computation Independent Modeling of the Problem Domain , 2007, ENASE.

[14]  Erika Asnina,et al.  Specification of decision-making and control flow branching in Topological Functioning Models of systems , 2015, 2015 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE).

[15]  Uldis Donins,et al.  Topological Unified Modeling Language , 2017 .

[16]  Frank Piessens,et al.  Universal Arrow Foundations for Visual Modeling , 2000, Diagrams.

[17]  Theo Tryfonas,et al.  Frontiers in Artificial Intelligence and Applications , 2009 .

[18]  Ērika Nazaruka,et al.  The Computation Independent Viewpoint: a Formal Method of Topological Functioning Model Constructing , 2006 .

[19]  Taoufiq Gadi,et al.  Getting the static model of PIM from the CIM , 2014, 2014 Third IEEE International Colloquium in Information Science and Technology (CIST).

[20]  Erika Asnina,et al.  Formal Problem Domain Modeling within MDA , 2007, ICSOFT/ENASE.

[21]  Witold Suryn,et al.  Transformation from CIM to PIM Using Patterns and Archetypes , 2008 .

[22]  Armands Slihte,et al.  The Integrated Domain Modeling: A Case Study , 2014 .

[23]  Arturs Solomencevs,et al.  The algorithm for getting a UML class diagram from Topological Functioning Model , 2015, 2015 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE).

[24]  Arturs Solomencevs.  Topological Functioning Model for Software Development within MDA (Survey) , 2016, ENASE.

[25]  Uldis Sukovskis,et al.  Verification of BPMN Model Functional Completeness by using the Topological Functioning Model , 2016, ENASE.

[26]  Erika Asnina,et al.  Topological Modeling for Model-Driven Domain Analysis and Software Development: Functions and Architectures , 2011, Model-Driven Domain Analysis and Software Development.

[27]  Erika Asnina,et al.  Towards the Refinement of Topological Class Diagram as a Platform Independent Model , 2011, MDA/MDSD.

[28]  Imane Essebaa,et al.  Toward an automatic approach to get PIM level from CIM level using QVT rules , 2016, 2016 11th International Conference on Intelligent Systems: Theories and Applications (SITA).

[29]  Erika Asnina,et al.  Is Modeling a Treatment for the Weakness of Software Engineering , 2011 .

[30]  Erika Asnina,et al.  Computation Independent Models: Bridging Problem and Solution Domains , 2010, MDA/MTDD.

[31]  Erika Asnina,et al.  Formal Specification of Topological Relations , 2012, DB&IS.

[32]  Janis Osis,et al.  Lessons learned by using the Integrated Domain Modeling toolset , 2015, 2015 International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE).

[33]  Erika Asnina,et al.  Topological Functioning Model as a CIM-Business Model , 2011, Model-Driven Domain Analysis and Software Development.