Logo des Repositoriums
 
Konferenzbeitrag

DAWN for component based systems – just a different perspective

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2002

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

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.

Beschreibung

Kindler, Ekkart (2002): DAWN for component based systems – just a different perspective. Promise 2002 – Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 3-88579-350-4. pp. 7-13. Regular Research Papers. Potsdam. 9.-11. Oktober 2002

Schlagwörter

Zitierform

DOI

Tags