MDI4SE 2015 Abstracts

Full Papers
Paper Nr: 1

The Algorithm for Getting a UML Class Diagram from Topological Functioning Model


Arturs Solomencevs and Janis Osis

Abstract: The approach called Topological Functioning Modeling for Model Driven Architecture (TFM4MDA) uses Topological Functioning Model (TFM) as a formal problem domain model. TFM is used as a computation independent model (CIM) within Model Driven Architecture (MDA). Following the recommendations of MDA a CIM must be transformed to a platform independent model (PIM). The object of this research is the construction of a UML class diagram on PIM level in conformity with the TFM. Nowadays this transformation is executed manually. Manual creation of models is time-consuming; also a probability exists, that a user (e.g., system architect) will make a mistake during the execution. Time investment and risk of making mistakes increase costs and reduce efficiency of TFM4MDA approach. That is why automation of this process is useful. The paper presents an algorithm for the transformation. The algorithm is written in pseudocode and can be implemented as a tool, thus improving the TFM4MDA approach.

Paper Nr: 4

Lessons Learned by using the Integrated Domain Modeling Toolset


Kelly Verónica Fernández Céspedes, Janis Osis and Gundars Alksnis

Abstract: To contribute with the analysis of tools that attempt to acquire Computation Independent Model (CIM) from the domain system, authors explore the Integrated Domain Modeling toolset, and explain how it automatically acquires a formal CIM from description of a business system in a form of textual business use cases. This paper recognizes the computation independent nature of a Topological Functioning Model and suggests it to be used as a CIM within Model Driven Architecture. Authors of this paper share their experiences of using the toolset and mention several lessons learned during the usage process, as well as, their suggestions for improvements.

Paper Nr: 5

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


Erika Asnina and Viktoria Ovchinnikova

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.

Short Papers
Paper Nr: 3

The Algorithm of Transformation from UML Sequence Diagrams to the Topological Functioning Model


Viktoria Ovchinnikova and Erika Asnina

Abstract: It is difficult and time-consuming to migrate a legacy system to some new platform or integrate it with other software system manually. High-level abstract models (domain models) of the existing software system must be got for further merging with new domain models. TFM4MDA (Topological Functioning Modeling for Model Driven Architecture) is an approach for software development from the high level of abstraction to the lower levels. The formal TFM (Topological Functioning Model) for software system analysis can be obtained stepwise from the low levels using RE (Reverse Engineering) techniques. The algorithm for transformation from UML sequence diagrams to the TFM is suggested in this research. It is based on the previous research results. Additional information about other approaches such as MDRE (Model-Driven Reverse Engineering) and ADM (Architecture Driven Modernization) is overviewed in order to use it for further analysis and full formalization of the transformation considered in our work.