An Innovative Model Driven Formalization of the Class Diagrams

Janis Osis, Uldis Donins

2009

Abstract

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 transformation. Making further transformations of TFM it is possible to introduce more formalism in the unified modeling language (UML) diagrams and in their construction. In this paper we have introduced topology into the UML class diagrams.

Paper Citation

in Harvard Style

Osis J. and Donins U. (2009). An Innovative Model Driven Formalization of the Class Diagrams . In Proceedings of the 4th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE, ISBN 978-989-811-98-2, pages 134-145. DOI: 10.5220/0001951901340145

in Bibtex Style

@conference{enase09,
author={Janis Osis and Uldis Donins},
title={An Innovative Model Driven Formalization of the Class Diagrams},
booktitle={Proceedings of the 4th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,},
year={2009},
pages={134-145},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001951901340145},
isbn={978-989-811-98-2},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 4th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: ENASE,
TI - An Innovative Model Driven Formalization of the Class Diagrams
SN - 978-989-811-98-2
AU - Osis J.
AU - Donins U.
PY - 2009
SP - 134
EP - 145
DO - 10.5220/0001951901340145