A UNITY-Based Framework Towards Component Based Systems

  • I. S. W. B. Prasetya
  • T. E. J. Vos
  • A. Azurat
  • S. D. Swierstra
Conference paper

DOI: 10.1007/11516798_4

Part of the Lecture Notes in Computer Science book series (LNCS, volume 3544)
Cite this paper as:
Prasetya I.S.W.B., Vos T.E.J., Azurat A., Swierstra S.D. (2005) A UNITY-Based Framework Towards Component Based Systems. In: Higashino T. (eds) Principles of Distributed Systems. OPODIS 2004. Lecture Notes in Computer Science, vol 3544. Springer, Berlin, Heidelberg

Abstract

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.

Keywords

component based applications compositionality verification 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • I. S. W. B. Prasetya
    • 1
  • T. E. J. Vos
    • 2
  • A. Azurat
    • 1
  • S. D. Swierstra
    • 1
  1. 1.Informatica InstituutUniversiteit Utrecht 
  2. 2.Instituto Tecnológico de InformáticaUniversidad Politécnica de Valencia 

Personalised recommendations