Relationships between UML Sequence Diagrams and the Topological Functioning Model for Backward Transformation

Abstract

The software system needs to be analyzed and designed before the program code is written. A Computation Independent Model (CIM) and a Platform Independent Model/ Platform Specific Model (PIM/PSM) from Model-Driven Architecture (MDA) will be partially considered in this paper. A Topological Functioning Model (TFM) will be considered as a formal CIM, and UML sequence diagrams - as a behavioral PIM/PSM of the software system. The paper presents a short overview of the TFM and sequence diagrams with their constructs, as well as the example of transformation from the sequence diagrams to the TFM.

Obtaining and Visualization of the Topological Functioning Model from the UML Model

“…Mappings between TFM and TopUML elements are described and examples are provided in [11], [16], [17]. Similarities and relationships between UML sequence diagrams and the TFM elements are provided in [2], [18]. From them four mapping rules are defined [2]:…”

“…As the result the "target" system can be obtained. The transformation algorithm was theoretically developed in [1] and [2] by the mappings between TFM and UML model elements was provided in [18]. It is necessary to implement this algorithm, validate and check it by practical experiment with already developed legacy system, because some information can be lost during transformations (e.g.…”