Object-Oriented Specification of Distributed Systems (Extended Abstract)
Ulrike Lechner · Electronic Notes in Theoretical Computer Science · 1998
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. We are indebted to Ch. Lengauer and M. Wirsing for constant support and many fruitful discussions. Funding was provided by the Deutsche Forschungs-gemeinschaft and the Grundlagenforschungsfonds of the University St. Gallen.