2010
DOI: 10.1007/978-3-642-11623-0_19
View full text
|
Sign up to set email alerts
|
Share

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 specification language over communication trace labels to specify components in terms of traces of observable behavior. In the specification, 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 comp…

Expand abstract

Search citation statements

Order By: Relevance

Citation Types

0
4
0

Paper Sections

0
0
0
0
0

Publication Types

0
0
0
0

Relationship

0
0

Authors

Journals