A Calculus for Reasoning about Software Components

Achermann, Franz; Nierstrasz, Oscar (2005). A Calculus for Reasoning about Software Components. Theoretical Computer Science, 331(2-3), pp. 367-396. Elsevier 10.1016/j.tcs.2004.09.022

[img] Text
Ache05aPiccolaReasoning.pdf - Published Version
Restricted to registered users only
Available under License Publisher holds Copyright.

Download (356kB) | Request a copy

Although the term ``software component'' has become commonplace, there is no universally accepted definition of the term, nor does there exist a common foundation for specifying various kinds of components and their compositions. We propose such a foundation. The Piccola Calculus is a process calculus, based on the asynchronous pi-calculus, extended with explicit namespaces. The calculus is high-level, rather than minimal, and is consequently convenient for expressing and reasoning about software components, and different styles of composition. We motivate and present the calculus, and outline how it is used to specify the semantics of Piccola, a small composition language. We demonstrate how the calculus can be used to simplify compositions by partial evaluation, and we briefly outline some other applications of the calculus to reasoning about compositional styles.

Item Type:

Journal Article (Original Article)

Division/Institute:

08 Faculty of Science > Institute of Computer Science (INF)
08 Faculty of Science > Institute of Computer Science (INF) > Software Composition Group (SCG)

UniBE Contributor:

Nierstrasz, Oscar Marius

Subjects:

000 Computer science, knowledge & systems
500 Science > 510 Mathematics

ISSN:

0304-3975

Publisher:

Elsevier

Language:

English

Submitter:

Manuela Bamert

Date Deposited:

30 Oct 2017 12:29

Last Modified:

02 Nov 2017 05:08

Publisher DOI:

10.1016/j.tcs.2004.09.022

BORIS DOI:

10.7892/boris.104366

URI:

https://boris.unibe.ch/id/eprint/104366

Actions (login required)

Edit item Edit item
Provide Feedback