Abstract
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.
Chapter PDF
Similar content being viewed by others
Keywords
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.
References
Barwise, J. and Cooper, R., 1981. Generalized quantifiers and natural language. Linguistics and Philosophy 4: 159–219.
Bezivin, J., 2006. On the Unification Power of Models. Software and System Modeling (SoSym)4(2):171–188.
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.
Chen, W., Kifer, M., Warren, D.S., 1993. HiLog: A foundation for higher-order logic programming. Journal of Logic Programming 15(3): 187–230.
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.
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.
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.
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.
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.
Saeki, M., 2006: Configuration management in a method engineering context. Proceedings CAiSE 2006, Springer-Verlag, LNCS 4001/2006, pp. 384–398.
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.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 International Federation for Information Processing
About this paper
Cite this paper
Jeusfeld, M.A. (2007). Partial Evaluation in Meta Modeling. In: Ralyté, J., Brinkkemper, S., Henderson-Sellers, B. (eds) Situational Method Engineering: Fundamentals and Experiences. ME 2007. IFIP — The International Federation for Information Processing, vol 244. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-73947-2_11
Download citation
DOI: https://doi.org/10.1007/978-0-387-73947-2_11
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-73946-5
Online ISBN: 978-0-387-73947-2
eBook Packages: Computer ScienceComputer Science (R0)