Visual Specification of Concurrent Systems

Varování

Publikace nespadá pod Filozofickou fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	ŠAFRÁNEK David
Rok publikování	2003
Druh	Článek ve sborníku
Konference	18th IEEE International Conference on Automated Software Engineering
Fakulta / Pracoviště MU	Fakulta informatiky
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:	Verifikace nekonečně stavových systémů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů