Improving the OCL semantics definition by applying dynamic meta modeling and design patterns

Título:

Improving the OCL semantics definition by applying dynamic meta modeling and design patterns

Autor:

Chiaradía, Juan Martín

Colaboradores:

; Pons, Claudia Fabiana

Temas:

PATRONES DE DISEÑOMODELADO DE SOFTWAREOCL

En:

Electronic Communications of the EASST (European Association of Software Science and Technology) Vol 5. 2006. Proceedings of the Sixth OCL Workshop OCL for (Meta-)Models in Multiple Application Domains (OCLApps 2006)

Resumen:

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 hand, the OCL semantics metamodel presents quality weaknesses due to the fact that certain object-oriented design rules (patterns) were not obeyed in their construction. The aim of the proposal presented in this article is to improve the definition for the OCL semantics metamodel by applying GoF patterns and the dynamic metamodeling technique. Such proposal avoids circularity in OCL definition and increases its extensibility, legibility and accuracy. Keywords: OCL; formal semantics; dynamic meta modeling; design patterns.

URL/DOI:

Medio:

Soporte electrónico

Tipo de documento:

Artículo

Idioma:

Inglés

Publicación:

, 2006

Puede solicitar más fácilmente el ejemplar con: A0062

Ver estantes