Proceedings of the International Workshop on Petri Nets and Software Engineering - PNSE'10
Duvigneau, Michael (Hrsg.) ; Moldt, Daniel (Hrsg.)
| URN | urn:nbn:de:gbv:18-228-7-1488 |
|---|---|
| URL | http://edoc.sub.uni-hamburg.de/informatik/volltexte/2010/148/ |
| Dokumentart: | Proceedings (Komplette Ausgabe einer Konferenz etc.) |
| Schriftenreihe: | Berichte des Fachbereichs Informatik der Universität Hamburg |
| Bandnummer: | 294 |
| Sprache: | Englisch |
| Erstellungsjahr: | 2010 |
| Publikationsdatum: | 22.06.2010 |
| SWD-Schlagwörter: | Petri-Netz , Software Engineering , Modellierung , Validierung , Verifikation , Anwendung , Werkzeug |
| Freie Schlagwörter (Deutsch): | Workshop |
| Freie Schlagwörter (Englisch): | Petri nets , software engineering , modelling , validation , verification , application , tool |
| DDC-Sachgruppe: | Informatik |
| BK - Klassifikation: | 54.52 , 54.10 |
Kurzfassung auf Deutsch:
Dieser Bericht enthält die Proceedings des internationalen Workshops über Petrinetze und Softwaretechnik (PNSE’10), der am 22. Juni 2010 in Braga, Portugal stattfand. Zur erfolgreichen Erstellung komplexer Systeme interagierender und reaktiver Software- und Hardwarekomponenten ist die Verwendung einer präzisen Sprache während der verschiedenen Entwicklungsstufen von größter Wichtigkeit. Petrinetze stellen eine einheitlich für die Zwecke der Modellierung, Validierung und Verifikation verwendbare Sprache dar, welche fundamentale Aspekte von Kausalität, Nebenläufigkeit und Alternativen auf eine natürliche und mathematisch präzise Weise einfängt, ohne die Lesbarkeit der Modelle zu beeinträchtigen. Der Workshop präsentiert sowohl die Verwendung von Petrinetzen (S/T-Netzen, gefärbten Netzen und Erweiterungen) in den formalen Prozessen der Softwaretechnik als auch deren Anwendung oder Werkzeuge, welche die genannten Disziplinen unterstützen.
Kurzfassung auf Englisch:
This report contains the proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE’10) that took place in Braga, Portugal on June 22, 2010. For the successful realisation of complex systems of interacting and reactive software and hardware components the use of a precise language at different stages of the development process is of crucial importance. Petri nets provide a uniform language supporting the tasks of modelling, validation, and verification which captures fundamental aspects of causality, concurrency and choice in a natural and mathematically precise way without compromising readability. The use of Petri nets (P/T-nets, coloured Petri nets and extensions) in the formal process of software engineering is presented as well as their application and tools supporting the disciplines mentioned above.
Hinweis zum Urherberrecht
Für Dokumente, die in elektronischer Form über Datenenetze angeboten werden, gilt uneingeschränkt das Urheberrechtsgesetz (UrhG). Insbesondere gilt:
Einzelne Vervielfältigungen, z.B. Kopien und Ausdrucke, dürfen nur zum privaten und sonstigen eigenen Gebrauch angefertigt werden (Paragraph 53 Urheberrecht). Die Herstellung und Verbreitung von weiteren Reproduktionen ist nur mit ausdrücklicher Genehmigung des Urhebers gestattet.
Der Benutzer ist für die Einhaltung der Rechtsvorschriften selbst verantwortlich und kann bei Mißbrauch haftbar gemacht werden.