A UNITY-based framework towards component based systems

I. S.W.B. Prasetya, T. E.J. Vos, Ade Azurat, S. D. Swierstra

Research output: Contribution to journalConference articlepeer-review

1 Citation (Scopus)

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.

Original languageEnglish
Pages (from-to)52-66
Number of pages15
JournalLecture Notes in Computer Science
Volume3544
Publication statusPublished - 17 Oct 2005
Event8th International Conference on Principles of Distributed Systems, OPODIS 2004 - Grenoble, France
Duration: 15 Dec 200417 Dec 2004

Keywords

  • Component based applications
  • Compositionality
  • Verification

Fingerprint

Dive into the research topics of 'A UNITY-based framework towards component based systems'. Together they form a unique fingerprint.

Cite this