Logo des Repositoriums

P021 - Promise 2002 – Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen

https://dl.gi.de/handle/20.500.12116/30156
Auflistung nach:

Auflistung P021 - Promise 2002 – Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen nach Autor:in "Kindler, Ekkart"

1 - 1 von 1
  • Konferenzbeitrag
    DAWN for component based systems – just a different perspective
    (Promise 2002 – Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen, 2002) Kindler, Ekkart
    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.