Bounding Component Behavior via Protocols.
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F99%3A06010078" target="_blank" >RIV/67985807:_____/99:06010078 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Bounding Component Behavior via Protocols.
Original language description
In this paper, we introduce a semantic description of software components. The description aims to ensure correct composition of the nested architectural abstractions while being easy-to-read. The description of behavior is expressed by behavior protocols using a notation similar to regular expressions. The key achievements of this paper include the definition of the protocol conformance, where designer can verify that a protocol adheres to the requirements of other associated protocols.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
1999
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Technology of Object-Oriented Languages and Systems. Proceedings.
ISBN
0-7695-0278-4
ISSN
—
e-ISSN
—
Number of pages
12
Pages from-to
387-398
Publisher name
IEEE Computer Society
Place of publication
Los Alamitos
Event location
Santa Barbara [US]
Event date
Aug 1, 1999
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—