A guide to extending full Maude illustrated with the implementation of real-time Maude

Electronic Notes in Theoretical Computer Science

Volumn , Issue , 2008, Pages 71-90

  Durán, Francisco ^a   Ölveczky, Peter Csaba ^b  

^a UNIVERSITY OF MÁLAGA   (Spain)

^b UNIVERSITY OF OSLO   (Norway)

Author keywords

[No Author keywords available]

Indexed keywords

EXECUTION ENVIRONMENTS; KEY ISSUES; PERSISTENT STATE; PRACTICAL GUIDE; REAL-TIME MAUDE; REAL-TIME MAUDE TOOLS;

APPLICATION PROGRAMS; HIGH LEVEL LANGUAGES; TOOLS;

REAL TIME SYSTEMS;

EID: 84890885248     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (24)

1. Agha, G., J. Meseguer and K. Sen, PMaude: Rewrite-based specification language for probabilistic object systems, in: Proc. 3rd Workshop on Quantitative Aspects of Programming Languages (QAPL'05), 2005.
2. Chalub, F. and C. Braga, Maude MSOS tool, Electronic Notes in Theoretical Computer Science 176 (2006), pp. 133-146, http://dx.doi.org/10.1007/978-3-540-71999-1_21.
3. Clavel, M., F. Durán, S. Eker, P. Lincoln, N. Martí-Oliet, J. Meseguer and C. Talcott, "All About Maude - A High-Performance Logical Framework," Lecture Notes in Computer Science 4350, Springer, 2007.
4. Clavel, M., F. Durán, S. Eker, J. Meseguer and M.-O. Stehr, Maude as a formal meta-tool, in: J. Wing, J. Woodcock and J. Davies, editors, FM'99 - Formal Methods (Vol. II), Lecture Notes in Computer Science 1709 (1999), pp. 1684-1704.
5. Clavel, M., F. Durán, J. Hendrix, S. Lucas, J. Meseguer and P. Ölveczky, The Maude formal tool environment, in: T. Mossakowski, U. Montanari and M. Haveraaen, editors, Algebra and Coalgebra in Computer Science (CALCO'07), Lecture Notes in Computer Science 4624 (2007), pp. 173-178.
6. Clavel, M., M. Palomino and A. Riesco, Introducing the ITP tool: a tutorial, Journal of Universal Computer Science 12 (2006), pp. 1618-1650.
7. Durán, F., "A Reflective Module Algebra with Applications to the Maude Language," Ph.D. thesis, Universidad de Ḿalaga, Spain (1999), http://maude.csl.sri.com/papers.
8. Durán, F., Coherence checker and completion tools for Maude specifications, Technical Report ITI- 2000-7, Dpto. de Lenguajes y Ciencias de la Computacíon, Universidad de Ḿalaga (2000), available at http://maude.cs.uiuc.edu.
9. Durán, F., S. Escobar and S. Lucas, On-demand evaluation for Maude, in: S. Abdennadher and C. Ringeissen, editors, Proceedings of Fifth International Workshop on Rule-Based Programming (RULE'04), Electronic Notes in Theoretical Computer Science 124 (2004), pp. 25-39.
10. Durán, F., S. Escobar and S. Lucas, New evaluation commands for Maude within Full Maude, in: N. Mart́i{dotless}-Oliet, editor, 5th International Workshop on Rewriting Logic and its Applications (WRLA'04), Electronic Notes in Theoretical Computer Science 117 (2005), pp. 263-284.
11. Durán, F. and J. Meseguer, The Maude specification of Full Maude (1999), manuscript, SRI International. Available at http://maude.cs.uiuc.edu.
12. Durán, F. and J. Meseguer, A Church-Rosser checker tool for Maude equational specifications, Technical Report ITI-2000-5, Dpto. de Lenguajes y Ciencias de la Computacíon, Universidad de Ḿalaga (2000), available at http://maude.cs.uiuc.edu.
13. Durán, F. and J. Meseguer, Maude's module algebra, Science of Computer Programming 66 (2007), pp. 125-153.
14. Durán, F. and P. C. Ölveczky, A guide to extending Full Maude illustrated with the implementation of Real-Time Maude (extended version) (2008), available at http://www.lcc.uma.es/~duran/papers/ duran-olveczky-08-tr.pdf.
15. Hendrix, J., M. Clavel and J. Meseguer, A sufficient completeness reasoning tool for partial specifications, in: Proc. Rewriting Techniques and Applications, Lecture Notes in Computer Science 3467 (2005), pp. 165-174.
16. Katelman, M., J. Meseguer and J. Hou, Formal modeling, analysis, and debugging of a wireless sensor network protocol with Real-Time Maude and statistical model checking, Technical report, Dept. of Computer Science, University of Illinois at Urbana-Champaign (2008), in preparation.
17. Lien, E., "Formal Modelling and Analysis of the NORM Multicast Protocol Using Real-Time Maude," Master's thesis, Department of Linguistics, University of Oslo (2004).
18. Lucanu, D. and G. Roşu, CiRC: A circular coinductive prover, in: T. Mossakowski, U. Montanari and M. Haveraaen, editors, Algebra and Coalgebra in Computer Science (CALCO'07), Lecture Notes in Computer Science 4624 (2007), pp. 372-378.
19. Martí-Oliet, N., J. Meseguer and A. Verdejo, Towards a strategy language for Maude, in: N. Mart́i{dotless}-Oliet, editor, 4th International Workshop on Rewriting Logic and its Applications (WRLA'04), Electronic Notes in Theoretical Computer Science 117 (2005), pp. 417-441.
20. Ölveczky, P. C. and M. Caccamo, Formal simulation and analysis of the CASH scheduling algorithm in Real-Time Maude, in: L. Baresi and R. Heckel, editors, Fundamental Approaches to Software Engineering (FASE'06), Lecture Notes in Computer Science 3922 (2006), pp. 357-372.
21. Ölveczky, P. C. and J. Meseguer, Semantics and pragmatics of Real-Time Maude, Higher-Order and Symbolic Computation 20 (2007), pp. 161-196.
22. Ölveczky, P. C., J. Meseguer and C. L. Talcott, Specification and analysis of the AER/NCA active network protocol suite in Real-Time Maude, Formal Methods in System Design 29 (2006), pp. 253-293.
23. Ölveczky, P. C. and S. Thorvaldsen, Formal modeling and analysis of the OGDC wireless sensor network algorithm in Real-Time Maude, in: M. M. Bonsangue and E. B. Johnsen, editors, Formal Methods for Open Object-Based Distributed Systems (FMOODS'07), Lecture Notes in Computer Science 4468 (2007), pp. 122-140.
24. Verdejo, A., Lotos symbolic semantics in Maude, Technical Report 122-02, Dpto. Sistemas Inforḿaticos y Programacíon, Universidad Complutense de Madrid, Spain (2002).