References

  1. Artur Boronat & José Meseguer (2008): An Algebraic Semantics for MOF. In: José Luiz Fiadeiro & Paola Inverardi: Fundamental Approaches to Software Engineering, 11th International Conference, FASE 2008. Proceedings, Lecture Notes in Computer Science 4961. Springer, pp. 377–391. Available at http://dx.doi.org/10.1007/978-3-540-78743-3_28.
  2. Artur Boronat, Joaqu\'ın Oriente, Abel Gómez, Isidro Ramos & José A. Cars\'ı (2006): An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework. In: Arend Rensink & Jos Warmer: ECMDA-FA, Lecture Notes in Computer Science 4066. Springer, pp. 316–330. Available at http://dx.doi.org/10.1007/11787044_24.
  3. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Mart\'ı-Oliet, José Meseguer & José Quesada (2002): Maude: Specification and Programming in Rewriting Logic. Theoretical Computer Science 285, pp. 187–243.
  4. Manuel Clavel, Francisco Durán, Steven Eker, Patrick Lincoln, Narciso Mart\'ı-Oliet, José Meseguer & Carolyn Talcott (2007): All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic. Lecture Notes in Computer Science. Springer.
  5. Manuel Clavel & Marina Egea (2006): ITP/OCL: A Rewriting-Based Validation Tool for UML+OCL Static Class Diagrams. In: Michael Johnson & Varmo Vene: AMAST, Lecture Notes in Computer Science 4019. Springer, pp. 368–373. Available at http://dx.doi.org/10.1007/11784180_28.
  6. Martin Gogolla, Fabian Büttner & Mark Richters (2007): USE: A UML-Based Specification Environment for Validating UML and OCL. Science of Computer Programming 69, pp. 27–34.
  7. José Meseguer (1992): Conditional Rewriting Logic as a Unified Model of Concurrency. Theoretical Computer Science 96(1), pp. 73–155.
  8. José Meseguer (1998): Membership Algebra as a Logical Framework for Equational Specification. In: Francesco Parisi-Presicce: Recent Trends in Algebraic Development Techniques, Lecture Notes in Computer Science 1376. Springer, pp. 18–61.
  9. José Meseguer, Miguel Palomino & Narciso Mart\'ı-Oliet (2008): Equational Abstractions. Theoretical Computer Science 403(2-3), pp. 239–264. Available at http://dx.doi.org/10.1016/j.tcs.2008.04.040.
  10. José Eduardo Rivera, Francisco Durán & Antonio Vallecillo (2009): A Graphical Approach for Modeling Time-Dependent Behavior of DSLs. In: IEEE Symposium on Visual Languages and Human-Centric Computing, VL/HCC 2009, Corvallis, OR, USA, 20-24 September 2009, Proceedings, pp. 51–55. Available at http://doi.ieeecomputersociety.org/10.1109/VLHCC.2009.5295300.
  11. Manuel Roldán & Francisco Durán (2011): Dynamic Validation of OCL Constraints with mOdCL. In: Jordi Cabot, Robert Clarisó, Martin Gogolla & Burhart Wolff: International Workshop on OCL and Textual Modelling.
  12. José R. Romero, José E. Rivera, Francisco Durán & Antonio Vallecillo (2007): Formal and Tool Support for Model Driven Engineering with Maude. Journal of Object Technology 6(9), pp. 187–207.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org