BPEL2PN

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

Showing results 1 to 17 of 17.
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)
  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^ome: 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)
  9. Ding, Zuohua; Chen, Zhenbang; Liu, Jing: A rigorous model of service component architecture. (2008)
  10. Hamadi, Rachid; Benatallah, Boualem; Medjahed, Brahim: Self-adapting recovery nets for policy-driven exception handling in business processes (2008)
  11. Massuthe, Peter; Serebrenik, Alexander; Sidorova, Natalia; Wolf, Karsten: Can I find a partner? Undecidability of partner existence for open nets (2008)
  12. 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)
  13. Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco: A calculus for orchestration of web services (2007)
  14. 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)
  15. Bocchi, Laura; Ciancarini, Paolo: On the impact of formal methods in the SOA. (2006)
  16. Kristensen, L.M.; Schmidt, K.; Valmari, A.: Question-guided stubborn set methods for state properties (2006)
  17. Reisig, Wolfgang; Schmidt, Karsten; Stahl, Christian: Kommunizierende Workflow-services modellieren und analysieren (2005)


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