A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
An Executable UML with OCL-based Action Semantics Language
2007
Asia Pacific Software Engineering Conference. Proceedings
Executable UML allows precisely describing the software system 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
doi:10.1109/apsec.2007.21
dblp:conf/apsec/JiangZM07
fatcat:z3qrxgk5yjdfblfwehhankajdm