Constructive techniques for meta- and model-level reasoning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4735 LNCS, Issue , 2007, Pages 405-419

  Jackson, Ethan K ^a   Sztipanovits, Janos ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; EMBEDDED SYSTEMS; FORMAL LOGIC; PROBLEM SOLVING; SET THEORY; UNIFIED MODELING LANGUAGE;

CONCRETE ALGORITHMS; HORN LOGIC; METAMODELS;

METADATA;

EID: 38049091049     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75209-7_28     Document Type: Conference Paper

References (15)

1. Jackson, E.K., Sztipanovits, J.: Towards a formal foundation for domain specific modeling languages. In: EMSOFT'06. Proceedings of the Sixth ACM International Conference on Embedded Software, pp. 53-62. ACM Press, New York (2006)
2. Object Management Group: Meta object facility specification vl.4. Technical report (2002)
3. Object Management Group: Unified modeling language: Superstructure version 2.0, 3rd revised submission to omg rfp. Technical report (2003)
4. Drewes, F., Hoffmann, B., Plump, D.: Hierarchical graph transformation. J. Comput. Syst. Sci. 64(2), 249-283 (2002)
5. Ehrig, H., Prange, U., Taentzer, G.: Fundamental theory for typed attributed graph transformation. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 161-177. Springer, Heidelberg (2004)
6. Burris, S.N., Sankappanavar, H.: A Course in Universal Algebra. Springer, Heidelberg (1981)
7. Dantsin, E., Eiter, T., Gottlob, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv. 33(3), 374-425 (2001)
8. Minker, J.: Logic and databases: A 20 year retrospective. In: Logic in Databases, pp. 3-57 (1996)
9. Chan, D.: Constructive negation based on the complete database. In: Proc. Int. Conference on LP'88, pp. 111-125. MIT Press, Cambridge (1988)
10. Emerson, M., Sztipanovits, J.: Techniques for metamodel composition. In: OOP-SLA 2006 Domain-Specific Languages Workshop (2006)
11. Csertan, G., Huszerl, G., Majzik, I., Pap, Z., Pataricza, A., Varro, D.: Viatra: Visual automated transformations for formal verification and validation of uml models (2002)
12. Hoare, T.: The verifying compiler: A grand challenge for computing research. J. ACM 50(1), 63-69 (2003)
13. Gelfond, M., Lifschitz, V.: The stable model semantics for logic programming. In: ICLP/SLP, pp. 1070-1080 (1988)
14. Karsai, G., Sztipanovits, J., Ledeczi, A., Bapty, T.: Model-integrated development of embedded software. Proceedings of the IEEE 91, 145-164 (2003)
15. Karsai, G., Agrawal, A., Shi, F.: On the use of graph transformations for the formal specification of model interpreters. Journal of Universal Computer Science 9(11), 1296-1321 (2003)