DAWN for component based systems – just a different perspective

dc.contributor.author	Kindler, Ekkart
dc.contributor.editor	Desel, Jörg
dc.contributor.editor	Weske, Mathias
dc.date.accessioned	2019-11-14T12:47:26Z
dc.date.available	2019-11-14T12:47:26Z
dc.date.issued	2002
dc.identifier.isbn	3-88579-350-4
dc.identifier.issn	1617-5468
dc.identifier.uri	http://dl.gi.de/handle/20.500.12116/30157
dc.description.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.	eb
dc.language.iso	eb
dc.publisher	Gesellschaft für Informatik e.V.
dc.relation.ispartof	Promise 2002 – Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen
dc.relation.ispartofseries	Lecture Notes in Informatics (LNI) - Proceedings, Volume P-21
dc.title	DAWN for component based systems – just a different perspective	eb
dc.type	Text/Conference Paper
dc.pubPlace	Bonn
mci.reference.pages	7-13
mci.conference.sessiontitle	Regular Research Papers
mci.conference.location	Potsdam
mci.conference.date	9.-11. Oktober 2002