Informace o publikaci
Visual Specification of Concurrent Systems
| Autoři | |
|---|---|
| Rok publikování | 2003 |
| Druh | Článek ve sborníku |
| Konference | 18th IEEE International Conference on Automated Software Engineering |
| Fakulta / Pracoviště MU | |
| Citace | |
| Obor | Informatika |
| Klíčová slova | visual specification; concurrent systems; coordination models |
| Popis | Článek obsahuje presentaci navrhovaného visuálního formalismu pro popis souběžných systémů. Hlavní aspekty formalismu jsou uvažovány s respektem vlastností komponentově orientovaných systémů. Z hlediska sémantiky je důraz kladen na možnost popisu systémů složených z komponent heterogenního charakteru (různých modelů výpočtu). |
| Související projekty: |