An Innovative Model Driven Formalization of the Class Diagrams

Janis Osis, Uldis Donins

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.

References

  1. Asnina, E.: The Formal Approach to Problem Domain Modelling Within Model Driven Architecture. In: Proceedings of the 9th International Conference “Information Systems Implementation and Modelling” (ISIM'06), pp. 97-104, Prerov, Czech Republic. Jan Štefan MARQ. (2006)
  2. Evans, A., & Kent, S. (1999). Core Meta-Modelling Semantics of UML: The pUML Approach. “UML”7899 - The Unified Modeling Language. Lecture Notes in Computer Science, Vol. 1723. Springer-Verlag Berlin Heidelberg New York (1999) 140-155
  3. Fowler, M.: UML Distilled: A Brief Guide to the Standard Object Modeling Language, 3rd ed. Addison-Wesley (2003)
  4. Object management group (OMG) http://www.omg.org (2008)
  5. Osis J.: Extension of Software Development Process for Mechatronic and Embedded Systems, Proceeding of the 32nd International Conference on Computer and Industrial Engineering, University of Limerick, Limerick, Ireland, pp. 305-310 (2003)
  6. Osis, J.: Formal Computation Independent Model within the MDA Life Cycle, International Transactions on Systems Science and Applications, Vol. 1, No. 2, pp. 159 - 166 (2006)
  7. Osis, J., Asnina, E.: Enterprise Modeling for Information System Development within MDA. In: Proceedings of the 41st Annual Hawaii International Conference on System Sciences (HICSS 2008), USA, p. 490 (2008)
  8. Rumbaugh, J., Jacobson, I., & Booch, G.: The Unified Modeling Language Reference Manual, 2nd ed. Addison-Wesley (2004)
  9. Rumbaugh, J., Jacobson, I., & Booch, G.: The Unified Modeling Language User Guide, 2nd ed. Addison-Wesley (2005)
  10. Spivey, J. M.: The Z Notation: A Reference Manual, 2nd ed. Prentice Hall (1992)
  11. Szlenk, M.: UML Static Models in Formal Approach. Balancing Agility and Formalism in Software Engineering. Lecture Notes in Computer Science, Vol. 5082. Springer-Verlag Berlin Heidelberg New York (2008) 129-142
  12. Warmer, J., & Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA, 2nd ed. Addison-Wesley (2003)
  13. The Precise UML group (pUML) http://www.cs.york.ac.uk/puml/ (2004)
  14. OMG: Unified Modeling Language Superstructure Specification, version 2.1.2 (2007)
Download


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