Analysing graph transformation rules through OCL

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

Volumn 5063 LNCS, Issue , 2008, Pages 229-244

  Cabot, Jordi ^a   Clarisó, Robert ^a   Guerra, Esther ^b   De Lara, Juan ^c  

^a UNIVERSITAT OBERTA DE CATALUNYA   (Spain)

^b UNIVERSIDAD CARLOS III DE MADRID   (Spain)

^c UNIVERSIDAD AUTÓNOMA DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; INFORMATION THEORY; MODAL ANALYSIS; STANDARDIZATION;

DEVELOPMENT TOOLS; GRAPH TRANSFORMATION RULES; INTERMEDIATE REPRESENTATIONS; OF GRAPHS; RULE ANALYSIS; SEAMLESS INTEGRATIONS;

MATHEMATICAL TRANSFORMATIONS;

EID: 54249166580     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-69927-9_16     Document Type: Conference Paper

References (23)

1. Anastasakis, K., Bordbar, K., 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)
2. Baldan, P., Corradini, A., König, B.: A Static Analysis Technique for Graph Transformation Systems. In: Larsen, K.G., Nielsen, M. (eds.) CONCUR, 2001. LNCS, vol. 2154, pp. 381-395. Springer, Heidelberg (2001)
3. Baresi, L., Spoletini, P.: On the Use of Alloy to Analyze Graph Transformation Systems. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 306-320. Springer, Heidelberg (2006)
4. Brucker, A.D., Wolff, B.: The HOL-OCL book. Tech. Rep. 525, ETH Zurich (2006)
5. Büttner, F., Gogolla, M.: Realizing Graph Transformations by Pre- and Postconditions and Command Sequences. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol. 4178, pp. 398-413. Springer, Heidelberg (2006)
6. Cabot, J., Clarisó, R., Riera, D.: UMLtoCSP: A tool for the formal verification of UML/OCL models using constraint programming. In: Proc. ASE 2007, pp. 547-548 (2007)
7. Clavel, M., Egea, M.: A rewriting-based validation tool for UML+OCL static class diagrams. in: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol. 4019, pp. 368-373. Springer, Heidelberg (2006)
8. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. Springer, Heidelberg (2006)
9. Ehrig, H., Heckel, R., Korff, M., Löwe, M., Ribeiro, L., Wagner, A., Corradini, A.: Algebraic Approaches to Graph Transformation - Part II: Single Pushout Approach and Comparison with Double Pushout Approach. In: [18], pp. 247-312 (1999)
10. Ermel, C., Hölscher, K., Kuske, S., Ziemann, P.: Animated simulation of integrated UML behavioral models based on graph transformation. In: Proc. IEEE VL/HCC 2005, pp. 125-133 (2005)
11. Gogolla, M., Bohling, J., Richters, M.: Validating UML and OCL models in USE by automatic snapshot generation. SoSyM 4(4), 386-398 (2005)
12. Heckel, R., Küster, J.-M.-., Taentzer, G.: Confluence of typed attributed graph transformation systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 161-176. Springer, Heidelberg (2002)
13. de Lara, J., Bardohl, R., Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Attributed graph transformation with node type inheritance. Theor. Comput. Sci. 376(3), 139-163 (2007)
14. de Lara, J., Vangheluwe, H.: Defining visual notations and their manipulation through meta-modelling and graph transformation. J. Vis. Lang. Comput. 15(3-4), 309-330 (2004)
15. Larman, C.: Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design, 3rd edn. Prentice-Hall, Englewood Cliffs (2004)
16. Mens, T., Taentzer, G., Runge, O.: Analysing refactoring dependencies using graph transformation. SoSyM 6(3), 269-285 (2007)
17. QVT standard specification, http://www.omg.org/docs/ptc/05-11-01.pdf
18. Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations, Foundations, vol. 1. World Scientific, Singapore (1997)
19. Sendall, S., Strohmeier, A.: Using OCL and UML to Specify System Behavior. In: Clark, A., Warmer, J. (eds.) Object Modeling with the OCL. LNCS, vol. 2263, pp. 250-280. Springer, Heidelberg (2002)
20. Taentzer, G., Rensink, A.: Ensuring Structural Constraints in Graph-Based Models with Type Inheritance. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 64-79. Springer, Heidelberg (2005)
21. Varró, D.: Automated formal verification of visual modeling languages by model checking. SoSyM 3(2), 85-113 (2004)
22. Cabot, J., Clarisó, R., Riera, D.: Verification of UML/OCL Class Diagrams Using Constraint Programming. MoDeVVa 2008. ICST Workshop (to appear, 2008) http://gres.uoc.edu/pubs/MODEWA08.pdf
23. Cabot, J., Clarisó, R., Riera, D.: Analysing Graph Transformation Rules Through OCL (extended version), http://gres.uoc.edu/UMLtoCSP/ICMT08.pdf