Data and abstraction for scenario-based modeling with Petri nets

D. Fahland, R. Prüfer

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

Samenvatting

Scenario-based modeling is an approach for describing behaviors of a distributed system in terms of partial runs, called scenarios. Deriving an operational system from a set of scenarios is the main challenge that is typically addressed by either synthesizing system components or by providing operational semantics. Over the last years, several established scenario-based techniques have been adopted to Petri nets. Their adaptation allows for verifying scenario-based models and for synthesizing individual components from scenarios within one formal technique, by building on Petri net theory. However, current adaptations of scenarios face two limitations: a system modeler (1) cannot abstract from concrete behavior, and (2) cannot explicitly describe data in scenarios. This paper lifts these limitations for scenarios in the style of Live Sequence Charts (LSCs). We extend an existing model for scenarios, that features Petri net-based semantics, verification and synthesis techniques, and close the gap between LSCs and Petri nets further.
Originele taal-2Engels
TitelApplications and Theory of Petri Nets (33rd International Conference, Petri Nets 2012, Hamburg, Germany, Newcastle, June 25-29, 2012. Proceedings)
RedacteurenS. Haddad, J. Pomello
Plaats van productieBerlin
UitgeverijSpringer
Pagina's168-187
ISBN van geprinte versie978-3-642-31130-7
DOI's
StatusGepubliceerd - 2012

Publicatie series

NaamLecture Notes in Computer Science
Volume7347
ISSN van geprinte versie0302-9743

Vingerafdruk Duik in de onderzoeksthema's van 'Data and abstraction for scenario-based modeling with Petri nets'. Samen vormen ze een unieke vingerafdruk.

Citeer dit