Networks are a novel feature of the distributed ontology, modeling and specification language DOL.
They allow the specification and modeling of distributed systems.
Such systems can be refined from abstract requirements to more and more detailed specifications,
until an implementation is reached.
We present syntax, semantics and examples of networks and refinements.
Back to the Oberseminar web page Webmaster