Patterns for Maude Metalanguage Applications

Authors:
Eugen-Ioan Goriac;Georgiana Caltais;Dorel Lucanu;Oana Andrei;Gheorghe Grigoraş
Affiliations:
Faculty of Computer Science, Alexandru Ioan Cuza University, Iaşi, Romania;Faculty of Computer Science, Alexandru Ioan Cuza University, Iaşi, Romania;Faculty of Computer Science, Alexandru Ioan Cuza University, Iaşi, Romania;INRIA Nancy Grand-Est & LORIA, Nancy, France;Faculty of Computer Science, Alexandru Ioan Cuza University, Iaşi, Romania
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 11
Cited 0

A logical theory of concurrent objects and its realization in the Maude language

Research directions in concurrent object-oriented programming
Design patterns: elements of reusable object-oriented software

Design patterns: elements of reusable object-oriented software
Pattern-oriented software architecture: a system of patterns

Pattern-oriented software architecture: a system of patterns
Testing object-oriented systems: models, patterns, and tools

Testing object-oriented systems: models, patterns, and tools
Membrane Computing: An Introduction

Membrane Computing: An Introduction
A rewriting logic framework for operational semantics of membrane systems

Theoretical Computer Science
Deduction, Strategies, and Rewriting

Electronic Notes in Theoretical Computer Science (ENTCS)
Towards a Strategy Language for Maude

Electronic Notes in Theoretical Computer Science (ENTCS)
The maude formal tool environment

CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
CIRC: a circular coinductive prover

CALCO'07 Proceedings of the 2nd international conference on Algebra and coalgebra in computer science
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic

All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic

Quantified Score

Hi-index	0.00

Visualization

Abstract

One of the most effective ways of improving the quality of software engineering, system design and development, and communication between the people concerned with these problems, is provided by software patterns. In this paper we present a set of basic patterns for Maude metalanguage applications. We show the viability of the defined patterns by comparing them to the developing approaches for several well-known Maude tools.