USE: A UML-based specification environment for validating UML and OCL

Science of Computer Programming

Volumn 69, Issue 1-3, 2007, Pages 27-34

  Gogolla, Martin ^a   Büttner, Fabian ^a   Richters, Mark ^b  

^a UNIVERSITY OF BREMEN   (Germany)

^b AIRBUS GROUP INNOVATIONS   (Germany)

Author keywords

Constraint; Invariant; Model; Model certification; Model execution; Model validation; OCL; Pre and post conditions; UML

Indexed keywords

COMPUTER AIDED DESIGN; MATHEMATICAL MODELS; SOFTWARE ENGINEERING; UNIFIED MODELING LANGUAGE;

MODEL CERTIFICATION; MODEL EXECUTION; MODEL VALIDATION; OBJECT CONSTRAINT LANGUAGE (OCL);

COMPUTER PROGRAMMING LANGUAGES;

EID: 36048931368     PISSN: 01676423     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.scico.2007.01.013     Document Type: Article

References (15)

1. Ahrendt W., Baar T., Beckert B., Giese M., Habermalz E., Hähnle R., Menzel W., and Schmitt P.H. The KeY approach: Integrating object oriented design and formal verification. In: Ojeda-Aciego M., de Guzmán I., Brewka G., and Pereira L.M. (Eds). Proc. 8th European Workshop Logics in AI. JELIA'2000. LNCS vol. 1919 (2000), Springer 21-36
2. D. Akehurst, O. Patrascoiu, The Kent Modeling Framework (KMF), http://www.cs.kent.ac.uk/projects/ocl, University of Kent, 2005
3. D. Arnold, OCL/C# Compiler, www.ewebsimplex.net/csocl/, ewebsimplex, 2005
4. Boldsoft, Boldsoft OCL Tool Model Run, www.boldsoft.com, Boldsoft, Stockholm, 2002
5. Büttner F., Bauerdick H., and Gogolla M. Towards transformation of integrity constraints and database states. In: Martin D.C. (Ed). Proc. Dexa'2005 Workshop Logical Aspects and Applications of Integrity Constraints. LAAIC'2005 (2005), IEEE, Los Alamitos 823-828
6. D. Chiorean, Using OCL beyond specifications. In: A. Evans, R. France, A. Moreira, B. Rumpe (Eds.), Proc. UML'2001 Workshop Rigorous Development, LNI, GI, Bonn, 2001, pp. 57-68
7. Gogolla M., Bohling J., and Richters M. Validating UML and OCL models in USE by automatic snapshot generation. Journal on Software and System Modeling (2005)
8. Hussmann H., Demuth B., and Finger F. Modular architecture for a toolset supporting OCL. In: Evans A., Kent S., and Selic B. (Eds). Proc. 3rd Int. Conf. Unified Modeling Language. UML'2000. LNCS vol. 1939 (2000), Springer 278-293
9. Kyas M., Fecher H., de Boer F.S., Jacob J., Hooman J., van der Zwaag M., Arons T., and Kugler H. Formalizing UML models and OCL constraints in PVS. Electronic Notes in Theoretical Computer Science 115 (2005) 39-47
10. Klasse Objecten, The Klasse Objecten OCL Checker Octopus, www.klasse.nl/english/research/octopus-intro.html, Klasse Objecten, 2005
11. M. Richters, A precise approach to validating UML models and OCL constraints, Ph.D. Thesis, Universität Bremen, Fachbereich Mathematik und Informatik, Logos Verlag, Berlin, BISS Monographs, No. 14, 2002
12. Richters M., and Gogolla M. OCL - syntax, semantics and tools. In: Clark T., and Warmer J. (Eds). Advances in Object Modelling with the OCL. LNCS vol. 2263 (2001), Springer, Berlin 43-69
13. Rumbaugh J., Booch G., and Jacobson I. The Unified Modeling Language 2.0 Reference Manual (2003), Addison-Wesley, Reading
14. Toval A., Requena V., and Fernandez J. Emerging OCL tools. Software and Systems Modeling 2 4 (2003) 248-261
15. Warmer J., and Kleppe A. The Object Constraint Language: Precise Modeling with UML. 2nd edition (2003), Addison-Wesley