Publication details
Visual Specification of Concurrent Systems
| Authors | |
|---|---|
| Year of publication | 2003 |
| Type | Article in Proceedings |
| Conference | 18th IEEE International Conference on Automated Software Engineering |
| MU Faculty or unit | |
| 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: |