Š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, p. 81-96, 15 pp. ISSN 1571-0661.
Other formats:   BibTeX LaTeX RIS
Basic information
Original name Architectural Interoperability Checking in Visual Coordination Networks
Name in Czech Ověřování interoperability architektur ve vizuálních koordinačních diagramech
Authors ŠAFRÁNEK, David (203 Czech Republic, guarantor).
Edition 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), p. 81-96, 15 pp. 2006.
Publisher Elsevier Science
Other information
Original language English
Type of outcome Proceedings paper
Field of Study 10201 Computer sciences, information science, bioinformatics
Country of publisher Czech Republic
Confidentiality degree is not subject to a state or trade secret
WWW URL
RIV identification code RIV/00216224:14330/06:00015346
Organization unit Faculty of Informatics
ISSN 1571-0661
Keywords in English coordination models; architectural description languages; interoperability checking; equivalence checking; visual coordination networks
Tags architectural description languages, coordination models, equivalence checking, interoperability checking, visual coordination networks
Tags International impact, Reviewed
Changed by Changed by: doc. RNDr. David Šafránek, Ph.D., učo 3159. Changed: 18/6/2007 14:54.
Abstract
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.
Abstract (in Czech)
Publikace popisuje přístup k ověřování diagramarické architektury souběžných systémů metodou ověřování ekvivalencí.
Links
MSM0021622419, plan (intention)Name: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministry of Education, Youth and Sports of the CR, Highly Parallel and Distributed Computing Systems
1ET408050503, research and development projectName: Techniky automatické verifikace a validace softwarových a hardwarových systémů
Investor: Academy of Sciences of the Czech Republic, Techniques for automatic verification and validation of software nad hardware systems
1M0545, research and development projectName: Institut Teoretické Informatiky
Investor: Ministry of Education, Youth and Sports of the CR, Institute for Theoretical Computer Science
PrintDisplayed: 4/10/2024 17:16