• norsk
    • English
  • English 
    • norsk
    • English
  • Login
View Item 
  •   Home
  • Faculty of Mathematics and Natural Sciences
  • Department of Informatics
  • Department of Informatics
  • View Item
  •   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.

Counting Instances of Software Components

Bezem, Marcus A.; Truong, Anh Hoang
Conference object
Thumbnail
View/Open
bora-2.pdf (250.7Kb)
URI
https://hdl.handle.net/1956/1172
Date
2004-07-13
Metadata
Show full item record
Collections
  • Department of Informatics [536]
Abstract
Component software is software that has been assembled from various pieces of standardized, reusable computer programs, so-called components. Executing component software creates instances of these components. For several reasons, for example, limited resources and/or application requirements, it can be important to have control over the number of such instances. Clearly, in cases where this is possible, design-time or compile-time control is to be preferred to run-time control. We give an abstract component language and a type system which ensures that the number of simultaneously active instances of any component never exceeds a (sharp) bound expressed in the type. The language features instantiation and reuse of components, as well as sequential composition, choice and scope. Alternatively one can view the expressions in the language as denoting processes where the atomic actions are interpreted as either creating new, or reusing old instances.
Description
This improved version was submitted to Special Issue of the Journal of Logic and Computation Semantics Corner. --- --- This is a pre-copy-editing, author-produced PDF of an article accepted for publication in Journal of Logic and Computation Semantics following peer review. The definitive publisher-authenticated version will be available online at: xxxxxxx.
Publisher
University of Bergen, Department of Informatics
Series
Proceedings of LRPP'04: Workshop on Logics for Resources, Processes, and Programs, Turku, Finland, July 13, 2004
Reports in Informatics

Contact Us | Send Feedback

Privacy policy
DSpace software copyright © 2002-2019  DuraSpace

Service from  Unit
 

 

Browse

ArchiveCommunities & CollectionsBy Issue DateAuthorsTitlesSubjectsDocument TypesJournalsThis CollectionBy Issue DateAuthorsTitlesSubjectsDocument TypesJournals

My Account

Login

Statistics

View Usage Statistics

Contact Us | Send Feedback

Privacy policy
DSpace software copyright © 2002-2019  DuraSpace

Service from  Unit