Specification Composition for the Verification of Message Passing Program Composition
Saved in:
| 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 |
Nájsť tento článok vo Web of Science Be the first to leave a comment!