• English
    • Norsk
  • English 
    • English
    • Norsk
  • Administration
View Item 
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Institutt for informatikk
  • Institutt for informatikk
  • View Item
  •   Home
  • Det matematisk-naturvitenskapelige fakultet
  • Institutt for informatikk
  • Institutt for informatikk
  • View Item
JavaScript is disabled for your browser. Some features of this site may not work without it.

Executable interface specifications for testing asynchronous Creol components

Grabe, Immo; Steffen, Martin; Torjussen, Arild B.
Research report
View/Open
ResearchReport-375.pdf (339.3Kb)
Year
2008
Permanent link
http://urn.nb.no/URN:NBN:no-21879

Is part of
Research report
Metadata
Show metadata
Appears in the following Collection
  • Institutt for informatikk [3091]
Abstract
Creol is a high-level, object-oriented language for distributed systems, featuring active objects and asynchronous method calls. In this paper we present a behavioral interface speci cation language over communication trace labels to specify components in terms of traces of observable behavior. In the speci cation, a clean separation of concerns between interaction under the control of the component or coming from the environment is central, which leads to an assumption-commitment style description of a component's behavior. The assumptions schedule the order of inputs, whereas the outputs as commitments are being tested for conformance. To ensure the mentioned separation of responsibilities, we de ne wellformedness conditions which in addition assure that only \meaningful" traces, i.e., those corresponding to actual behavior, can be speci ed. The speci cation language is characterized by two other salient features: it allows to specify freshness of communicated values and furthermore, it respects the asynchronous nature of communication in Creol: the output is tested only up-to an appropriate notion of observability.
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy
 

 

For students / employeesSubmit master thesisAccess to restricted material

Browse

All of DUOCommunities & CollectionsBy Issue DateAuthorsTitlesThis CollectionBy Issue DateAuthorsTitles

For library staff

Login

Statistics

View Usage Statistics
RSS Feeds
 
Responsible for this website 
University of Oslo Library


Contact Us 
duo-hjelp@ub.uio.no


Privacy policy