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.


Modeling Language Partial Evaluation Meta Modeling Meta Variable Abstraction Layer 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. Barwise, J. and Cooper, R., 1981. Generalized quantifiers and natural language. Linguistics and Philosophy 4: 159–219.MATHCrossRefGoogle Scholar
  2. Bezivin, J., 2006. On the Unification Power of Models. Software and System Modeling (SoSym)4(2):171–188.CrossRefGoogle Scholar
  3. 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
  4. Chen, W., Kifer, M., Warren, D.S., 1993. HiLog: A foundation for higher-order logic programming. Journal of Logic Programming 15(3): 187–230.MATHCrossRefMathSciNetGoogle Scholar
  5. OMG, 2006. Meta Object Facility. Online, June 2006.
  6. Protégé, 2006. The Protégé ontology editor and knowledge acquisition system. Online, June 2006.
  7. Jarke, M., R. Gallersdörfer, R., Jeusfeld, M.A., Staudt, M., Eherer, S, 1995.: ConceptBase-a deductive object base for meta data management. Journal of Intelligent Information Systems, 4, 2, 1995, pp. 167–192.CrossRefGoogle Scholar
  8. Jarke, M., Jeusfeld, M.A., Rose, T., 1990: A software process data model for knowledge engineering in information systems. In Information Systems, 15, 1, 1990, pp. 85–116.CrossRefGoogle Scholar
  9. 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
  10. 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
  11. Saeki, M., 2006: Configuration management in a method engineering context. Proceedings CAiSE 2006, Springer-Verlag, LNCS 4001/2006, pp. 384–398.Google Scholar
  12. 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

Copyright information

© International Federation for Information Processing 2007

Authors and Affiliations

  • Manfred A. Jeusfeld
    • 1
  1. 1.Department of Information Systems and ManagementTilburg UniversityTilburgThe Netherlands

Personalised recommendations