Affiliations: Department of Informatics, University of Athens, Athens, Greece. [email protected] | Department of Informatics, University of Athens, Athens, Greece. [email protected]
Note: [] Address for correspondence: Department of Informatics, University of Athens, Athens, Greece
Note: [] Address for correspondence: Department of Informatics, University of Athens, Athens, Greece
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.
Keywords: Message Passing Program Composition, Specification Composition, Reuse, Petri Nets, Error Detection
