Reasoning about Metamodeling with Formal Specifications and Automatic Proofs

1. Clark, T., Evans, A., Caskurlu, B.: The Meta-modeling Language Calculus: Foundation Semantics for UML. In: Hussmann, H. (ed.) FASE 2001. LNCS, vol. 2029, pp. 17–31. Springer, Heidelberg (2001)

   Chapter  Google Scholar 

2. Jouault, F., Bézivin, J.: KM3: A DSL for Metamodel Specification. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 171–185. Springer, Heidelberg (2006)

   Chapter  Google Scholar 

3. Varró, D., Pataricza, A.: VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML. Journal of Software and Systems Modeling 2(3), 187–210 (2003)

   Article  Google Scholar 

4. Alanen, M., Porres, I.: A Metamodeling Language Supporting Subset and Union Properties. Software and System Modeling 7(1), 103–124 (2008)

   Article  Google Scholar 

5. Boronat, A., Meseguer, J.: An Algebraic Semantics for MOF. Formal Asp. Comput. 22(3-4), 269–296 (2010)

   Article  MATH  Google Scholar 

6. Jackson, E.K., Kang, E., Dahlweid, M., Seifert, D., Santen, T.: Components, platforms and possibilities: towards generic automation for MDA. In: EMSOFT, pp. 39–48 (2010)

   Google Scholar 

7. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation (Monographs in Theoretical Computer Science). An EATCS Series. Springer-Verlag New York, Inc., Secaucus (2006)

   MATH  Google Scholar 

8. Atkinson, C., Kühne, T.: The Essence of Multilevel Metamodeling. In: Gogolla, M., Kobryn, C. (eds.) UML 2001. LNCS, vol. 2185, pp. 19–33. Springer, Heidelberg (2001)

   Chapter  Google Scholar 

9. Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374–425 (2001)

   Article  Google Scholar 

10. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Quesada, J.F.: Maude: Specification and Programming in Rewriting Logic. Theor. Comput. Sci. 285(2), 187–243 (2002)

    Article  MATH  MathSciNet  Google Scholar 

11. Varró, D.: Automated Formal Verification of Visual Modeling Languages by Model Checking. Software and System Modeling 3(2), 85–113 (2004)

    Article  Google Scholar 

12. Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: UML2Alloy: A Challenging Model Transformation. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 436–450. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

13. Torlak, E., Jackson, D.: Kodkod: A relational model finder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 632–647. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

14. Ehrig, K., Küster, J.M., Taentzer, G.: Generating Instance Models From Meta Models. Software and System Modeling 8(4), 479–500 (2009)

    Article  Google Scholar 

15. Grönniger, H., Ringert, J.O., Rumpe, B.: System Model-Based Definition of Modeling Language Semantics. In: FMOODS/FORTE, pp. 152–166 (2009)

    Google Scholar 

16. Mendonça, M., Wasowski, A., Czarnecki, K.: SAT-based Analysis of Feature Models is Easy. In: SPLC, pp. 231–240 (2009)

    Google Scholar 

17. Jackson, E.K., Sztipanovits, J.: Constructive Techniques for Meta- and Model-Level Reasoning. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 405–419. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

18. Jaffar, J., Maher, M.J., Marriott, K., Stuckey, P.J.: The Semantics of Constraint Logic Programs. J. Log. Program. 37(1-3), 1–46 (1998)

    Article  MATH  MathSciNet  Google Scholar 

19. de Moura, L., Bjørner, N.S.: Z3: An efficient SMT solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol. 4963, pp. 337–340. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

20. Object Management Group: Meta Object Facility (MOF) Core Specification Version 2.4 (2010)

    Google Scholar 

Download references