Adding behavioral semantics to models

Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC

Volumn , Issue , 2007, Pages 169-180

  Rivera, José E ^a   Vallecillo, Antonio ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION THEORY; SEMANTICS; SOFTWARE ENGINEERING;

AND VERIFICATIONS; ASSOCIATED TOOLS; BEHAVIORAL SEMANTICS; CONCRETE SYNTAXES; DYNAMIC BEHAVIORS; FORMAL NOTATIONS; MODELS AND METAMODELS;

FORMAL LOGIC;

EID: 47949129971     PISSN: 15417719     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/EDOC.2007.4383991     Document Type: Conference Paper

References (24)

1. A. C. abd Reiko Heckel and U. Montanari. Graphical operational semantics. In Proc. of the ICALP 2000 Satellite Workshops, pages 411-418, 2000.
2. P. Bernstein. Applying model management to classical metadata problems. In Proc. of Innovative Database Research, pages 209-220, 2003.
3. J. Bézivin. On the unification power of models. Journal on Software and Systems Modeling, 4(2):171-188, 2005.
4. J. Bézivin, F. Jouault, P. Rosenthal, and P. Valduriez. Modeling in the large and modeling in the small. In U. Aßmann, M. Aksit, and A. Rensink, editors, Model Driven Architecture, European MDA Workshops: Foundations and Applications (MDA-FA 2003/2004), volume 3599 of Lecture Notes in Computer Science, pages 33-46. Springer-Verlag, 2005.
5. A. Boronat, J. A. Carsí, and I. Ramos. Automatic support for traccability in a generic model management framework. In D. Kreische, editor. Proc. of Model Driven Architecture: Foundations and Applications (ECMDA-FA 2005), volume 3748 of Lecture Notes in Computer Science, pages 316-330. Springer-Verlag, 2005.
6. K. Chen, J. Sztipanovits, S. Abdelwalhed, and E. Jackson. Semantic anchoring with model transformations. In Proc. of Model Driven Architecture: Foundations and Applications (ECMDA-FA 2005), volume 3748 of Lecture Notes in Computer Science, pages 115-129. Springer-Verlag, 2005.
7. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and J. Ouesada. Maude: specification and programming in rewriting logic. Theoretical Comput. Sci., 285:187-243, Aug. 2002.
8. M. Clavel, F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer, and C. Talcott. All About Maude A High-Performance Logical Framework. Number 4350 in Lecture Notes in Computer Science. Springer-Verlag, Heidelberg, Germany, 2007.
9. M. Clavel, F. Durán, S. Eker, and J. Meseguer. Building equational proving tools by reflection in rewriting logic. In K. Futatsugi, A. Nakagawa, and T. Tamai, editors, CAFE: An Industrial-Strength Algebraic Formal Method, pages 1-31. Elsevier, 2000.
10. M. Clavel and M. Egea. ITP/OCL: A rewriting-based validation tool for UML+OCL static class diagrams. In M. Johnson and V. Vene, editors, Proc. of AMAST 2006, volume 4019 of Lecture Notes in Computer Science, pages 368-373. Springer-Verlag, 2006.
11. D. di Ruscio, F. Jouault, I. Kurtev, J. Bézivin, and A. Pierantonio. Extending AMMA for supporting dynamic semantics specifications of DSLs. Technical Report 06.02, Laboratoire d'Informatique de Nantes-Atlantique (LINA), Nantes, France, Apr. 2006. Submitted for publication.
12. F. Durán and J. Meseguer. Maude's module algebra. Science of Computer Programming, 66(2):125-153, Apr. 2007.
13. S. Eker, J. Meseguer, and A. Sridharanarayanan. The Maude LTL model checker. In F. Gaducci and U. Montanari, editors, Proc. of the 4th International Workshop on Rewriting Logic and its Applications (WRLA 2002), volume 71 of Electronic Notes in Theoretical Computer Science, pages 115-142, Pisa, Italy, Sept. 2002. Elsevier.
14. K. Havelund and G. Roşu. Monitoring programs using rewriting logic. In Proc. of Automated Software Engineering 2001 (ASE'01), pages 135-143, California, Nov. 2001. IEEE CS Press.
15. N. Martí-Olict and J. Meseguer. Rewriting logic as a logical and semantic framework. In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic, volume 9, pages 1-87. Kluwer Academic Publishers, 2 edition, 2002.
16. N. Martí-Oliet and J. Meseguer. Rewriting logic: roadmap and bibliography. Theoretical Comput. Sci., 285(2):121-154, 2002.
17. R. Milner. Memories of Gilles Kahn, and the Informatic Future. Coloquim in memorial for Gilles Kahn, http://www.inria.fr/gilleskahri/presentation/ milner.pdf, Jan. 2007.
18. A. Narayanan and G. Karsai. Using semantic anchoring to verify behavior preservation in graph transformations. In Proc. of the Second International Workshop on Graph and Model Transformation (GraMoT 2006), volume 4 of Electronic Communications of the EASST, pages 1-14, Brighton, United Kingdom, Sept. 2006. http: //eceasst.cs.tu-berlin.de/index.php/eceasst/article/ viewFile/22/12.
19. I. Porres and M. Alanen. A generic deep copy algorithm for MOF-based models. In Proc. of Model Driven Architecture: Foundations and Applications (MDA-FA 2003), pages 49-60, Enschede, The Netherlands, July 2003. http://crest.abo.fi/publications/public/2002/TR486.pdf.
20. J. E. Rivera, F. Durán, A. Vallecillo, and J. R. Romero. Maudeling: Herramienta de gestión de modelos usando Maude. In JISBD' 2007: Actas de XII Jornadas de Ingeniería del Software y Bases de Datos, Sept. 2007.
21. J. R. Romero, J. E. Rivera, F. Durán, and A. Vallecillo. Formal and tool support for model driven engineering with Maude. In B. Meyer and J. Bézivin, editors, Proc. of TOOLS Europe 2007, Zurich, Switzerland, Apr. 2007.
22. J. Sáez, A. Toval, and J. L. Fernández Alemán. Tool support for transforming UML models to a formallanguage. In J. Whittle et al., editors, Proc. of the International Workshop on Transformations in UML (WTUML), pages 111-115, Genoa, Italy, Apr. 2001.
23. X. Thirioux, B. Combemale, X. Crégut, and P. loïc Garoche. A framework to formalise the MDE foundations. In R. Paige and J. Bézivin, editors, Proc. of the TOWERS 2007 Workshop at TOOLS Europe 2007, Zurich, Switzerland, May 2007.
24. D. Varró. Automated formal verification of visual modeling languages by model checking. Journal of Systems and Software, 3(2):85-113, May 2004.