This is a (not so short) summary of the MSc thesis defended by Alces te Scalas and Giovanni Casu on April 2011. The complete work (which is written i n Italian) can be downloaded as CRS4 Technical Report 11/14. The first part of t he thesis (from page 3) describes our work during the RTSim project at CRS4, con sisting in the development of an Erlang-based framework for parallel and distrib uted computing (called FLOW) to be used for combined cycle power plant (CCPP) si mulation. A relevant part of the contents appeared in the paper we presented at the ACM ICFP 2008 Erlang Workshop. The second part (from page 10) presents a for mal model for FLOW-based applications. The model is analysed and translated into two different process algebras (one based on Pi-calculus, and another on the Li nda coordination language); it is finally verified that these translations are ` `correct'', in the sense that they preserve the communication topology of proces ses.
FLOW: Implementation and Formal Analysis of a Framework for Parallel and Distributed Computing
SCALAS, ALCESTE;
2011-01-01
Abstract
This is a (not so short) summary of the MSc thesis defended by Alces te Scalas and Giovanni Casu on April 2011. The complete work (which is written i n Italian) can be downloaded as CRS4 Technical Report 11/14. The first part of t he thesis (from page 3) describes our work during the RTSim project at CRS4, con sisting in the development of an Erlang-based framework for parallel and distrib uted computing (called FLOW) to be used for combined cycle power plant (CCPP) si mulation. A relevant part of the contents appeared in the paper we presented at the ACM ICFP 2008 Erlang Workshop. The second part (from page 10) presents a for mal model for FLOW-based applications. The model is analysed and translated into two different process algebras (one based on Pi-calculus, and another on the Li nda coordination language); it is finally verified that these translations are ` `correct'', in the sense that they preserve the communication topology of proces ses.
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
