A UNITY-based framework towards component based systems

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

doi:10.1007/11516798_4

A UNITY-based framework towards component based systems

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

Department of Computer Science

Research output: Contribution to journal › Conference article › peer-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 language	English
Pages (from-to)	52-66
Number of pages	15
Journal	Lecture Notes in Computer Science
Volume	3544
DOIs	https://doi.org/10.1007/11516798_4
Publication status	Published - 2005
Event	8th International Conference on Principles of Distributed Systems, OPODIS 2004 - Grenoble, France Duration: 15 Dec 2004 → 17 Dec 2004

Keywords

Component based applications
Compositionality
Verification

Access to Document

10.1007/11516798_4

Cite this

@article{73945c5f337840e399ef7202b860df6f,

title = "A UNITY-based framework towards component based systems",

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",

author = "Prasetya, {I. S.W.B.} and Vos, {T. E.J.} and Ade Azurat and Swierstra, {S. D.}",

year = "2005",

doi = "10.1007/11516798_4",

language = "English",

volume = "3544",

pages = "52--66",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Verlag",

note = "8th International Conference on Principles of Distributed Systems, OPODIS 2004 ; Conference date: 15-12-2004 Through 17-12-2004",

}

TY - JOUR

T1 - A UNITY-based framework towards component based systems

AU - Prasetya, I. S.W.B.

AU - Vos, T. E.J.

AU - Azurat, Ade

AU - Swierstra, S. D.

PY - 2005

Y1 - 2005

N2 - 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.

AB - 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.

KW - Component based applications

KW - Compositionality

KW - Verification

UR - http://www.scopus.com/inward/record.url?scp=26444528911&partnerID=8YFLogxK

U2 - 10.1007/11516798_4

DO - 10.1007/11516798_4

M3 - Conference article

AN - SCOPUS:26444528911

SN - 0302-9743

VL - 3544

SP - 52

EP - 66

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

T2 - 8th International Conference on Principles of Distributed Systems, OPODIS 2004

Y2 - 15 December 2004 through 17 December 2004

ER -

A UNITY-based framework towards component based systems

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this