A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf
.
Improving the OCL Semantics Definition by Applying Dynamic Meta Modeling and Design Patterns
2007
Electronic Communications of the EASST
OCL is a standard specification language, which will probably be supported by most software modeling tools in the near future. Hence, it is important for OCL to have a solid formal foundation, for its syntax and its semantic definition. Currently, OCL is being formalized by metamodels expressed in MOF, complemented by well formedness rules written in the own OCL. This recursive definition not only brings about formal problems, but also puts obstacles in language understanding. On the other
doi:10.14279/tuj.eceasst.5.40
dblp:journals/eceasst/ChiaradiaP06
fatcat:hf4ml5g4ufduxbzdhbaqgw33uq