Coordination-Based Design of Distributed Systems

Authors:
Joost N. Kok;Kaisa Sere
Affiliations:
-;-
Venue:
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Year:
2000

Citing 2
Cited 0

The Unified Modeling Language user guide

The Unified Modeling Language user guide
Developing Object-based Distributed Systems

Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

We present a component-based formal approach to the design of distributed systems based on the coordination of the interaction and of the flow of control using graphical notation, refinement and guarded composition.