Incremental Construction Approach for Distributed System Specifications

In this paper, we propose an incremental construction approach for distributed system specifications. These specifications are structured as a parallel composition of subsystem specifications. The approach consists of merging two specifications Sold and Sadded into a new specification Snew, such that Snew extends Sold and Snew extends Sadded. Moreover, in the case of cyclic behaviors, Snew offers a choice between behaviors of Sold and behaviors of Sadded, in a recursive manner. The derived specification Snew has the same internal structure as Sold. Our approach is described in terms of Labelled Transition Systems, and it is applicable for many specification languages.

• Type: Conference
• Year: 1993
• Where: FORTE
• Authors: Ferhat Khendek, Gregor von Bochmann
• Keywords: FORTE 1993, FORTE 2007, Incremental Construction Approach, Specification, Subsystem Specifications