Architectural Interoperability Checking in Visual Coordination Networks

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Název česky	Ověřování interoperability architektur ve vizuálních koordinačních diagramech
Autoři	ŠAFRÁNEK David
Rok publikování	2006
Druh	Článek ve sborníku
Konference	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)
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
www	http://www.sciencedirect.com/science/journal/15710661
Obor	Informatika
Klíčová slova	coordination models; architectural description languages; interoperability checking; equivalence checking; visual coordination networks
Popis	Publikace popisuje přístup k ověřování diagramarické architektury souběžných systémů metodou ověřování ekvivalencí.
Související projekty:	Techniky automatické verifikace a validace softwarových a hardwarových systémů Institut Teoretické Informatiky Vysoce paralelní a distribuované výpočetní systémy