Visual Specification of Systems with Heterogeneous Coordination Models

Logo poskytovatele

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.
Název česky Visuální specifikace systémů s heterogenními modely koordinace
Autoři

ŠAFRÁNEK David

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

Fakulta informatiky

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:

Používáte starou verzi internetového prohlížeče. Doporučujeme aktualizovat Váš prohlížeč na nejnovější verzi.