A Framework for Prototyping and Reasoning about Distributed Systems

Marco Aldinucci*, Marco Danelutto, Peter Kilpatrick

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

A framework supporting fast prototyping as well as tuning of distributed applications is presented. The approach is based on the adoption of a formal model that is used to describe the orchestration of distributed applications. The formal model (Orc by Misra and Cook) can be used to support semi-formal reasoning about the applications at hand. The paper describes how the framework can be used to derive and evaluate alternative orchestrations of a well know parallel/distributed computation pattern; and shows how the same formal model can be used to support generation of prototypes of distributed applications skeletons directly from the application description.

Original languageEnglish
Title of host publicationPARALLEL COMPUTING: ARCHITECTURES, ALGORITHMS AND APPLICATIONS
EditorsC Bischof, C Bucker, P Gibbon, G Joubert, T Lippert, B Mohr, F Peters
Place of PublicationAMSTERDAM
PublisherInstitute of Irish Studies Press
Pages235-242
Number of pages8
ISBN (Print)978-1-58603-796-3
Publication statusPublished - 2008
EventInternational Parallel Computing Conference 2007 - Aachen, France
Duration: 04 Sep 200707 Sep 2007

Publication series

NameAdvances in Parallel Computing
PublisherI O S PRESS
Volume15
ISSN (Print)0927-5452

Conference

ConferenceInternational Parallel Computing Conference 2007
CountryFrance
Period04/09/200707/09/2007

Cite this