|
|
- Niels Lohmann and Jens Kleine. Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes. In Thomas Kühne and Friedrich Steimann, editors, Modellierung 2008, 12.-14. März 2008, Berlin, Germany, Proceedings, Lecture Notes in Informatics (LNI), March 2008. GI.
- Niels Lohmann, Peter Massuthe, Christian Stahl, and Daniela Weinberg. Analyzing Interacting WS-BPEL Processes Using Flexible Model Generation. Data Knowl. Eng., 64(1):38-54, January 2008. [PDF] [ScienceDirect]
- Dieter König, Niels Lohmann, Simon Moser, Christian Stahl, and Karsten Wolf. Extending the Compatibility Notion for Abstract WS-BPEL Processes. Preprint CS-02-07, Universität Rostock, Rostock, Germany, November 2007. [PDF]
- Niels Lohmann. A Feature-Complete Petri Net Semantics for WS-BPEL 2.0. In Marlon Dumas and Reiko Heckel, editors, Web Services and Formal Methods, Forth International Workshop, WS-FM 2007 Brisbane, Australia , September 28-29, 2007, Proceedings, Lecture Notes in Computer Science, September 2007. Springer-Verlag. [PDF]
- Niels Lohmann, Oliver Kopp, Frank Leymann, and Wolfgang Reisig. Analyzing BPEL4Chor: Verification and Participant Synthesis. In Marlon Dumas and Reiko Heckel, editors, Web Services and Formal Methods, Forth International Workshop, WS-FM 2007 Brisbane, Australia , September 28-29, 2007, Proceedings, Lecture Notes in Computer Science, September 2007. Springer-Verlag. [PDF]
- Niels Lohmann, Peter Massuthe, and Karsten Wolf. Behavioral Constraints for Services. In Business Process Management, 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007, Proceedings, Lecture Notes in Computer Science, September 2007. Springer-Verlag. Note: Accepted. [PDF] [SpringerLink]
- Kerstin Pfitzner, Gero Decker, Oliver Kopp and Frank Leymann. Web Service Choreography Configurations for BPMN. Proceedings of the 3rd International Workshop on Engineering Service-oriented Applications: Analysis, Design and Composition (WESOA), Vienna, Austria , September 2007.
- Niels Lohmann. A Feature-Complete Petri Net Semantics for WS-BPEL 2.0 and its Compiler BPEL2oWFN. Informatik-Berichte 212, Humboldt-Universität zu Berlin, August 2007. [PDF]
- Wolfgang Reisig, Karsten Wolf, Jan Bretschneider, Kathrin Kaschner, Niels Lohmann, Peter Massuthe, and Christian Stahl. Challenges in a Service-Oriented World. ERCIM News, (70):28-29, July 2007. [ERCIM News]
- Gero Decker, Oliver Kopp, Frank Leymann, and Matthias Weske. BPEL4Chor: Extending BPEL for Modeling Choreographies. In Proceedings of the IEEE 2007 International Conference on Web Services (ICWS 2007), Salt Lake City, Utah, USA, July 2007. Note: Accepted.
- Niels Lohmann, Peter Massuthe, and Karsten Wolf. Operating Guidelines for Finite-State Services. In Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, Siedlce, Poland, June 25-29, 2007, Proceedings, 2007. Note: Accepted. [PDF]
- Niels Lohmann. A Feature-Complete Petri Net Semantics for WS-BPEL 2.0. In Kees van Hee, Wolfgang Reisig, and Karsten Wolf, editors, Proceedings of the Workshop on Formal Approaches to Business Processes and Web Services (FABPWS'07), pages 21-35, June 2007. University of Polandaise.
- Oliver Kopp, Tobias Unger, and Frank Leymann. Nautilus Event-driven Process Chains: Syntax, Semantics, and their mapping to BPEL. Proceedings of the 5th GI Workshop on Event-Driven Process Chains (EPK 2006), pages 85-104, Vienna, Austria, December 2006. [PDF]
- Niels Lohmann, Peter Massuthe, Christian Stahl, and Daniela Weinberg. Analyzing Interacting BPEL Processes. In Schahram Dustdar, José Luiz Fiadeiro, and Amit Sheth, editors, Business Process Management, 4th International Conference, BPM 2006, Vienna, Austria, September 5-7, 2006, Proceedings, volume 4102 of Lecture Notes in Computer Science, pages 17-32, September 2006. Springer-Verlag. [PDF] [SpringerLink]
- Oliver Kopp, Carsten Frenkler, and Niels Lohmann. Korrektheit und Zuverlässigkeit zusammengesetzter Web Services am Beispiel der Geschäftsprozess-Modellierungssprache BPEL. In Forschungsoffensive ''Software Engineering 2006'', Statuskonferenz, 26.-28. Juni 2006, July 2006. Bundesministerium für Bildung und Forschung (BMBF). [PDF]
Operating Guidelines
- Peter Massuthe, Wolfgang Reisig, and Karsten Schmidt. An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing & Teleinformatics, 1(3):35-43, 2005. [PDF]
- Peter Massuthe, Wolfgang Reisig, and Karsten Schmidt. An Operating Guideline Approach to the SOA. In 2nd South-East European Workshop on Formal Methods 2005 (SEEFM05), Ohrid, Republic of Macedonia, 2005. [PS]
- Peter Massuthe and Karsten Schmidt. Operating Guidelines - an Automata-Theoretic Foundation for the Service-Oriented Architecture. In Kai-Yuan Cai, Atsushi Ohnishi, and M.F. Lau, editors, Proceedings of the Fifth International Conference on Quality Software (QSIC 2005), Melbourne, Australia, pages 452-457, September 2005. IEEE Computer Society. [PDF]
- Peter Massuthe and Karsten Wolf. An Algorithm for Matching Nondeterministic Services with Operating Guidelines. In Frank Leymann, Wolfgang Reisig, Satish R. Thatte, and Wil M. P. van der Aalst, editors, The Role of Business Processes in Service Oriented Architectures, number 06291 of Dagstuhl Seminar Proceedings, 2006. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. [PDF]
- Kathrin Kaschner, Peter Massuthe, and Karsten Wolf. Symbolic Representation of Operating Guidelines for Services. Petri Net Newsletter, 72:21-28, April 2007.
Controllability
- Karsten Schmidt. Controllability of Open Workflow Nets. In Jörg Desel and Ulrich Frank, editors, Enterprise Modelling and Information Systems Architectures, volume P-75 of Lecture Notes in Informatics (LNI), Bonn, pages 236-249, 2005. Entwicklungsmethoden für Informationssysteme und deren Anwendung (EMISA, RWTH Aachen), Köllen Druck+Verlag GmbH. [PDF]
- Daniela Weinberg. Reduction Rules for Interaction Graphs. Informatik-Berichte 198, Humboldt-Universität zu Berlin, February 2006. [PDF]
Petri Net Semantics for BPEL
- Sebastian Hinz, Karsten Schmidt, and Christian Stahl. Transforming BPEL to Petri Nets. In W.M.P. van der Aalst, B. Benatallah, F. Casati, and F. Curbera, editors, Proceedings of the Third International Conference on Business Process Management (BPM 2005), volume 3649 of Lecture Notes in Computer Science, Nancy, France, pages 220-235, September 2005. Springer-Verlag. [SpringerLink]
- Christian Stahl. A Petri Net Semantics for BPEL. Informatik-Berichte 188, Humboldt-Universität zu Berlin, July 2005. [PDF]