MQL: a Powerful Extension to OCL for MOF Queries

The Meta-Object Facility (MOF) provides a standardised framework for object-oriented models. An instance of a MOF model contains objects and links whose interfaces are entirely derived from that model. Information contained in these objects can be accessed directly, however, in order to realise the Model-Driven Architecture (MDA), we must have a mechanism for representing and evaluating structured queries on these instances. The MOF Query Language (MQL) is a language that extends the UML’s Object Constraint Language (OCL) to provide more expressive power, such as higher-order queries, parametric polymorphism and argument polymorphism. Not only do these features allow more powerful queries, but they also encourage a greater degree of modularisation and re-use, resulting in faster prototyping and facilitating automated integrity analysis. This paper presents an overview of the motivations for ng MQL and also discusses its abstract syntax, presented as a MOF model, and its semantics...

• Type: Conference
• Year: 2003
• Where: EDOC
• Authors: David Hearnden, Kerry Raymond, Jim Steel
• Keywords: EDOC 2003, Model Contains Objects, MOF Model, Object Constraint Language, Operating System