Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

13

ECEASST
2008

favoriteEmaildiscussreport

77views more ECEASST 2008»

Using OCL in Executable UML

13 years 4 months ago

Using OCL in Executable UML

Download st.inf.tu-dresden.de

Executable UML allows precisely describing the software system at level of abstraction. The executable models can be translated to a less programming 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 some open issues.

Ke Jiang, Lei Zhang, Shigeru Miyake

Real-time Traffic

ECEASST 2008 | Executable Uml | Formal Specification Language | Object Constraint Language |

claim paper

Related Content

» Modeling and validating Mondex scenarios described in UML and OCL with USE

» Model Development in the UMLbased Specification Environment USE

» An Executable UML with OCLbased Action Semantics Language

» Executable Visual Contracts

» OCL and Model Driven Engineering

» Towards the Completion of the Formal Semantics of OCL 20

» Determining the Structural Events That May Violate an Integrity Constraint

» On Better Understanding OCL Collections or An OCL Ordered Set Is Not an OCL Set

» A Hoare Calculus for Verifying Java Realizations of OCLConstrained Design Models

Post Info
More Details (n/a)

Added	10 Dec 2010
Updated	10 Dec 2010
Type	Journal
Year	2008
Where	ECEASST
Authors	Ke Jiang, Lei Zhang, Shigeru Miyake

Comments (0)