Bergen Open Research Archive

A Type System for Usage of Software Components

Bergen Open Research Archive

Show simple item record Hovland, Dag eng 2009-09-25T12:18:32Z 2009-09-25T12:18:32Z 2009
dc.identifier.citation In: Berardi, S.; Damiani, F.; de'Liguoro, U. (Eds.), Types for Proofs and Programs: 186-202 en
dc.identifier.isbn 978-3-642-02443-6 (print version)
dc.description Revised Selected Papers, TYPES 2008, Torino, Italy, March 26-29, 2008 en
dc.description.abstract The aim of this article is to support component-based software engineering by modelling exclusive and inclusive usage of software components. Truong and Bezem describe in several papers abstract languages for component software with the aim to find bounds of the number of instances of components. Their language includes primitives for instantiating and deleting instances of components and operators for sequential, alternative and parallel composition and a scope mechanism. The language is here supplemented with the primitives use, lock and free. The main contribution is a type system which guarantees the safety of usage, in the following way: When a well-typed program executes a subexpression use[x] or lock[x], it is guaranteed that an instance of x is available. en
dc.language.iso eng eng
dc.publisher Springer en
dc.relation.ispartofseries Lecture Notes in Computer Science en
dc.relation.ispartofseries 5497 en
dc.subject Component software eng
dc.subject Type System eng
dc.subject Parallel Execution eng
dc.subject Component Usage eng
dc.subject Process Model eng
dc.title A Type System for Usage of Software Components en
dc.type Chapter eng
dc.type Peer reviewed eng
dc.subject.nsi VDP::Matematikk og Naturvitenskap: 400::Informasjons- og kommunikasjonsvitenskap: 420::Teoretisk databehandling, programmeringsspråk og -teori: 421 nob
dc.rightsHolder Springer
dc.type.version Accepted version eng
bora.peerreviewed Peer reviewed eng

Files in this item


This item appears in the following Collection(s)

Show simple item record

Search BORA


My Account