2006
Visual Coordination Networks
ŠAFRÁNEK, DavidZákladní údaje
Originální název
Visual Coordination Networks
Název česky
Visuální koordinační sítě
Autoři
ŠAFRÁNEK, David (203 Česká republika, garant)
Vydání
Brno, 218 s. PhD Thesis, 2006
Nakladatel
Masaryk University
Další údaje
Jazyk
angličtina
Typ výsledku
Účelové publikace
Obor
10201 Computer sciences, information science, bioinformatics
Stát vydavatele
Česká republika
Utajení
není předmětem státního či obchodního tajemství
Kód RIV
RIV/00216224:14330/06:00031784
Organizační jednotka
Fakulta informatiky
Klíčová slova anglicky
Thesis; coordination languages; architectural description languages; architectural interoperability checking; formal specification
Štítky
Příznaky
Mezinárodní význam, Recenzováno
Změněno: 19. 10. 2009 14:42, doc. RNDr. David Šafránek, Ph.D.
V originále
Concerning software systems, there has been developed a huge scale of architectural formalisms, socalled Architectural Description Languages (ADL), which support formal specification and analysis of software architectures and architectural styles, e.g., Wright, UniCon, or Darwin. However, all these architectural languages lack of features suitable for abstract description of other kinds of systems such as complex synchronous or asynchronous hardware circuits. During our five years long experience of working in a team specialized on a software/hardware codesign and development of a highspeed hardware accelerated network monitoring hardware, we found it very encouraging to rise the notion of software architectural description to architectural description of a computerbased system of any kind. To this end, we decided to develop a framework of Visual Coordination Diagrams (VCN) which would make a step towards satisfaction of the above mentioned needs. In this thesis, a visual formalism Visual Coordination Networks (VCN) for description and analysis of system architectures is developed. This formalism puts together ideas of exogenous coordination models and principles of architectural description and incorporates them in order to achieve an architectural description framework suitable for description and analysis of such a scale of systems for which the family of traditional architectural description languages is insufficient. Moreover, VCN is aimed to serve as a generic coordination model, which allows modeling of a variety of coordination primitives in a single language (from asynchronous Lindalike coordination to synchronous channelbased communication). The most significant properties we are taking into account are compositionality and hierarchy, which are important factors in componentbased design.
Česky
Práce obsahuje návrh a formální popis jazyka Visuální koordinační sítě (VCN) pro visuální specifikaci architektury souběžných systémů. Součástí práce je definice operační sémantiky jazyka VCN a automatizovaná metoda pro ověřování korektnosti vzájemné komunikace podsystémů v dané architektuře. Přístup uplatněný v této práci kombinuje znalosti z teorie koordinačních jazyků spolu se znalostmi z teorie souběžnosti, k nimž přidává možnost visuálního popisu inspirovaného notacemi UML. Vzniká tak původní přístup k formálnímu popisu souběžných systémů, který přibližuje možnosti formálního ověřování běžným systémovým architektům a vývojářům SW i HW systémů. Klíčovou vlastností jazyka VCN je hierarchický komponentově orientovaný charakter a zejména podpora pro obecné (šablonové) definice koordinačních mechanismů. Práce rovněž obsahuje případovou studii formální specifikace modelu traťových signalizačních prvků prostřednictvím jazyka VCN.
Návaznosti
| MSM0021622419, záměr |
|