Faculty of Computer Science

Research Group Theoretical Computer Science

Oberseminar: Heterogene formale Methoden

Date: 2015, October 28
Author: Mossakowski, Till
Title: Networks and Refinements in DOL


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