Sciweavers

ECEASST
2008
84views more  ECEASST 2008»
13 years 10 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...
ECEASST
2006
111views more  ECEASST 2006»
13 years 10 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
ECEASST
2006
92views more  ECEASST 2006»
13 years 10 months ago
An MDA Framework Supporting OCL
We present an mda framework, developed in the functional programming language sml, that tries to bridge the gap between formal software development and the needs of industrial soft...
Achim D. Brucker, Jürgen Doser, Burkhart Wolf...
ECEASST
2006
101views more  ECEASST 2006»
13 years 10 months ago
Integrating OCL and Model Transformations in Fujaba
This paper discusses the integration of the Dresden OCL Toolkit into the Fujaba Tool Suite. The integration not only adds OCL support for class diagrams but also makes OCL usable i...
Mirko Stölzel, Steffen Zschaler, Leif Geiger
ECEASST
2006
67views more  ECEASST 2006»
13 years 10 months ago
Model-Driven Constraint Engineering
Michael Wahler, Jana Koehler, Achim D. Brucker
ECEASST
2006
114views more  ECEASST 2006»
13 years 10 months ago
Semantic Issues of OCL: Past, Present, and Future
We report on the results of a long-term project to formalize the semantics of OCL 2.0 in Higher-order Logic (HOL). The ultimate goal of the project is to provide a formalized, mach...
Achim D. Brucker, Jürgen Doser, Burkhart Wolf...
ECEASST
2006
56views more  ECEASST 2006»
13 years 10 months ago
Semantical Correctness of Simulation-to-Animation Model and Rule Transformation
Claudia Ermel, Hartmut Ehrig, Karsten Ehrig