×

zbMATH — the first resource for mathematics

Object-oriented specification of distributed systems. (English) Zbl 0917.68069
Kirchner, Claude (ed.) et al., International workshop on Rewriting logic and its applications. Abbaye des Prèmontrès at Pont-á-Mousson, France, September 1998. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 15, electronic paper No. 27 (1998).
Summary: The object-oriented concurrent paradigm demands for a new object model and for reconsidering object-oriented techniques. We present an abstract, object-oriented style of modeling distributed systems and propose a collection of techniques and methods for modeling, for reasoning about the models in verification, for refinement and for reuse. Rewriting logic and Maude are seminal to our approach.
For the entire collection see [Zbl 0903.00070].

MSC:
68Q10 Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q42 Grammars and rewriting systems
Software:
Maude
PDF BibTeX XML Cite
Full Text: Link