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