A Framework for Prototyping and Reasoning about Distributed Systems
Contribuinte(s) |
Bischof, C Bucker, C Gibbon, P Joubert, G Lippert, T Mohr, B Peters, F |
---|---|
Data(s) |
2008
|
Resumo |
<p>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.</p> |
Identificador | |
Idioma(s) |
eng |
Publicador |
Institute of Irish Studies Press |
Direitos |
info:eu-repo/semantics/restrictedAccess |
Fonte |
Aldinucci , M , Danelutto , M & Kilpatrick , P 2008 , A Framework for Prototyping and Reasoning about Distributed Systems . in C Bischof , C Bucker , P Gibbon , G Joubert , T Lippert , B Mohr & F Peters (eds) , PARALLEL COMPUTING: ARCHITECTURES, ALGORITHMS AND APPLICATIONS . Advances in Parallel Computing , vol. 15 , Institute of Irish Studies Press , AMSTERDAM , pp. 235-242 , International Parallel Computing Conference 2007 , France , 4-7 September . |
Tipo |
contributionToPeriodical |