[Home] [CV] [Publications]


Minus 1a5aa4f1c08b567c9107cba729de26bc87c17ab2b2f690eb45059193a1d6f587 Modular Reasoning for Actor Specification Diagrams
Smith, S. F. and Talcott, C. L. - 1999

Specification diagrams are a novel form of graphical notation for specifying open distributed object systems. The design goal is to define notation for specifying message-passing behavior that is expressive, intuitively understandable, and that has formal semantic underpinnings. The notation generalizes informal notations such as UML’s Sequence Diagrams and broadens their applicability to later in the design cycle. \inlong Specification diagrams differ from existing actor and process algebra presentations in that they are not a programming language \emphper se; instead, like logics, they are inherently more biased toward specification. In this paper we show how it is possible to reason rigorously and modularly about specification diagrams. An Actor Theory Toolkit is used to great advantage for this purpose.