View in EDS

Specification Composition for the Verification of Message Passing Program Composition

Saved in:
Bibliographic Details
Title: Specification Composition for the Verification of Message Passing Program Composition
Authors: J. Y. Cotronis, Z. Tsiatsoulis
Contributors: The Pennsylvania State University CiteSeerX Archives
Source: http://www.di.uoa.gr/~ensemble/PDF/09.pdf.
Publisher Information: Chapman & Hall
Publication Year: 1997
Collection: CiteSeerX
Subject Terms: Message Passing Composition, Specification Composition, Reusable Program Component, Reusable Specification Component, Software Reliability, Coloured Petri Net
Description: We present a specification composition technique, for improving the reliability of message passing applications composed by the Ensemble methodology. In Ensemble, applications are built by composing reusable executable program components designed with scalable communication interfaces. The composition is controlled by scripts. We define reusable specification components associated to program components, as well as their composition directed by the same Ensemble scripts, thus obtaining specifications of applications. We propose an extension of coloured Petri nets, which is used to define specification components. Composed specifications and applications may be validated or verified by available tools. Keywords: Message Passing Composition, Specification Composition, Reusable Program Component, Reusable Specification Component, Software Reliability, Coloured Petri Net. 1
Document Type: text
File Description: application/pdf
Language: English
Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.6294; http://www.di.uoa.gr/~ensemble/PDF/09.pdf
Availability: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.6294
http://www.di.uoa.gr/~ensemble/PDF/09.pdf
Rights: Metadata may be used without restrictions as long as the oai identifier remains attached to it.
Accession Number: edsbas.4989730
Database: BASE
Description
Abstract:We present a specification composition technique, for improving the reliability of message passing applications composed by the Ensemble methodology. In Ensemble, applications are built by composing reusable executable program components designed with scalable communication interfaces. The composition is controlled by scripts. We define reusable specification components associated to program components, as well as their composition directed by the same Ensemble scripts, thus obtaining specifications of applications. We propose an extension of coloured Petri nets, which is used to define specification components. Composed specifications and applications may be validated or verified by available tools. Keywords: Message Passing Composition, Specification Composition, Reusable Program Component, Reusable Specification Component, Software Reliability, Coloured Petri Net. 1