Visual Specification of Systems with Heterogeneous Coordination Models
| Název česky | Visuální specifikace systémů s heterogenními modely koordinace |
|---|---|
| Autoři | |
| Rok publikování | 2004 |
| Druh | Článek ve sborníku |
| Konference | Proceeding of 3rd International Workshop on Foundations of Coordination Languages and Software Architectures |
| Fakulta / Pracoviště MU | |
| Citace | |
| Obor | Informatika |
| Klíčová slova | specification; formal methods; visual formalism |
| Popis | Článek popisuje visuální specifikační jazyk Visual Coordination Diagrams (VCD) pro vysokoúrovňový popis souběžných systémů s heterogenními koordinačními mechanismy. Klíčovou vlastností jazyka je separace behaviorální aspektů od aspektů koordinačních. V článku je zdůrazněna heterogennost jazyka na dvou úrovních. V prvé řadě, heterogennost na úrovni koordinační, jež umožňuje míšení různých typů koordinace v jedné specifikaci. Ve druhé řadě pak heterogennost na úrovni behaviorální, která umožňuje zahrnutí různých formalismů pro popis chování jednotlivých komponent. Článek je zaměřen na definici jazyka, příklad jeho použití je rovněž presentován. |
| Související projekty: |