Normal view MARC view ISBD view

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

By:

Chiaradía, Juan Martín

Contributor(s):

Pons, Claudia Fabiana

Material type: Article

ArticleSeries: ^p Datos electrónicos (1 archivo : 563 KB)Subject(s):

Online resources:

Click here to access online

Summary: 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.

Average rating: 0.0 (0 votes)

Holdings ( 1 )
Title notes ( 3 )

Holdings
Item type	Home library	Collection	Call number	URL	Status	Date due	Barcode
Capítulo de libro	Biblioteca de la Facultad de Informática	Biblioteca digital	A0062 (Browse shelf(Opens below))	Link to resource	No corresponde

Browsing Biblioteca de la Facultad de Informática shelves, Collection: Biblioteca digital Close shelf browser (Hides shelf browser)

Previous								Next
Previous	A0059 A flexible architecture for context-aware physical hypermedia	A0060 Designing and implementing physical hypermedia applications	A0061 Una extensión de UML para modelar refinamientos	A0062 Improving the OCL semantics definition by applying dynamic meta modeling and design patterns	A0063 Face recognition : Reduced image eigenfaces method	A0064 A UML extension to specify model refinements	A0065 Mobile path and spin 3D tracking and reconstruction	Next

Formato de archivo: PDF. -- Este documento es producción intelectual de la Facultad de Informática-UNLP (Colección BIPA / Biblioteca.) -- Disponible también en línea (Cons. 7 nov. 2008)

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.

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)