Sciweavers

81 search results - page 1 / 17
» Tool Support for OCL and Related Formalisms - Needs and Tren...
Sort
View
TPHOL
2002
IEEE
13 years 8 months ago
A Proposal for a Formal OCL Semantics in Isabelle/HOL
Abstract We present a formal semantics as a conservative shallow embedding of the Object Constraint Language (OCL). OCL is currently under development within an open standardizatio...
Achim D. Brucker, Burkhart Wolff
MODELS
2010
Springer
13 years 2 months ago
Extending Variability for OCL Interpretation
Abstract. In recent years, OCL advanced from a language used to constrain UML models to a constraint language that is applied to various modelling languages. This includes Domain S...
Claas Wilke, Michael Thiele, Christian Wende
ECEASST
2006
111views more  ECEASST 2006»
13 years 3 months ago
Improving the OCL Semantics Definition by Applying Dynamic Meta Modeling and Design Patterns
OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important to OCL to have a solid formal ...
Juan Martin Chiaradía, Claudia Pons
DAGSTUHL
2006
13 years 5 months ago
Model Development in the UML-based Specification Environment (USE)
Abstract. The tool USE (UML-based Specification Environment) supports analysts, designers, and developers in executing UML models and checking OCL constraints and thus enables them...
Martin Gogolla
ECEASST
2008
84views more  ECEASST 2008»
13 years 3 months ago
An Incremental OCL Compiler for Modeling Environments
In software engineering, reliability and development time are two of the most important aspects, therefore, modeling environments, which aide both, are widely used during software ...
Tamás Vajk, Gergely Mezei, Tihamer Levendov...