Title :
Visual specification of concurrent systems
Author_Institution :
Dept. of Theor. Programming, MAsaryk Univ., Brno, Czech Republic
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;
Conference_Titel :
Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on
Print_ISBN :
0-7695-2035-9
DOI :
10.1109/ASE.2003.1240340
