Partial Evaluation in Meta Modeling
Meta modeling is a well-established technique to describe the structure modeling languages. Method engineering environments utilize the technique to provide a flexible environment for defining and adapting modeling environments. We show that basing meta modeling strictly on first-order logic provides not only clean semantics but also the ability to define high-level constructs such as transitivity at the meta model, or even meta meta model level and to efficiently map the constructs to lower levels by partial evaluation. We show that it applies both to universally and existentially quantified expressions. Examples are included to demonstrate the usefulness. A full implementation is available in the ConceptBase meta modeling environment.
KeywordsModeling Language Partial Evaluation Meta Modeling Meta Variable Abstraction Layer
- Bry, F., 1989. Logical rewritings for improving the evaluation of quantified queries. Proc. 2nd Intl. Symposium on Mathematical Fundamentals of Database Systems, Visegrád, Hungary, 1989, Springer-Verlag, LNCS 364.Google Scholar
- OMG, 2006. Meta Object Facility. Online http://www.omg.org/mof/, June 2006.
- Protégé, 2006. The Protégé ontology editor and knowledge acquisition system. Online http://www.protege.stanford.edu/, June 2006.
- Mylopoulos, J., Borgida, A., Jarke, M., Koubarakis, M., 1990. Telos-a language for representing knowledge about information systems. In ACM Trans. Information Systems, 8,4, 1990, pp. 325–362.Google Scholar
- Nicolas, J.-M., 1979. Logical formulas and integrity constraints: the range restricted property and a simplification method. Technical report T-R CERT-LBD/79-1, Toulouse, France.Google Scholar
- Saeki, M., 2006: Configuration management in a method engineering context. Proceedings CAiSE 2006, Springer-Verlag, LNCS 4001/2006, pp. 384–398.Google Scholar
- Weerd, I. van de, Versendaal, J., Brinkkemper, S., 2006. A product software knowledge infrastructure for situational scpability maturation: vision and case studies in product management, Technical Report UU-CS-2006-008, Utrecht University, The Netherlands.Google Scholar