A compositional formalism for object viewpoints. (English) Zbl 1056.68103

Jacobs, Bart (ed.) et al., Formal methods for open object-based distributed systems V. IFIP TC6/ WG6.1 5th international conference, FMOODS 2002, Enschede, the Netherlands, March 20–22, 2002. Boston: Kluwer Academic Publishers (ISBN 0-7923-7683-8). IFIP, Int. Fed. Inf. Process. 81, 45-60 (2002).
Summary: Aspect-oriented approaches have recently been proposed to address the problem of specifying dynamic object-based systems, by depicting the various roles of the objects separately. In this paper, we consider an approach based on the observable behavior of objects and propose a specification formalism for reusable object interfaces with input/output-driven assumption-guarantee predicates. The formalism supports compositional reasoning and exchange of object identities between objects in an environment where the number of objects is unbounded.
For the entire collection see [Zbl 0989.00045].


68Q65 Abstract data types; algebraic specification
68M14 Distributed systems


Maude; PVS