Open AccessBook
Formal Methods for Web Services
About:
The article was published on 2009-01-01 and is currently open access. It has received 46 citations till now. The article focuses on the topics: Web standards & WS-Policy.read more
Citations
More filters
Journal ArticleDOI
Soundness of workflow nets: classification, decidability, and analysis
W.M.P. van der Aalst,K.M. van Hee,A.H.M. ter Hofstede,Natalia Sidorova,H. M. W. Verbeek,Marc Voorhoeve,Moe Thandar Wynn +6 more
TL;DR: It is shown that the eight soundness notions described in the literature are decidable for workflow nets, however, most extensions will make all of these notions undecidable.
Soundness of workflow nets : classification, decidability, and analysis
W.M.P. van der Aalst,K.M. van Hee,A.H.M. ter Hofstede,Natalia Sidorova,H. M. W. Verbeek,Marc Voorhoeve,Moe Thandar Wynn +6 more
TL;DR: Workflow nets, a particular class of Petri nets, have become one of the standard ways to model and analyze workflows as mentioned in this paper, and they are used as an abstraction of the workflow that is used to check the so-called soundness property.
Book ChapterDOI
The AVANTSSAR platform for the automated validation of trust and security of service-oriented architectures
Alessandro Armando,Wihem Arsac,Tigran Avanesov,Michele Barletta,Alberto Calvi,Alessandro Cappai,Roberto Carbone,Yannick Chevalier,Luca Compagna,Jorge Cuellar,Gabriel Erzse,Simone Frau,Marius Minea,Sebastian Mödersheim,David von Oheimb,Giancarlo Pellegrino,Serena Elisa Ponta,Marco Rocchetto,Michaël Rusinowitch,Mohammad Torabi Dashti,Mathieu Turuani,Luca Viganò +21 more
TL;DR: A number of problems and vulnerabilities in deployed services are unveiled, including a serious flaw in the SAML-based Single Sign-On for Google Apps (now corrected by Google as a result of the findings).
Book ChapterDOI
Sessions and session types: an overview
TL;DR: The concepts of sessions and session types as they have been developed in the setting of the π-calculus are illustrated together with the embodying of sessions into functional and object-oriented languages, as well as some implementations.
Book ChapterDOI
Strategies for Modeling Complex Processes Using Colored Petri Nets
TL;DR: This work shows how to solve typical design problems in terms of colored Petri net formalism and presents guidelines to create succinct, but also comprehensible, models.