Principles of Distributed Systems

Volume 3544 of the series Lecture Notes in Computer Science pp 52-66

A UNITY-Based Framework Towards Component Based Systems

  • I. S. W. B. PrasetyaAffiliated withInformatica Instituut, Universiteit Utrecht
  • , T. E. J. VosAffiliated withInstituto Tecnológico de Informática, Universidad Politécnica de Valencia
  • , A. AzuratAffiliated withInformatica Instituut, Universiteit Utrecht
  • , S. D. SwierstraAffiliated withInformatica Instituut, Universiteit Utrecht

* Final gross prices may vary according to local VAT.

Get Access


Compositionality provides the foundation of software modularity, re-usability and separate verification of software components. One of the known difficulties, when separately verifying components, is producing compositional proofs for progress properties of distributed systems. This paper offers a UNITY-based framework to model distributed applications which are built with a component based approach. The framework enables components to be abstractly specified in terms of contracts. Temporal properties are expressed and proven in the UNITY style. Compositional reasoning about components’ properties, including progress, is supported. The semantical model is simple and intuitive.


component based applications compositionality verification