Search

Efficient Integrity Checking for Essential MOF + OCL in Software Repositories

By: Miguel Garcia

Abstract

By expressing a language definition as a metamodel, the information about abstract syntax and static semantics (including typing rules) becomes machine processable, enabling language-aware manipulation along a tool chain in a reusable, declarative manner. Metamodels are expressed in Essential MOF (EMOF) (covering structural aspects), and are extended with constraints expressed in OCL [2], to be evaluated over finite populations of instances.

Cite as:

Miguel Garcia, “Efficient Integrity Checking for Essential MOF + OCL in Software Repositories”, Journal of Object Technology, Volume 7, no. 6 (July 2008), pp. 101-119, doi:10.5381/jot.2008.7.6.a3.

PDF | HTML | DOI | BiBTeX | Tweet this | Post to CiteULike | Share on LinkedIn