Attributed graph constraints

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

Volumn 5214 LNCS, Issue , 2008, Pages 274-288

  Orejas, Fernando ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

MARKUP LANGUAGES; STANDARDS; VERIFICATION;

ATTRIBUTED GRAPHS; GRAPH CONSTRAINTS; LOGIC FORMULAS; OF GRAPHS; PROOF SYSTEMS; SPECIFICATION AND VERIFICATIONS; STRUCTURED DOCUMENTS; TRANSFORMATION RULES;

GRAPH THEORY;

EID: 56449102070     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-87405-8_19     Document Type: Conference Paper

References (17)

1. Alpuente, M., Ballis, D., Falaschi, M.: Automated Verification of Web Sites Using Partial Rewriting. Software Tools for Technology Transfer 8, 565-585 (2006)
2. Courcelle, B.: The expression of Graph Properties and Graph Transformations in Monadic Second-Order Logic. In: [17], pp. 313-400 (1997)
3. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)
4. Ehrig, H., Ehrig, K., Habel, A., Pennemann, K.-H.: Constraints and Application Conditions: From Graphs to High-Level Structures. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 287-303. Springer, Heidelberg (2004)
5. Ehrig, H., Habel, A.: Graph Grammars with Application Conditions: From Graphs to High-Level Structures. In: Rozenberg, G., Salomaa, A. (eds.) The Book of L, pp. 87-100. Springer, Heidelberg (1986)
6. Ellmer, E., Emmerich, W., Finkelstein, A., Nentwich, C: Flexible Consistency Checking. ACM T. on Soft. Eng. and Methodology 12(1), 28-63 (2003)
7. Habel, A., Heckel, R., Taentzer, G.: Graph Grammars with Negative Application Conditions. Fundam. Inform. 26(3/4), 287-313 (1996)
8. Habel, A., Pennemann, K.-H.: Nested Constraints and Application Conditions for High-Level Structures. In: Kreowski, H.-J., Montanari, U., Orejas, F., Rozenberg, G., Taentzer, G. (eds.) Formal Methods in Software and Systems Modeling. LNCS, vol. 3393, pp. 293-308. Springer, Heidelberg (2005)
9. Habel, A., Pennemann, K.-H.: Satisfiability of High-Level Conditions. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 430-444. Springer, Heidelberg (2006)
10. Heckel, R., Wagner, A.: Ensuring Consistency of Conditional Graph Grammars - A Constructive Approach. In: Proceedings SEGRAGRA 1995. Electr. Notes Theor. Comput. Sci, vol. 2, pp. 118-126 (1995)
11. Jaffar, J., Maher, M., Marriot, K., Stukey, P.: The semantics of constraint logic programs. The Journal of Logic Programming (37), 1-46 (1998)
12. Jelliffe, R.: "Schematron", Internet Document (May 2000), http://xml.ascc.net/resource/schematron/
13. Lucio, P., Orejas, F., Pasarella, E., Pino, E.: A Functorial Framework for Constraint Normal Logic Programming. Abstract Categorical Structures 3, 421-450 (2008)
14. Nieuwenhuis, R., Rubio, A.: Paramodulation-Based Theorem Proving. In: Robinson, A., Voronkov, A. (eds.) Handbook of Automated Reasoning, Elsevier Science and MIT Press (2001)
15. Orejas, F., Ehrig, H., Prange, U.: A Logic of Graph Constraints. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 179-198. Springer, Heidelberg (2008)
16. Rensink, A.: Representing First-Order Logic Using Graphs. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 319-335. Springer, Heidelberg (2004)
17. Rozenberg, G.: Handbook of Graph Grammars and Computing by Graph Transformation. Foundations, vol. 1. World Scientific, Singapore (1997)