Using OCL in Executable UML

  • Executable UML allows precisely describing the software system at a higher level of abstraction. The executable models can be translated to a less abstract program-ming language completely or executed directly. Object Constraint Language (OCL), as a formal specification language, is a standard published along with UML. It is primitively used to describe constraints for UML models. In this paper, we explore some general features of executable UML and propose using OCL in executable UML. We extendExecutable UML allows precisely describing the software system at a higher level of abstraction. The executable models can be translated to a less abstract program-ming language completely or executed directly. Object Constraint Language (OCL), as a formal specification language, is a standard published along with UML. It is primitively used to describe constraints for UML models. In this paper, we explore some general features of executable UML and propose using OCL in executable UML. We extend OCL to support actions with side-effect in order to precisely model behavior. We also discuss the some open issues.show moreshow less

Download full text files

Export metadata

  • Export Bibtex
  • Export RIS

Additional Services

Share in Twitter Search Google Scholar
Metadaten
Author: Ke Jiang, Lei Zhang, Shigeru Miyake
URN:urn:nbn:de:kobv:83-opus-18040
ISBN:1863-2122
Series (Serial Number):Electronic Communications of the EASST- ECEASST (09/06)
Document Type:Wissenschaftlicher Artikel, Postprint
Language:English
Date of Publication (online):2008/03/11
Release Date:2008/03/11
Tag:OCL; Object Constraint Language; Programmiersprache
OCL; Object Constraint Language; programming language
Source:http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/16
Institutes:Institut für Softwaretechnik und Theoretische Informatik
Dewey Decimal Classification:004 Datenverarbeitung; Informatik
Collection:Volume 9 (2008): Ocl4All - Modelling Systems with OCL
Licence (German):License Logo CC BY-NC-SA: Creative Commons-Lizenz: Namensnennung, nicht kommerziell, Weitergabe zu gleichen Bedingungen