Comparing Transformation Possibilities of Topological Functioning Model and BPMN in the Context of Model Driven Architecture

Abstract

The approach called “Topological Functioning Model for Software Engineering” (TFM4SE) applies the Topological Functioning Model (TFM) for modelling the business system in the context of Model Driven Architecture. TFM is a mathematically formal computation independent model (CIM). TFM4SE is compared to an approach that uses BPMN as a CIM. The comparison focuses on CIM modelling and on transformation to UML Sequence diagram on the platform independent (PIM) level. The results show the advantages and drawbacks the formalism of TFM brings into the development.

Keywords

• cim to pim transformation
• formal cim
• model driven architecture
• topological functioning model