Graphical Specification of Concurrent Systems

Mgr. David Šafránek, Ph.D.

Rigorózní práce

Anotace:

Visual methods for specification of software with various design and analysis methods of software engineering, nowadays unified into the Universal Modelling Language UML, appear also useful for specification of reactive and interactive systems. The main advantage of such an universal modelling language is its heterogeneity. Unfortunately, there are no formal languages with appropriate universal character. The objective of the intended thesis is to propose, develop and implement an universal formal visual language for concurrent systems. The most significant properties we are taking into account are the compositionality and hierarchy of the coordination level, which is an important factor in component-based design. Moreover, the design and implementation of the user interface for the developed language is also the aim of the intended thesis.

Abstract:

Visual methods for specification of software with various design and analysis methods of software engineering, nowadays unified into the Universal Modelling Language UML, appear also useful for specification of reactive and interactive systems. The main advantage of such an universal modelling language is its heterogeneity. Unfortunately, there are no formal languages with appropriate universal character. The objective of the intended thesis is to propose, develop and implement an universal formal visual language for concurrent systems. The most significant properties we are taking into account are the compositionality and hierarchy of the coordination level, which is an important factor in component-based design. Moreover, the design and implementation of the user interface for the developed language is also the aim of the intended thesis.

Keywords

coordination language, visual formalism, concurrent systems, component-based modeling

Jazyk práce: angličtina

Datum vytvoření / odevzdání či podání práce: 16. 6. 2008

Obhajoba závěrečné práce

• Obhajoba proběhla 23. 6. 2008

Masarykova univerzita

Fakulta informatiky

Rigorózní řízení / obor:
Informatika / Informatika