Visual Specification of Concurrent Systems

Investor logo

Warning

This publication doesn't include Faculty of Arts. It includes Faculty of Informatics. Official publication website can be found on muni.cz.
Authors

ŠAFRÁNEK David

Year of publication 2003
Type Article in Proceedings
Conference 18th IEEE International Conference on Automated Software Engineering
MU Faculty or unit

Faculty of Informatics

Citation
Field Informatics
Keywords visual specification; concurrent systems; coordination models
Description 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.
Related projects:

You are running an old browser version. We recommend updating your browser to its latest version.