Detailed Information on Publication Record
2006
Visual Coordination Networks
ŠAFRÁNEK, DavidBasic information
Original name
Visual Coordination Networks
Name in Czech
Visuální koordinační sítě
Authors
ŠAFRÁNEK, David (203 Czech Republic, guarantor)
Edition
Brno, 218 pp. PhD Thesis, 2006
Publisher
Masaryk University
Other information
Language
English
Type of outcome
Účelové publikace
Field of Study
10201 Computer sciences, information science, bioinformatics
Country of publisher
Czech Republic
Confidentiality degree
není předmětem státního či obchodního tajemství
RIV identification code
RIV/00216224:14330/06:00031784
Organization unit
Faculty of Informatics
Keywords in English
Thesis; coordination languages; architectural description languages; architectural interoperability checking; formal specification
Tags
Tags
International impact, Reviewed
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.
In Czech
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.
Links
| MSM0021622419, plan (intention) |
|