Analyzing rule-based behavioral semantics of visual modeling languages with maude

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

Volumn 5452, Issue , 2009, Pages 54-73

  Eduardo Rivera, José ^a   Guerra, Esther ^b   De Lara, Juan ^c   Vallecillo, Antonio ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

^b UNIVERSIDAD CARLOS III DE MADRID   (Spain)

^c UNIVERSIDAD AUTÓNOMA DE MADRID   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ANALYSIS CAPABILITIES; BASED SPECIFICATION; BEHAVIORAL SEMANTICS; CRITICAL ISSUES; DOMAIN-SPECIFIC VISUAL LANGUAGE; FORMAL ANALYSIS; GRAPH TRANSFORMATION; INDUSTRIAL ENVIRONMENTS; MODELING LANGUAGES; REACHABILITY; REWRITING LOGIC; RULE BASED; SPECIALIZED KNOWLEDGE; SYSTEM DESIGNERS; TOOLS AND TECHNIQUES; VISUAL MODELING LANGUAGES;

COMPUTER SOFTWARE; LINGUISTICS; MODEL CHECKING; SEMANTICS; SIMULATORS;

QUERY LANGUAGES;

EID: 67650090923     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00434-6_5     Document Type: Conference Paper

References (30)

1. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of algebraic graph transformation. Springer, Heidelberg (2006)
2. Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations. Foundations, Vol. 1. World Scientific, Singapore (1997)
3. de Lara, J., Vangheluwe, H.: Defining visual notations and their manipulation through meta-modelling and graph transformation. Journal of Visual Languages and Computing 15(3-4), 309-330 (2006) (Pubitemid 38956126)
4. 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)
5. Vallecillo, A.: A journey through the secret life of models. In: Model Engineering of Complex Systems (MECS). Number 08331 in Dagstuhl Seminar Proceedings, Dagstuhl, Germany (2008), http://drops.dagstuhl.de/opus/volltexte/ 2008/1601
6. 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) (Pubitemid 33326669)
7. 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)
8. Cabot, J., Clarisó, R., Guerra, E., de Lara, J.: Analysing graph transformation rules through OCL. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, Vol. 5063, pp. 229-244. Springer, Heidelberg (2008)
9. de Lara, J., Vangheluwe, H.: Translating model simulators to analysis models. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, Vol. 4961, pp. 77-92. Springer, Heidelberg (2008)
10. Varró, D.: Automated formal verification of visual modeling languages by model checking. Software and System Modeling 3(2), 85-113 (2004)
11. Clavel, M., Durán, F., Eker, S., Lincoln, P., Martí-Oliet, N., Meseguer, J., Talcott, C.: All About Maude - A High-Performance Logical Framework. LNCS, Vol. 4350. Springer, Heidelberg (2007)
12. Rivera, J.E., Vallecillo, A.: Adding behavioral semantics to models. In: Proc. of EDOC 2007, pp. 169-180. IEEE Computer Society, Los Alamitos (2007)
13. Romero, J.R., Rivera, J.E., Durán, F., Vallecillo, A.: Formal and tool support for model driven engineering with Maude. Journal of Object Technology 6(9), 187-207 (2007)
14. Boronat, A., Meseguer, J.: An algebraic semantics for MOF. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, Vol. 4961, pp. 377-391. Springer, Heidelberg (2008)
15. Habel, A., Pennemann, K.: 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) (Pubitemid 44608953)
16. de Lara, J., Bardohl, R., Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Attributed graph transformation with node type inheritance. Theoretical Computer Science 376(3), 139-163 (2007) (Pubitemid 46628728)
17. Martí-Oliet, N., Meseguer, J.: Rewriting logic: roadmap and bibliography. Theoretical Computer Science 285(2), 121-154 (2002) (Pubitemid 34867167)
18. Rivera, J.E., Vallecillo, A., Durán, F.: Formal specification and analysis of Domain Specific Languages using Maude. Technical report, Universidad de Málaga (2008), http://atenea.lcc.uma.es/images/e/eb/AnalysingModels. pdf
19. Eker, S., Meseguer, J., Sridharanarayanan, A.: The Maude LTL model checker. In: Proc. WRLA 2002, Pisa, Italy. ENTCS, Vol. 71, pp. 115-142. Elsevier, Amsterdam (2002)
20. Meseguer, J., Palomino, M., Martí-Oliet, N.: Equational abstractions. In: Baader, F. (ed.) CADE 2003. LNCS, Vol. 2741, pp. 2-16. Springer, Heidelberg (2003)
21. Harel, D., Rumpe, B.: Meaningful modeling: What's the semantics of "semantics"? Computer 37(10), 64-72 (2004)
22. Engels, G., Hausmann, J.H., Heckel, R., Sauer, S.: Dynamic meta modeling: A graphical approach to the operational semantics of behavioral diagrams in UML. In: Evans, A., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol. 1939, pp. 323-337. Springer, Heidelberg (2000)
23. Rensink, A.: Explicit state model checking for graph grammars. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Concurrency, Graphs and Models. LNCS, Vol. 5065, pp. 114-132. Springer, Heidelberg (2008)
24. Sáez, J., Toval, A., Fernández Alemán, J.L.: Tool support for transforming UML models to a formal language. In: Proc. of WTUML 2001, pp. 111-115 (2001)
25. The MOVA Group: The MOVA tool: a validation tool for UML (2006), http://maude.sip.ucm.es/mova/
26. Boronat, A., Carsí, J.Á., Ramos, I.: Automatic support for traceability in a generic model management framework. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, Vol. 3748, pp. 316-330. Springer, Heidelberg (2005)
27. The ISSI Research Group: MOMENT (2008), http://moment.dsic.upv.es
28. Ruscio, D.D., Jouault, F., Kurtev, I., Bézivin, J., Pierantonio, A.: Extending AMMA for supporting dynamic semantics specifications of DSLs. Technical Report 06.02, Laboratoire d'Informatique de Nantes-Atlantique (LINA), Nantes, France (2006)
29. Poernomo, I.: Proofs-as-model-transformations. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, Vol. 5063, pp. 214-228. Springer, Heidelberg (2008)
30. Clavel, M., Durán, F., Hendrix, J., Lucas, S., Meseguer, J., Ölveczky, P.C.: The maude formal tool environment. In: Mossakowski, T., Montanari, U., Haveraaen, M. (eds.) CALCO 2007. LNCS, Vol. 4624, pp. 173-178. Springer, Heidelberg (2007)