CoCoME in Fractal

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F67985807%3A_____%2F08%3A00341253" target="_blank" >RIV/67985807:_____/08:00341253 - isvavai.cz</a>

Alternative codes found

RIV/00216208:11320/08:00101295

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

CoCoME in Fractal

Original language description

This chapter presents our solution to the CoCoME assignment that is based on the Fractal component model. The solution involves (i) modeling architecture in Fractal ADL, (ii) specification of component behavior via behavior protocols, (iii) checking compatibility of components, (iv) verification of correspondence between component code and behavior specification, and (v) run-time monitoring of non-functional properties.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

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)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2008

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

The Common Component Modeling Example

ISBN

978-3-540-85288-9

ISSN

—

e-ISSN

—

Number of pages

31

Pages from-to

—

Publisher name

Springer

Place of publication

Berlin

Event location

Dagstuhl

Event date

Aug 1, 2007

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

000259297000014