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 28 articles )

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

1 2 next

  1. Yongchareon, Sira; Liu, Chengfei; Zhao, Xiaohui: Reusing artifact-centric business process models: a behavioral consistent specialization approach (2020)
  2. AlTurki, Musab A.; Meseguer, José: Executable rewriting logic semantics of Orc and formal analysis of Orc programs (2015)
  3. Chama, Imed Eddine; Belala, Nabil; Saidouni, Djamel Eddine: Formal modeling and analysis of business process timed constraints (2015)
  4. Haddad, Serge; Hennicker, Rolf; Møller, Mikael H.: Specification of asynchronous component systems with modal I/O-Petri nets (2014)
  5. Vogler, Walter; Stahl, Christian; Müller, Richard: Trace- and failure-based semantics for responsiveness (2014)
  6. Michaux, Jonathan; Najm, Elie; Fantechi, Alessandro: Session types for safe web service orchestration (2013)
  7. Song, Liang; Wang, Jianmin; Wen, Lijie; Kong, Hui: Efficient semantics-based compliance checking using LTL formulae and unfolding (2013)
  8. Aalst, Wil M. P.van der; Lohmann, Niels; La Rosa, Marcello: Ensuring correctness during process configuration via partner synthesis (2012) ioport
  9. Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco: Using formal methods to develop WS-BPEL applications (2012) ioport
  10. Stahl, Christian; Vogler, Walter: A trace-based service semantics guaranteeing deadlock freedom (2012)
  11. 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)
  12. Lapadula, A.; Pugliese, R.; Tiezzi, F.: A WSDL-based type system for asynchronous WS-BPEL processes (2011)
  13. Lohmann, Niels; Wolf, Karsten: Compact representations and efficient algorithms for operating guidelines (2011)
  14. Polyvyanyy, Artem; Weidlich, Matthias; Weske, Mathias: Connectivity of workflow nets: The foundations of stepwise verification (2011)
  15. Stahl, Christian; Vogler, Walter: A trace-based view on operating guidelines (2011)
  16. Weidlich, Matthias; Polyvyanyy, Artem; Mendling, Jan; Weske, Mathias: Causal behavioural profiles -- efficient computation, applications, and evaluation (2011)
  17. Héam, Pierre-Cyrille; Kouchnarenko, Olga; Voinot, Jérôme: Component simulation-based substitutivity managing QoS and composition issues (2010)
  18. Weidlich, Matthias; Polyvyanyy, Artem; Mendling, Jan; Weske, Mathias: Efficient computation of causal behavioural profiles using structural decomposition (2010)
  19. Yang, Linmin; Wang, Yong; Dang, Zhe: Automata and processes on multisets of communicating objects (2010)
  20. Bonchi, Filippo; Brogi, Antonio; Corfini, Sara; Gadducci, Fabio: A net-based approach to web services publication and replaceability (2009)

1 2 next

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