MDI4SE 2016 Abstracts


Full Papers
Paper Nr: 1
Title:

Topological Functioning Model for Software Development within MDA (Survey)

Authors:

Arturs Solomencevs

Abstract: The approach called Topological Functioning Modeling for Model Driven Architecture (TFM4MDA) uses Topological Functioning Model (TFM) as a formal holistic problem domain model. The approach is revolutionary, because it brings formalism to the earliest stages of software development – the analysis of problem domain, and provides formal transformations to UML design models. A copious amount of effort has been put into the development of TFM4MDA. Furthermore, TFM has not always been used in software development. This paper represents a literature survey of 69 articles about TFM and its application. The goal of this work is to trace the research of TFM and TFM4MDA approach, to throw light on the results of the research, and to reveal some weaker areas of it. The goal is successfully achieved and the conclusions are made.

Paper Nr: 2
Title:

The Validation Possibility of Topological Functioning Model using the Cameo Simulation Toolkit

Authors:

Viktorija Ovchinnikova and Erika Nazaruka

Abstract: According to requirements provided by customers, the description of to-be functionality of software systems needs to be provided at the beginning of the software development process. Documentation and functionality of this system can be displayed as the Topological Functioning Model (TFM) in the form of a graph. The TFM must be correctly and traceably validated, according to customer’s requirements and verified, according to TFM construction rules. It is necessary for avoidance of mistakes in the early stage of development. Mistakes are a risk that can bring losses of resources or financial problems. The hypothesis of this research is that the TFM can be validated during this simulation of execution of the UML activity diagram. Cameo Simulation Toolkit from NoMagic is used to supplement UML activity diagram with execution and allows to simulate this execution, providing validation and verification of the diagram. In this research an example of TFM is created from the software system description. The obtained TFM is manually transformed to the UML activity diagram. The execution of actions of UML activity diagrams was manually implemented which allows the automatic simulation of the model. It helps to follow the traceability of objects and check the correctness of relationships between actions.

Paper Nr: 4
Title:

Comparison of Topological Functioning Model for Software Engineering with BPMN Approach in the Context of Model Driven Architecture

Authors:

Janis Osis and Arturs Solomencevs

Abstract: OMG’s Model Driven Architecture (MDA) proposes a computation independent view on the information system. It is used to specify the requirements and to describe how the system works within its environment. The key part of MDA is model transformation. Computation independent model (CIM) must be transformed to a platform independent model (PIM). The problem is that software development approaches that hold by MDA principles have informal models on CIM level. Without mathematical formalism, it is not possible to properly transform CIM to PIM. Topological Functioning Model for Software Engineering (TFM4SE) approach addresses this issue, and applies Topological Functioning Model (TFM) as a formal CIM. In this paper, TFM4SE is compared to approach that uses Business Process Model and Notation for CIM modeling. The comparison focuses on CIM modeling and on transformation to class diagram on PIM level. The results show what advantages and drawbacks does the formalism of TFM bring into the software development.

Paper Nr: 5
Title:

Verification of BPMN Model Functional Completeness by using the Topological Functioning Model

Authors:

Erika Nazaruka, Viktorija Ovchinnikova, Gundars Alksnis and Uldis Sukovskis

Abstract: BPMN (Business Process Model and Notation) models are used to specify business knowledge in the language that is familiar for business people. They consist of multiple process diagrams that highlight different aspects of interaction among participants. Verification of BPMN models is important since graphical fragmentary presentation could be a source of errors such as incompleteness, deadlocks, livelocks, incorrect terminations etc. We consider verification of model completeness. The model is transformed to the topological functioning model (TFM) in order to check completeness of inputs, outputs and functioning cycles of the entire specified system. The proposed approach is dedicated to the verification of the model at the beginning of analysis, and it could be supplemented by other methods at the design stage. This approach is more dedicated to analysis of the whole system, than to the verification of the concrete fragment work.