default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWS-FM 2010: Hoboken, NJ, USA
- Mario Bravetti, Tevfik Bultan:
Web Services and Formal Methods - 7th International Workshop, WS-FM 2010, Hoboken, NJ, USA, September 16-17, 2010. Revised Selected Papers. Lecture Notes in Computer Science 6551, Springer 2011, ISBN 978-3-642-19588-4 - Richard Hull, Elio Damaggio, Fabiana Fournier, Manmohan Gupta, Fenno F. Terry Heath III, Stacy Hobson, Mark H. Linehan, Sridhar Maradugu, Anil Nigam, Piyawadee Sukaviriya, Roman Vaculín:
Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles. 1-24 - Artem Polyvyanyy
, Jussi Vanhatalo, Hagen Völzer:
Simplified Computation and Generalization of the Refined Process Structure Tree. 25-41 - Sylvain Hallé:
Automated Generation of Web Service Stubs Using LTL Satisfiability Solving. 42-55 - César Andrés, María-Emilia Cambronero, Manuel Núñez:
Passive Testing of Web Services. 56-70 - Esra Kucukoguz, Jianwen Su:
On Lifecycle Constraints of Artifact-Centric Workflows. 71-85 - Xiang Fu:
Conformance Verification of Privacy Policies. 86-100 - Matthias Weidlich, Felix Elliger, Mathias Weske:
Generalised Computation of Behavioural Profiles Based on Petri-Net Unfoldings. 101-115 - Arjan J. Mooij, Jarungjit Parnjai, Christian Stahl, Marc Voorhoeve:
Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers. 116-130 - Kees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn E. M. van der Werf:
Soundness-Preserving Refinements of Service Compositions. 131-145 - David Raymond Christiansen, Marco Carbone, Thomas T. Hildebrandt:
Formal Semantics and Implementation of BPMN 2.0 Inclusive Gateways. 146-160 - Dinanath Nadkarni, Samik Basu, Vasant G. Honavar, Robyn R. Lutz:
Failure Analysis for Composition of Web Services Represented as Labeled Transition Systems. 161-175 - Alexandra Potapova, Jianwen Su:
On Nondeterministic Workflow Executions. 176-190
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
