Formalization of the UML Class Diagrams

Evaluation of Novel Approaches to Software Engineering: 3rd and 4th International Conferences ENASE 2008/2009: Revised Selected Papers 2010
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 it is possible to do formal analysis of a business system and in a formal way to model the static structure of the system. After construction of the TFM of a sys-tem’s functioning a problem domain object model is defined by performing transformation of defined TFM. By making further transformations of TFM and by using TFM within software development 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.

Keywords
Topological modeling, Modeling formalization, Topological class diagram
DOI
10.1007/978-3-642-14819-4_13
Hyperlink
http://www.springer.com/computer/swe/book/978-3-642-14818-7

Osis, J., Doniņš, U. Formalization of the UML Class Diagrams. In: Evaluation of Novel Approaches to Software Engineering: 3rd and 4th International Conferences ENASE 2008/2009: Revised Selected Papers, Italy, Milan, 9-10 May, 2009. Berlin: Springer-Verlag, 2010, pp.180-192. ISBN 9783642148187. e-ISBN 9783642148194. ISSN 1865-0929. Available from: doi:10.1007/978-3-642-14819-4_13

Publication language
English (en)