DecSerFlow Towards a Truly Declarative Service Flow Language Wil van der Aalst & Maja Pesic Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands [email protected]ed talk 3rd International Workshop on ervices and Formal Methods mber 2006, Vienna, Austria
52
Embed
DecSerFlow Towards a Truly Declarative Service Flow Language Wil van der Aalst & Maja Pesic Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven,
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
DecSerFlow Towards a Truly Declarative
Service Flow Language
Wil van der Aalst & Maja PesicEindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands
• Nature of model:– Global model (choreography model), i.e., interactions are
described from the viewpoint of an external observer who oversees all interactions between all services (non-executable specification of a contractual nature).
– Local model, i.e., the DecSerFlow model is used to specify, implement, or configure a particular service.
• Use:– Analysis of both global and local models.– Comparing global and local models.– Monitoring global and local models (conformance).– Enactment of local models.
Enactment
• A Büchi automaton typically assumes traces infinitely visiting an accepting state. There are several ways to address this. We use the approach proposed by Dimitra Giannakopoulou and Klaus Havelund to check finite traces.
• We can color the constraints green (in accepting state), yellow (accepting state can still be reached), or red (accepting state cannot be reached anymore).
Implementation (ConDec)
• Implementation on top of YAWL and ProM.• Editor (with facilities to extend language) has been
implemented.• Initial experiments with enactment service.• Plans to link editor with LTL checker in ProM.
YAWL
Prom
interface B
Editor
Add your own constraints!
Using DecSerFlow for process mining
curse prayresponse
Thanks to Ton Weijters, Boudewijn van Dongen, Ana Karla Alves de Medeiros, Anne Rozinat, Christian Günter, Eric Verbeek, Ronny Mans, Minseok Song, Laura Maruster, Huub de Beer, Peter van den Brand, Jan Mendling, Andriy Nikolov, Jianmin Wang, Lijie Wen,
Irene Vanderfeesten, Mariska Netjes, Steffi Rinderle, Walid Gaaloul, Gianluigi Greco, Antonella Guzzo, Maja Pesic, etc. etc.
Overview: Process mining
web servicesservice flow
processmodel
eventlogs
specifies global model
discovery
records events, e.g.,
via SOAP messages
specifies/implements local model
supports/controls
extension
conformance
Discovery
• Based on an event log a model is constructed without a-priori information.
• Not just the control-flow, cf. the social network miner.