DocumentCode
2208362
Title
Visual specification of concurrent systems
Author
Safranek, D.
Author_Institution
Dept. of Theor. Programming, MAsaryk Univ., Brno, Czech Republic
fYear
2003
fDate
6-10 Oct. 2003
Firstpage
369
Lastpage
372
Abstract
The work on a visual formalism for specification of concurrent systems is presented. It is proposed to match requirements of state-of-the-art component-based design methods. Special emphasis is given to specification of heterogeneous systems in which the different models of computation can be mixed together. We briefly summarize recent research related to the topic and give a sketch of the basic ideas for definition of the proposed language. The already achieved results of our work are presented as well.
Keywords
concurrency control; formal specification; specification languages; visual languages; UML; component-based design methods; concurrent systems; data-flow based approach; formal visual language; heterogeneous systems specification; state-based approach; visual formalism; visual specification; Application software; Computational modeling; Design methodology; Hardware; Informatics; Petri nets; Software design; Software engineering; Software systems; Unified modeling language;
fLanguage
English
Publisher
ieee
Conference_Titel
Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on
ISSN
1938-4300
Print_ISBN
0-7695-2035-9
Type
conf
DOI
10.1109/ASE.2003.1240340
Filename
1240340
Link To Document