Gesellschaft für Informatik e.V.

Lecture Notes in Informatics


Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen - Promise 2002, 9.-11. Oktober 2002, Potsdam. P-21, 7-13 (2002).

GI, Gesellschaft für Informatik, Bonn
2002


Editors

Jörg Desel (ed.), Mathias Weske (ed.)


Copyright © GI, Gesellschaft für Informatik, Bonn

Contents

DAWN for component based systems - just a different perspective

Ekkart Kindler

Abstract


DAWN is technique for modelling and verifying network algorithms, which is based on Petri nets and temporal logic. In this paper, we present a different perspective of DAWN that allows us to use it for verifying component bases systems by modelling components and their interaction independently of each other.


Full Text: PDF

GI, Gesellschaft für Informatik, Bonn
ISBN 3-88579-350-4


Last changed 04.10.2013 17:55:58