Publication details
Visual Coordination Diagrams
| Basic information | |
|---|---|
| Original title: | Visual Coordination Diagrams |
| Author: | David Šafránek |
| Further information | |
|---|---|
| Citation: | ŠAFRÁNEK, David. Visual Coordination Diagrams. In Proceedings of the Doctoral Symposium of 7th International Conference on the Unified Modeling Language. Lisbon, Portugal : Alanen M., Cabot J., Goulao M., Saez J. and Simmonds D. (editors), 2004. pp. 53 -60. 2004, Lisbon, Portugal. |
| Original language: | English |
| Field: | Informatika |
| WWW: |  http://ctp.di.fct.unl.pt/UML2004/DocSym/SafranekUML2004DocSym.pdf |
| Type: | Article in Proceedings |
| Keywords: | VCD; specification of concurrent systems; modeling languages |
In this paper, the work on a visual specification language for high-level design of concurrent systems with heterogeneous coordination models, called Visual Coordination Diagrams (VCD), is presented. Special emphasis is given to component-based specification of heterogeneous systems. The key property of VCD is separation of behavioral aspects from coordination aspects. We briefly summarize recent research related to the topic and give an overview of VCD language and its semantics. The summary of already achieved results of our work is presented as well.
Related projects:
- Automated Verification of Parallel and Distributed Systems
- Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing
