DAWN for component based systems – just a different perspective

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.
  • Vollständige Referenz
  • BibTeX
Kindler, E., (2002). DAWN for component based systems – just a different perspective. In: Desel, J. & Weske, M. (Hrsg.), Promise 2002 – Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen. Bonn: Gesellschaft für Informatik e.V.. (S. 7-13).
@inproceedings{mci/Kindler2002,
author = {Kindler, Ekkart},
title = {DAWN for component based systems – just a different perspective},
booktitle = {Promise 2002 – Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen},
year = {2002},
editor = {Desel, Jörg AND Weske, Mathias} ,
pages = { 7-13 },
publisher = {Gesellschaft für Informatik e.V.},
address = {Bonn}
}
DateienGroesseFormatAnzeige
GI-Proceedings.21-1.pdf98.88Kb PDF Öffnen

Haben Sie fehlerhafte Angaben entdeckt? Sagen Sie uns Bescheid: Feedback abschicken

Mehr Information

ISBN: 3-88579-350-4
ISSN: 1617-5468
Datum: 2002
Sprache: eb (eb)
Typ: Text/Conference Paper
Sammlungen

Zur Langanzeige