BPEL2PN is a Java-based compiler that transforms a process specified in the Business Process Execution Language for Web Services into a Petri net according to the Petri net semantics. The output format of BPEL2PN is a Petri net in the data format of the Petri net based model checker. LoLA also offers the opportunity to write out the net into the standard interchange format for Petri nets, the Petri Net Markup Language.

References in zbMATH (referenced in 18 articles )

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

  1. Betz, Tobias; Cabac, Lawrence; Duvigneau, Michael; Wagner, Thomas; Wester-Ebbinghaus, Matthias: Software engineering with Petri nets: a web service and agent perspective (2014)
  2. Riccobene, Elvinia; Scandurra, Patrizia: A formal framework for service modeling and prototyping (2014) ioport
  3. Simmonds, Jocelyn; Ben-David, Shoham; Chechik, Marsha: Monitoring and recovery for web service applications (2013)
  4. Fiadeiro, José; Lopes, Antónia; Abreu, João: A formal model for service-oriented interactions (2012)
  5. Lapadula, A.; Pugliese, R.; Tiezzi, F.: A WSDL-based type system for asynchronous WS-BPEL processes (2011)
  6. van der Aalst, W. M. P.; van Hee, K. M.; ter Hofstede, A. H. M.; Sidorova, N.; Verbeek, H. M. W.; Voorhoeve, M.; Wynn, M. T.: Soundness of workflow nets: classification, decidability, and analysis (2011)
  7. Héam, Pierre-Cyrille; Kouchnarenko, Olga; Voinot, Jérôme: Component simulation-based substitutivity managing QoS and composition issues (2010)
  8. Sun, Haiyang; Yang, Jian; Xu, Lai: CoBTx-net: a model for business collaboration reliability verification (2009) ioport
  9. Wolf, Karsten: Does my service have partners? (2009)
  10. Ding, Zuohua; Chen, Zhenbang; Liu, Jing: A rigorous model of service component architecture (2008)
  11. Hamadi, Rachid; Benatallah, Boualem; Medjahed, Brahim: Self-adapting recovery nets for policy-driven exception handling in business processes (2008) ioport
  12. Massuthe, Peter; Serebrenik, Alexander; Sidorova, Natalia; Wolf, Karsten: Can I find a partner? Undecidability of partner existence for open nets (2008)
  13. Yu, Jian; Han, Yan-Bo; Han, Jun; Jin, Yan; Falcarin, Paolo; Morisio, Maurizio: Synthesizing service composition models on the basis of temporal business rules (2008) ioport
  14. Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco: A calculus for orchestration of web services (2007)
  15. Ouyang, Chun; Verbeek, Eric; van der Aalst, Wil M. P.; Breutel, Stephan; Dumas, Marlon; ter Hofstede, Arthur H. M.: Formal semantics and analysis of control flow in WS-BPEL (2007)
  16. Kristensen, L. M.; Schmidt, K.; Valmari, A.: Question-guided stubborn set methods for state properties (2006)
  17. Prasetya, I. S. W. B.; Vos, T. E. J.; Swierstra, S. D.: Web Cube (2006)
  18. Reisig, Wolfgang; Schmidt, Karsten; Stahl, Christian: Kommunizierende Workflow-services modellieren und analysieren (2005) ioport

Further publications can be found at: http://www2.informatik.hu-berlin.de/top/bpel2pn/references.html#SHS05