论文信息 - Towards a Strategy Language for Maude

Towards a Strategy Language for Maude

We describe a first proposal for a strategy language for Maude, to control the rewriting process and to be used at the object level instead of at the metalevel. We also describe a prototype implementation built over Full Maude using the metalevel and the metalanguage facilities provided by Maude. Finally, we include a series of examples that illustrate the main features of the proposed language.

[1] Eelco Visser,et al. Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9 , 2003, Domain-Specific Program Generation.

[2] Eelco Visser,et al. A Survey of Strategies in Program Transformation Systems , 2001, WRS.

[3] Narciso Martí-Oliet,et al. A Maude specification of an object-oriented model for telecommunication networks , 2002, Theor. Comput. Sci..

[4] Claude Kirchner,et al. Rewriting with Strategies in ELAN: A Functional Semantics , 2001, Int. J. Found. Comput. Sci..

[5] Peter Csaba Ölveczky,et al. Specification of real-time and hybrid systems in rewriting logic , 2002, Theor. Comput. Sci..

[6] José Meseguer,et al. Reflection and strategies in rewriting logic , 1996, WRLA.

[7] M. Clavel. Reflection in Rewriting Logic: Metalogical Foundations and Metaprogramming Applications , 2000 .

[8] Claude Kirchner,et al. ELAN from a rewriting logic point of view , 2002, Theor. Comput. Sci..

[9] Alberto Verdejo,et al. Implementing CCS in Maude 2 , 2002, Electron. Notes Theor. Comput. Sci..

[10] Alberto Verdejo,et al. Implementing CCS in Maude , 2000, FORTE.

[11] Alan Bundy,et al. Constructing Induction Rules for Deductive Synthesis Proofs , 2006, CLASE.