GNU BPEL2oWFN translates a web service expressed in WS-BPEL (Web Service Business Process Execution Language) into an oWFN (open Workflow Net). This oWFN can be used to: check for controllability or generate the operating guideline using the tool Fiona, check for deadlocks or any other Petri net property, or check any temporal logic formula with a variety of model checking tools.

References in zbMATH (referenced in 24 articles )

Showing results 1 to 20 of 24.
Sorted by year (citations)

1 2 next

  1. AlTurki, Musab A.; Meseguer, José: Executable rewriting logic semantics of Orc and formal analysis of Orc programs (2015)
  2. Haddad, Serge; Hennicker, Rolf; Møller, Mikael H.: Specification of asynchronous component systems with modal I/O-Petri nets (2014)
  3. Vogler, Walter; Stahl, Christian; Müller, Richard: Trace- and failure-based semantics for responsiveness (2014)
  4. Michaux, Jonathan; Najm, Elie; Fantechi, Alessandro: Session types for safe web service orchestration (2013)
  5. Song, Liang; Wang, Jianmin; Wen, Lijie; Kong, Hui: Efficient semantics-based compliance checking using LTL formulae and unfolding (2013)
  6. Aalst, Wil M.P.van der; Lohmann, Niels; La Rosa, Marcello: Ensuring correctness during process configuration via partner synthesis (2012)
  7. Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco: Using formal methods to develop WS-BPEL applications (2012)
  8. Stahl, Christian; Vogler, Walter: A trace-based service semantics guaranteeing deadlock freedom (2012)
  9. Valero, Valentín; Macià, Hermenegilda; Pardo, Juan José; Cambronero, María Emilia; Díaz, Gregorio: Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets (2012)
  10. Lapadula, A.; Pugliese, R.; Tiezzi, F.: A WSDL-based type system for asynchronous WS-BPEL processes (2011)
  11. Lohmann, Niels; Wolf, Karsten: Compact representations and efficient algorithms for operating guidelines (2011)
  12. Polyvyanyy, Artem; Weidlich, Matthias; Weske, Mathias: Connectivity of workflow nets: The foundations of stepwise verification (2011)
  13. Stahl, Christian; Vogler, Walter: A trace-based view on operating guidelines (2011)
  14. Weidlich, Matthias; Polyvyanyy, Artem; Mendling, Jan; Weske, Mathias: Causal behavioural profiles -- efficient computation, applications, and evaluation (2011)
  15. Héam, Pierre-Cyrille; Kouchnarenko, Olga; Voinot, Jér^ome: Component simulation-based substitutivity managing QoS and composition issues (2010)
  16. Weidlich, Matthias; Polyvyanyy, Artem; Mendling, Jan; Weske, Mathias: Efficient computation of causal behavioural profiles using structural decomposition (2010)
  17. Yang, Linmin; Wang, Yong; Dang, Zhe: Automata and processes on multisets of communicating objects (2010)
  18. Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio: A net-based approach to web services publication and replaceability (2009)
  19. Stahl, Christian; Massuthe, Peter; Bretschneider, Jan: Deciding substitutability of services with operating guidelines (2009)
  20. Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio: Compositional specification of web services via behavioural equivalence of nets: A case study (2008)

1 2 next

Further publications can be found at: http://www.gnu.org/software/bpel2owfn/publications.html