Abstract
The UML-based Specification Environment (USE) tool supports syntactic analysis, type checking, consistency checking, and dynamic validation of invariants and pre-/post conditions specified in the Object Constraint Language (OCL). Due to its animation and analysis power, it is useful when checking critical non-functional properties such as security policies. However, the USE tool requires one to specify (i.e., “write”) a model using its own textual language and does not allow one to import any model specification files created by other UML modeling tools. Hence, to make the best use of existing UML tools, we often create a model with OCL constraints using a modeling tool such as the IBM Rational Software Architect (RSA) and then use the USE tool for model validation. This approach, however, requires a manual transformation between the specifications of two different tool formats, which is error-prone and diminishes the benefit of automated model-level validations. In this paper, we describe our own implementation of a specification transformation engine that is based on the Model Driven Architecture (MDA) framework and currently supports automatic tool-level transformations from RSA to USE.
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
Alanen, M., Porres, I.: A Relation Between Context-Free Grammars and Meta Object Facility Metamodels. Technical report, Turku Centre for Computer Science (2003)
Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: A Challenging Model Transformation. In: ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems (2007)
ArgoUML, an open source UML modeling tool by Tigris.org, http://argouml.tigris.org/
Boldsoft, Boldsoft OCL Tool Model Run, Boldsoft, Stockholm (2002)
Bordbar, B., Anastasakis, K.: UML2Alloy: A tool for lightweight modelling of Discrete Event Systems. In: Guimaraes, N., Isaias, P. (eds.) IADIS International Conference in Applied Computing (2005)
Chiorean, D.: Using OCL Beyond Specifications. In: Workshop of the pUML-Group held together with the UML 2001 on Practical UML-Based Rigorous Development Methods (2001)
Database Systems Group, Bremen University, USE: A UML based Specification Environment (Preliminary Version 0.1) (2007), http://www.db.informatik.uni-bremen.de/projects/USE/use-documentation.pdf
Dennis, G., Seater, R., Rayside, D., Jackson, D.: Automating commutativity analysis at the design level. In: ISSTA 2004: ACM SIGSOFT international symposium on Software testing and analysis, pp. 165–174. ACM Press, New York (2004)
Gogolla, M., Buttner, F., Richters, M.: USE: A UML-Based Specification Environment for Validating UML and OCL. Science of Computer Programming 69, 27–34 (2007)
Hussmann, H., Demuth, B., Finger, F.: Modular architecture for a toolset supporting OCL. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 278–293. Springer, Heidelberg (2002)
Kleppe, A., Warmer, J., Bast, W.: MDA Explained — The Model Driven Architecture: Practical and Promise. Addison-Wesley Longman Publishing Co., Inc., Boston (2005)
Leroux, D., Nally, M., Hussey, K.: Rational Software Architect: A tool for domain-specific modeling. IBM Systems Journal 45(3) (2006)
Object Management Group (OMG), MOF 2.0/XMI Mapping Specification, v2.1 (2005)
Object Management Group (OMG), Object Constraint Language (OCL) Version 2.0. OMG Document ptc/06-05-01 (2006)
Object Management Group (OMG), Unified Modeling Language (UML), Infra- and Superstructure, V2.1.2 (2007)
Sohr, K., Ahn, G., Gogolla, M., Migge, L.: Specification and Validation of Authorisation Constraints Using UML and OCL. In: de di Vimercati, S.C., Syverson, P.F., Gollmann, D. (eds.) ESORICS 2005. LNCS, vol. 3679, pp. 64–79. Springer, Heidelberg (2005)
Toval, A., Requena, V., Fernandez, J.: Emerging OCL tools. Software and Systems Modeling 2(4), 248–261 (2003), http://www.um.es/giisw/ocltools/ (last updated on, 12/20/2006)
Warmer, J., Kleppe, A.: The object constraint language: Getting Your Models Ready for MDA. Addison-Wesley Longman Publishing Co., Inc., Boston (2003)
Wimmer, M., Kramler, G.: Bridging grammarware and modelware. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 159–168. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sun, W., Song, E., Grabow, P.C., Simmonds, D.M. (2009). XMI2USE: A Tool for Transforming XMI to USE Specifications. In: Heuser, C.A., Pernul, G. (eds) Advances in Conceptual Modeling - Challenging Perspectives. ER 2009. Lecture Notes in Computer Science, vol 5833. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-04947-7_18
Download citation
DOI: https://doi.org/10.1007/978-3-642-04947-7_18
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-04946-0
Online ISBN: 978-3-642-04947-7
eBook Packages: Computer ScienceComputer Science (R0)