BORA - UiBBORA
    • English
    • norsk
  • English 
    • English
    • norsk
  • Login
View Item 
  •   BORA Home
  • Faculty of Mathematics and Natural Sciences
  • Department of Informatics
  • Department of Informatics
  • View Item
  •   BORA Home
  • Faculty of Mathematics and Natural Sciences
  • Department of Informatics
  • Department of Informatics
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

A Type System for Usage of Software Components

Type
Chapter; Peer reviewed
Peer reviewed
Accepted version
Thumbnail
View/Open
Accepted version (228.6Kb)
Date
2009
Author
Hovland, Dag
Share

Metadata
Show full item record
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.
Description
Revised Selected Papers, TYPES 2008, Torino, Italy, March 26-29, 2008
URI
http://hdl.handle.net/1956/3491
DOI
10.1007/978-3-642-02444-3_12http://dx.doi.org/10.1007/978-3-642-02444-3_12
Citation
In: Berardi, S.; Damiani, F.; de'Liguoro, U. (Eds.), Types for Proofs and Programs: 186-202
Publisher
Springer
Subject
Component softwareType SystemParallel ExecutionComponent UsageProcess Model
Collections
  • Department of Informatics 373
Springer

University of Bergen Library
Contact Us | Send Feedback
 

 

Browse

All of BORACommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsTypeThis CollectionBy Issue DateAuthorsTitlesSubjectsType

My Account

LoginRegister

Statistics

View Usage Statistics

University of Bergen Library
Contact Us | Send Feedback