Zacharias Tsiatsoulis

Learn More
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(More)
We present a specification composition technique which supports the message passing composition of applications by the Ensemble methodology. In Ensemble, applications are built by composing reusable executable program components designed with scalable communication interfaces. The composition is specified by scripts. We formally support Ensemble by defining(More)
We present GRADE, a development methodology for message passing (MP) applications extended with formal specifications. We present Grade, as a design and implementation tool for composing MP applications from program components. We also outline specification composition, directly associated with application composition. We outline the integration of(More)
We outline Ensemble, a design and implementation methodology for composing Message Passing (MP) applications from program components directed by scripts. We present a specification composition, which is directly associated with Ensemble composition of applications. We define specification components corresponding to program components and we compose them,(More)
To provide high-level graphical support for developing message passing programs, an integrated programming environment (GRADE) is being developed. GRADE currently provides tools to construct, execute, debug, monitor and visualise message-passing based parallel programs. The paper describes the extension of GRADE with formal method support based on Petri(More)
We outline Ensemble, a design and implementation methodology for composing message passing (MP) applications from program components. We also outline specification composition, directly associated with application composition. We present the integration of specification and implementation of program development. We particularly elaborate on testing and(More)
In the Ensemble methodology message passing applications are built from separate modular components. Processes spawned from modular components specify open communication interfaces (point-point or collective), which are bound at run time according to application composition directives. We give an overview of the concepts and tools. We present and compare(More)
To whom all correspondence should be addressed Abstract Real-time dynamic control of robot manipulators incurs significant computational load, that can be tackled by parallel processing techniques. One of the most promising areas of research in this field is the area of automatic parallelization of sequential algorithms. In this paper we present an(More)