Specification Composition for the Verification of Message Passing Program Composition
Gespeichert in:
| Titel: | Specification Composition for the Verification of Message Passing Program Composition |
|---|---|
| Autoren: | J. Y. Cotronis, Z. Tsiatsoulis |
| Weitere Verfasser: | The Pennsylvania State University CiteSeerX Archives |
| Quelle: | http://www.di.uoa.gr/~ensemble/PDF/09.pdf. |
| Verlagsinformationen: | Chapman & Hall |
| Publikationsjahr: | 1997 |
| Bestand: | CiteSeerX |
| Schlagwörter: | Message Passing Composition, Specification Composition, Reusable Program Component, Reusable Specification Component, Software Reliability, Coloured Petri Net |
| Beschreibung: | 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 |
| Publikationsart: | text |
| Dateibeschreibung: | application/pdf |
| Sprache: | English |
| Relation: | http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.22.6294; http://www.di.uoa.gr/~ensemble/PDF/09.pdf |
| Verfügbarkeit: | 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. |
| Dokumentencode: | edsbas.4989730 |
| Datenbank: | BASE |
Nájsť tento článok vo Web of Science | 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 |
|---|