Testing and Debugging Message Passing Programs in Synergy with their Specifications

Authors:
Z. Tsiatsoulis;J.Y. Cotronis
Affiliations:
(Correspd.) Department of Informatics, University of Athens, Athens, Greece. zack@di.uoa.gr;(Correspd.) Department of Informatics, University of Athens, Athens, Greece. cotronis@di.uoa.gr
Venue:
Fundamenta Informaticae
Year:
2000

Citing 20
Cited 0

Coloured Petri Nets: a high level language for system design and analysis

APN 90 Proceedings on Advances in Petri nets 1990
Coordination languages and their significance

Communications of the ACM
My hairiest bug war stories

Communications of the ACM
Debugging and the experience of immediacy

Communications of the ACM
Specification composition for the verification of message passing program composition

ENCRESS '97 IFIP TC5 WG5.4 3rd internatinal conference on on Reliability, quality and safety of software-intensive systems
Client/server programming with Java and CORBA (2nd ed.)

Client/server programming with Java and CORBA (2nd ed.)
The emerging tapestry of software engineering

IEEE Parallel & Distributed Technology: Systems & Technology
Software Engineering for Parallel and Distributed Systems: Callenges and Opportunities

IEEE Parallel & Distributed Technology: Systems & Technology
B(PN)2 - a Basic Petri Net Programming Notation

PARLE '93 Proceedings of the 5th International PARLE Conference on Parallel Architectures and Languages Europe
PEP - More than a Petri Net Tool

TACAs '96 Proceedings of the Second International Workshop on Tools and Algorithms for Construction and Analysis of Systems
A Class of Composable High Level Petri Nets with an Application to the Semantics of B(PN)2

Proceedings of the 16th International Conference on Application and Theory of Petri Nets
The Consistent Use of Names and Polymorphism in the Definition of Object Petri Nets

Proceedings of the 17th International Conference on Application and Theory of Petri Nets
A Compositional Partial Order Semantics for Petri Net Components

ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
A Client-Server Protocol for the Composition of Petri Nets

Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Cooperative Nets

Proceedings of the 15th International Conference on Application and Theory of Petri Nets
The PEP Tool

CAV '97 Proceedings of the 9th International Conference on Computer Aided Verification
Refinement of Coloured Petri Nets

FCT '97 Proceedings of the 11th International Symposium on Fundamentals of Computation Theory
Message-Passing Program Development by Ensemble

Proceedings of the 4th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Developing Message-Passing Applications on MPICH under Ensemble

Proceedings of the 5th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
Efficient composition and automatic initialization of arbitrary structured PVM programs

Proceedings of the First IFIP TC10 International Workshop on Software Engineering for Parallel and Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

We outline Ensemble, a design and implementation methodology for composing message passing (MP) applications from program components directed by scripts. We define specification components corresponding to program components and we compose them, directed by the same scripts, obtaining formal specifications of the composed applications. We use the Petri net formalism to express component and application specifications. Petri Net composition is modelled by appropriate coupling of inscriptions on interface input and output arcs to and from a unified environment place. We elaborate on testing and debugging of MP applications based on the synergy of tools for Petri-Net simulations with tools for monitoring program executions.