Sciweavers

APSEC
2007
IEEE

An Executable UML with OCL-based Action Semantics Language

14 years 1 days ago
An Executable UML with OCL-based Action Semantics Language
Executable UML allows precisely describing the softtem at a higher level of abstraction. It bridges the semantics gap between the UML design models and the implementation. The executable models can be translated to a less abstract programming language completely or executed in a virtual machine directly. Existing executable UMLs lack a formal and standardized Action Semantics Language (ASL). Object Constraint Language (OCL), as a formal specification language, is a standard published by Object Management Group (OMG) along with UML. It is used to describe constraints for UML models. In this paper, we propose an executable UML with OCL-based ASL (OxUML) by extending OCL to support actions with side effects. We present its support environment—UML Virtual Machine (UVM) and suggest a Model-Driven Development (MDD) process with OxUML. We also introduce an example to demonstrate how to build and process OxUML models.
Ke Jiang, Lei Zhang, Shigeru Miyake
Added 02 Jun 2010
Updated 02 Jun 2010
Type Conference
Year 2007
Where APSEC
Authors Ke Jiang, Lei Zhang, Shigeru Miyake
Comments (0)