An Innovative Model Driven Formalization of the Class Diagrams

Proceedings of 4th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2009) 2009
Jānis Osis, Uldis Doniņš

In this paper a system static structure modeling formalization and formalization of static models based on topological functioning model (TFM) is proposed. TFM uses mathematical foundations that holistically represent complete functionality of the problem and application domains. With the TFM we can do formal analysis of a business system and in a formal manner model the static structure of the system. After construction of the TFM of a system functioning a domain object model is defined by performing TFM transforma-tion. Making further transformations of TFM it is possible to introduce more formalism in the unified modeling language (UML) diagrams and in their con-struction. In this paper we have introduced topology into the UML class dia-grams.

Keywords
Software architecture, problem domain modeling, formalization, topological class diagrams

Osis, J., Doniņš, U. An Innovative Model Driven Formalization of the Class Diagrams. In: Proceedings of 4th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2009), Italy, Milan, 9-10 May, 2009. Milan: INSTICC Press, 2009, pp.134-145.

Publication language
English (en)