Università di Pisa
Sistema bibliotecario di ateneo

Applying Refinement Calculi to Software Process Modelling

Montangero, Carlo and Semini, Laura (1996) Applying Refinement Calculi to Software Process Modelling. Technical Report del Dipartimento di Informatica . Università di Pisa, Pisa, IT.

[img] Postscript (GZip) - Published Version
Available under License Creative Commons Attribution No Derivatives.

Download (91Kb)


    A refinement calculus provides a number of advantages to program development, besides correctness, like clarification of the goals of the program and effective documentation of the design choices. In this paper, we provide evidence that the same advantages can be obtained also in the case of those special programs that are known as enactable process models. The evidence is put forward by means of an example, a small Concurrent Engineering problem inspired to the IWSP7 problem. We assume that the enactment is done by rules in tuple spaces, and use a refinement calculus based on a temporal logic that builds on that of Unity. Finally, we show how the approach leads to seamless integration with existing process engines (the Oikos one in our case).

    Item Type: Book
    Uncontrolled Keywords: refinement calculus, software process
    Subjects: Area01 - Scienze matematiche e informatiche > INF/01 - Informatica
    Divisions: Dipartimenti (until 2012) > DIPARTIMENTO DI INFORMATICA
    Depositing User: dott.ssa Sandra Faita
    Date Deposited: 26 Jan 2015 08:44
    Last Modified: 26 Jan 2015 08:44
    URI: http://eprints.adm.unipi.it/id/eprint/1941

    Repository staff only actions

    View Item