Prototyping and reasoning about distributed systems: an orc based framework

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