Abstract
The paper presents research results of formal notations and Unified Modeling Language (UML) integration framework within the model driven software engineering. The originality of the solution is based on the combination of three technologies (formal notations, UML and category theory), in order to ensure their theoretical basis for integration in Model Driven Architecture. Framework is characterized by a principle according to which each UML model and corresponding formal specification is examined as an independent object, while morphisms between them specify how they are mutually linked. This allows to specify specific aspects of the system in a notation that is the best suited.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Barr, M., Wells, C.: Category Theory for Computing Science, 3rd edn. Les Publications CRM, Montreal (1999)
Fiadeiro, J.L.: Categories for Software Engineering. Springer, Heidelberg (2005)
OMG Model Driven Architecture, http://www.omg.org/mda
Alksnis, G.: Formal Methods and Model Transformation Framework for MDA. In: Kolář, D., Meduna, A. (eds.) Proceedings of the 1st International Workshop on Formal Models (WFM 2006), pp. 87–94. MARQ, Ostrava (2006)
Alksnis, G.: Application of Category Theory to Integrate Formal Specification Languages in Model Driven Architecture. Summary of Doctoral Thesis. RTU Publishing, Riga (2008)
Smith, J., Kokar, M., Baclawski, K.: Formal Verification of UML Diagrams: A First Step Towards Code Generation. In: Evans, A., France, B.R., et al. (eds.) Workshop of the pUML-Group. LNI, vol. 7, pp. 224–240. GI, Toronto (2001)
Kleppe, A., Warmer, J., Bast, W.: MDA Explained: The Model Driven Architecture: Pratice and Promise. Addison-Wesley, Boston (2003)
Lopes, D., Hammoudi, S., Bézivin, J., Jouault, F.: Mapping Specification in MDA: From Theory to Practice. In: Konstantas, D., Bourrières, J.-P., et al. (eds.) Interoperability of Enterprise Software and Applications, pp. 253–264. Springer, London (2004)
Judson, S.R., France, R.B., Carver, D.L.: A metamodeling approach to model transformation. In: Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 326–327. ACM, New York (2003)
Bujorianu, M.C.: Integration of Specification Languages Using Viewpoints. In: Boiten, E.A., Derrick, J., Smith, G.P. (eds.) IFM 2004. LNCS, vol. 2999, pp. 421–440. Springer, Heidelberg (2004)
Alksnis, G.: The Analysis of UML State Machine Formal Checking Methods. In: Kelemenová, A., Kolář, D., et al. (eds.) Proceedings of the 10th International Conference Information System Implementation and Modeling (ISIM 2007), pp. 131–136. Silesian University, Opava (2007)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2010 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Alksnis, G. (2010). Category Theoretic Integration Framework for Formal Notations in Model Driven Software Engineering. In: Grundspenkis, J., Kirikova, M., Manolopoulos, Y., Novickis, L. (eds) Advances in Databases and Information Systems. ADBIS 2009. Lecture Notes in Computer Science, vol 5968. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-12082-4_23
Download citation
DOI: https://doi.org/10.1007/978-3-642-12082-4_23
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-12081-7
Online ISBN: 978-3-642-12082-4
eBook Packages: Computer ScienceComputer Science (R0)