Informace o publikaci
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 | |
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 | |
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: |