Architectural Interoperability Checking in Visual Coordination
Networks

D 2006

Architectural Interoperability Checking in Visual Coordination Networks

ŠAFRÁNEK, David

Základní údaje

Originální název

Architectural Interoperability Checking in Visual Coordination Networks

Název česky

Ověřování interoperability architektur ve vizuálních koordinačních diagramech

Autoři

ŠAFRÁNEK, David (203 Česká republika, garant)

Vydání

Bologna, Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006), od s. 81-96, 15 s. 2006

Nakladatel

Elsevier Science

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Česká republika

Utajení

není předmětem státního či obchodního tajemství

Odkazy

URL

Kód RIV

RIV/00216224:14330/06:00015346

Organizační jednotka

Fakulta informatiky

ISSN

Klíčová slova anglicky

coordination models; architectural description languages; interoperability checking; equivalence checking; visual coordination networks

Štítky

architectural description languages, coordination models, equivalence checking, interoperability checking, visual coordination networks

Příznaky

Mezinárodní význam, Recenzováno

Změněno: 18. 6. 2007 14:54, doc. RNDr. David Šafránek, Ph.D.

Anotace

ORIG CZ

V originále

In this paper, an approach of architectural interoperability checking is revisited and utilized for interoperability checking of architectures with connectors and components treated as behaviorally and expressively different elements of architecture description. By that way, the framework of architectural interoperability checking for a diagrammatic language Visual Coordination Diagrams is established.

Česky

Publikace popisuje přístup k ověřování diagramarické architektury souběžných systémů metodou ověřování ekvivalencí.

Návaznosti

MSM0021622419, záměr

Název: Vysoce paralelní a distribuované výpočetní systémy

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy

1ET408050503, projekt VaV

Název: Techniky automatické verifikace a validace softwarových a hardwarových systémů

Investor: Akademie věd ČR, Techniky automatické verifikace a validace softwarových a hardwarových systémů

1M0545, projekt VaV

Název: Institut Teoretické Informatiky

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Institut Teoretické Informatiky

Citovat

ŠAFRÁNEK, David. Architectural Interoperability Checking in Visual Coordination Networks. In Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006). Bologna: Elsevier Science, 2006, s. 81-96, 15 s. ISSN 1571-0661.

@inproceedings{637465,
   author = {Šafránek, David},
   address = {Bologna},
   booktitle = {Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006)},
   keywords = {coordination models; architectural description languages; interoperability checking; equivalence checking; visual coordination networks},
   language = {eng},
   location = {Bologna},
   note = {vol. 181},
   pages = {81-96},
   publisher = {Elsevier Science},
   title = {Architectural Interoperability Checking in Visual Coordination Networks},
   url = {http://www.sciencedirect.com/science/journal/15710661},
   year = {2006}
}

TY  - CONF
ID  - 637465
AU  - Šafránek, David
PY  - 2006
TI  - Architectural Interoperability Checking in Visual Coordination Networks
PB  - Elsevier Science
CY  - Bologna
N1  - vol. 181
KW  - coordination models
KW  - architectural description languages
KW  - interoperability checking
KW  - equivalence checking
KW  - visual coordination networks
UR  - http://www.sciencedirect.com/science/journal/15710661
N2  - In this paper, an approach of architectural interoperability checking is revisited and utilized for interoperability checking of architectures with connectors and components treated as behaviorally and expressively different elements of architecture description. By that way, the framework of architectural interoperability checking for a diagrammatic language Visual Coordination Diagrams is established.
ER  -

ŠAFRÁNEK, David. Architectural Interoperability Checking in Visual Coordination Networks. In \textit{Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006)}. Bologna: Elsevier Science, 2006, s.~81-96, 15 s. ISSN~1571-0661.

Přehled o publikaci