„BPEL“

Suchergebnisse

1.000+ Treffer

• Repräsentation und Vergleich des Kontrollflusses von BPEL Prozessmodellen mit temporalen Aktivitätszustandsnetzwerken
  Scheurich, Jonas 2016 Universitätsbibliothek der Universität Stuttgart
• Effective and Efficient Process Engine Evaluation
  Harrer, Simon ; Wirtz, Guido 2017 University of Bamberg Press
• Analyzing Interacting BPEL Processes
  Lohmann, Niels ; Massuthe, Peter ; Stahl, Christian ; Weinberg, Daniela 2006 Humboldt-Universität zu Berlin
• A Petri Net Semantics for BPEL
  Stahl, Christian 2005 Humboldt-Universität zu Berlin
• Choreographiebasierte Konsolidierung von interagierenden BPEL-Prozessmodellen
  Wagner, Sebastian ; Leymann, Frank 2022 Universitätsbibliothek der Universität Stuttgart
• BPEL Firewall – Abwehr von Angriffen auf zustandsbehaftete Web Services
  Jensen, Meiko 2008 VDM Verlag Dr. Müller
• A tuplespace based execution model for decentralized workflow enactment – applied for BPEL
  Martin, Daniel 2010 dissertation.de
• Enhancing Quality of Web-Service-Based Cooperative Business Processes – Definition and Monitoring of Quality Constraints
  Berr, Tobias ; Greiner, Ulrike 2012 AV Akademikerverlag
• Partnerübergreifende Geschäftsprozesse und ihre Realisierung in BPEL
  Kopp, Oliver ; Leymann, Frank 2016 Universitätsbibliothek der Universität Stuttgart
• The CHORCH Approach: How to Model B2Bi Choreographies for Orchestration Execution
  Schönberger, Andreas ; Wirtz, Guido 2012 University of Bamberg Press
• Throughput improvements for BPEL engines – implementation techniques and measurements applied to SWoM
  Roller, Dieter ; Leymann, Frank 2013 Universitätsbibliothek der Universität Stuttgart
• Process fragments: enhancing reuse of process logic in BPEL process models
  Ma, Zhilei ; Leymann, Frank 2013 Universitätsbibliothek der Universität Stuttgart
• BPELlight: Flexibilisierung von Prozessmodellen durch Entkopplung von Prozesslogik und Schnittstellenspezifikation
  Nitzsche, Jörg ; Leymann, Frank 2011 Universitätsbibliothek der Universität Stuttgart
• Eine nfrastruktur für die dezentrale Ausführung von BPEL-Prozessen
  Wutke, Daniel
• Supporting business process fragmentation while maintaining operational semantics – a BPEL perspective
  Khalaf, Rania Y. 2008 dissertation.de
• Web Services and Formal Methods – 9th International Workshop, WS-FM 2012, Tallinn, Estonia, September 6-7, 2012, Revised Selected Papers
  Beek, Maurice H. ˜terœ ; Lohman, Niels 2013 Springer Berlin Heidelberg
• Business Intelligence – Second European Summer School, eBISS 2012, Brussels, Belgium, July 15-21, 2012, Tutorial Lectures
  Aufaure, Marie-Aude ; Zimányi, Esteban 2013 Springer Berlin Heidelberg
• Web Services and Formal Methods – 8th International Workshop, WS-FM 2011, Clermont-Ferrand, France, September 1-2, 2011, Revised Selected Papers
  Carbone, Marco ; Petit, Jean-Marc 2012 Springer Berlin Heidelberg
• Enterprise, Business-Process and Information Systems Modeling – 12th International Conference, BPMDS 2011, and 16th International Conference, EMMSAD 2011, held at CAiSE 2011, London, UK, June 20-21, 2011. Proceedings
  Halpin, Terry ; Nurcan, Selmin ; Krogstie, John ; Soffer, Pnina ; Proper, Erik ; Schmidt, Rainer ; Bider, Ilia 2011 Springer Berlin Heidelberg
• Formal Methods and Software Engineering – 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007. Proceedings
  Dong, Jin Song ; Zhu, Huibiao 2007 Springer Berlin Heidelberg