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
• 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
• 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