Visual Coordination Diagrams

• Název česky: Visuální koordinační diagramy
• Autoři: ŠAFRÁNEK David
• Rok publikování: 2004
• Druh: Článek ve sborníku
• Konference: Proceedings of the Doctoral Symposium of 7th International Conference on the Unified Modeling Language
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://ctp.di.fct.unl.pt/UML2004/DocSym/SafranekUML2004DocSym.pdf
• Obor: Informatika
• Klíčová slova: VCD; specification of concurrent systems; modeling languages
• Popis: V článku je presentována práce zaměřující se na vývoj visuálního specifikačního jazyka pro popis heterogenních souběžných systémů. Důraz je kladen na komponentov+ orientovaný návrh systémů. Podstatnou vlastností jazyka je separace popisu chování komponent od popisu jejich vzájemné koordinace.

Související projekty

• Automatizovaná verifikace paralelních a distribuovaných systémů
• Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů