ŠAFRÁNEK, David. Visual Coordination Networks. Brno: Masaryk University. 218 s. PhD Thesis. 2006.
Další formáty:   BibTeX LaTeX RIS
Zá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
Originální 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 architectural description languages, architectural interoperability checking, coordination languages, formal specification, thesis
Příznaky Mezinárodní význam, Recenzováno
Změnil Změnil: doc. RNDr. David Šafránek, Ph.D., učo 3159. Změněno: 19. 10. 2009 14:42.
Anotace
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.
Anotace č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ěrNázev: Vysoce paralelní a distribuované výpočetní systémy
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Vysoce paralelní a distribuované výpočetní systémy
VytisknoutZobrazeno: 29. 3. 2024 02:12