Publications of the Business Process Technology Group

Books and Monographs

  • Alexander Grosskopf, Gero Decker and Mathias Weske. The Process - Business Process Modeling using BPMN. Meghan-Kiffer Press, 2009. http://www.bpmn-book.com

  • Weske, M. and Nüttgens, M.: EMISA 2006: Methoden, Konzepte und Technologien für die Entwicklung von dienstbasierten Informationssystemen. Volume P-95 of Lecture Notes in Informatics. Gesellschaft für Informatik e.V., October 2006.

  • Welfens, Paul J.J. and Weske, M. (Eds.): Innovations, Digital Economic Dynamics and Regulatory Policy. Springer-Verlag, 2006.

  • Pernici, B., Weske, M. (Eds.): Business Process Management: Special Issue Data and Knowledge Engineering, Volume 56, Issue 1. Elsevier: 2006. (online access; full text requires subscription)

  • Hirschfeld, R. and Kowalczyk, R. and Polze, A. and Weske, M (Eds.): NODe 2005, GSEM 2005, Erfurt, Germany, September 20-22, 2005. LNI 69 GI 2005, ISBN 3-88579-398-9

  • Weske, M., van der Aalst, W.M.P., Verbeek, H.M.V. (Eds.): Advances in Business Process Management. Special Issue Data and Knowledge Engineering, Volume 50, Issue 1. Elsevier: 2004.

  • Desel, J., Pernici, B., Weske, M. (Eds.): Second International Conference on Business Process Management. Springer Lecture Notes in Computer Sciencie 3080. Springer-Verlag, 2004.

  • Weske, M., Liggesmeyer, P. (Eds.): Net.ObjectDays'2004: Proceedings of the 5th Annual International Conference on Object-Oriented and Internet-based Technologies, Concepts, and Applications for a Networked World. Springer Lecture Notes in Computer Science LNCS 3263. Heidelberg: Springer 2004.

  • van der Aalst, W.M.P., ter Hofstede, A., Weske, M. (Eds.): Business Process Management. Proceedings of the International Conference on Business Process Management 2003. Springer Lecture Notes in Computer Science 2678. Heidelberg: 2003.

  • Desel, J., Weske, M. (Herausgeber): Promise 2002: Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen. GI-Edition Lecture Notes in Informatics Nr. P-21. Bonn: Gesellschaft für Informatik 2002 online.

  • Weske, M.: Workflow Management Systems: Formal Foundation, Conceptual Design, Implementation Aspects. Habilitationsschrift Fachbereich Mathematik und Informatik, Universität Münster 2000. pdf

  • Weske, M.: Deadlocks in Computersystemen. International Thomson Publishing, Bonn, 1995. ISBN 3-929821-11-7.

  • Weske, M.: Event-driven Model of Distributed Transaction Processing to Specify and Analyze Deadlock Algorithms in Distributed Database Systems. Dissertation. University of Koblenz 1993.

Journal Articles

  • Gero Decker, Oliver Kopp, Frank Leymann and Mathias Weske. Interacting Services: From Specification to Execution. Data & Knowledge Engineering, 2009 (to appear).

  • Gero Decker and Jan Mendling. Process Instantiation. Data & Knowledge Engineering, 2009 (to appear).

  • Gero Decker. Tool erlaubt Gestaltung im Web. Computer Zeitung 15, April 2009.

  • Gero Decker and Torben Schreiter. OMG releases BPMN 1.1 - What's changed? EMISA Forum 28(2), pp. 12-20, August 2008.

  • Gero Decker, Oliver Kopp and Alistair Barros. An Introduction to Service Choreographies. it - Information Technology 50 (2), pp. 122-127, 2008. Oldenbourg Wissenschaftsverlag, Munich, Germany (http://it-information-technology.de).

  • Gero Decker. Choreografiemodellierung - Eine Übersicht. Informatik Spektrum 31 (2), pp. 161-166, April 2008.

  • Johannes Maria Zaha, Marlon Dumas, Arthur H.M. ter Hofstede, Alistair Barros and Gero Decker. Bridging Global and Local Models of Service-oriented Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part C 38 (3), pp. 302-318. Special Issue on Enterprise Services Computing and Industrial Applications. 2008.

  • Johannes Maria Zaha, Marlon Dumas, Arthur H.M. ter Hofstede, Alistair Barros and Gero Decker. Bridging Global and Local Models of Service-oriented Systems. IEEE Transactions on Systems, Man, and Cybernetics, Part C. Special Issue on Enterprise Services Computing and Industrial Applications. (to appear)

  • Hündling, J., Weske, M.: Modeling Quality of Services in Service-Oriented Environments. Accepted for: The Transactions of the Society for Design and Process Science (SDPS), Journal of Design & Process Science. (to appear).

  • Kuropka, D., Weske, M.: Semantik in betrieblichen dienstebasierten Architekturen. In: ERP Management Vol 2, 2006. pp 31-35.

  • Kuropka, D., Weske, M.: Die Adaptive Services Grid Plattform: Motivation, Potenzial, Funktionsweise und Anwendungsszenarien. EMISA Forum Volume 26 No 1, pp 13-25. Januar 2006. ISSN 1610-3351. pdf

  • Pernici, B., Weske, M.: Business Process Management (Guest Editorial). In: Pernici, Weske (Eds.) Special Issue on Business Process Management of Data and Knowledge Engineering, Volume 56, Issue 1, pp 1-3. Elsevier: 2006.

  • Van der Aalst, W.M.P., and Weske, M., and Grünbauer, D.: Case handling: a new paradigm for business process support. In: Data and Knowledge Engineering 53 (2005) pp 129-162. Elsevier: 2005 pdf

  • Meyer, H.: Semantic Web Services, OBJEKTspektrum, online issue on service-oriented architectures, 4/2005, 2005.

  • Weske, M., van der Aalst, W.M.P., Verbeek, H.M.V.: Advances in Business Process Management. In: Data and Knolwledge Engineering Special Issue on Advances in Business Process Managment. Volume 50 Issue 1. pp 1-8. Elsevier: 2004.

  • Van der Aalst, W.M.P., Weske, M., Wirtz, G.: Advanced Topics in Workflow Management: Issues, Requirements, and Solutions.. Journal of Integrated Design and Process Science. Volume 7, Number 3. Austin: Society for Design and Process Science 2003 pdf.

  • Wirtz, G., Weske, M., Giese, H.: The OCoN Approach to Workflow Modeling in Object-Oriented Systems. Information Systems Frontiers. Special Issue on Workflow Automation and Business Process Integration (Editors: E. Stohr, L. Zhao). Volume 3, Number 3, pp. 357-376. Kluwer Academic Publishers 2001 pdf.

  • Hündling, J., Weske, M.: Web Services: Foundation and Composition. Electronic Markets Journal Vol. 13 No. 2, pp 108-119. Abingdon: 2003.

  • Weske, M., Schneider, B.: An XML-Centred System Architecture for Flexible Electronic Services. International Journal of Information Technology and Decision Making (IJITDM) Vol 1 No 3 pp 525-540. World Scientific Publishing Company, 2002.

  • Weske, M., Goesmann, T., Holten, R., Striemer, R.: Analysing, Modelling, and Improving Workflow Application Development Processes. Journal on Software Process Management Improvement and Practice. pp 35-46 Volume 6, Issue 1, Wiley 2001 pdf.

  • Weske, M.: Business-Objekte: Konzepte, Architekturen, Standards. Wirtschaftsinformatik 41 (1999) 1, 4-11: Wiederverwendbare und erweiterbare fachliche Komponenten für Anwendungssysteme. Wiesbaden: Vieweg 1999 pdf.

  • Weske, M.: Chancen und Grenzen von CSCW oder die Vision des Herrn V. (Kurzbeitrag) HMD - Praxis der Wirtschaftsinformatik. Themenheft Computer Supported Cooperative Work. Seiten 3-4. Heidelberg: dpunkt 2000.

  • Weske, M., Hündling, J., Kuropka, D., Schuschel, H.: Objektorientierter Entwurf eines flexiblen Workflow-Management-Systems. Informatik Forschung und Entwicklung Band 13 Heft 4, 179-195. Berlin: Springer 1998 pdf.

  • Weske, M.: State-based Modeling of Flexible Workflow Executions in Distributed Environments. Journal of Integrated Design and Process Science. Volume 3, Number 2, pp 49-62. Austin: Society for Design and Process Science 1999.

Chapters in Books

  • Artem Polyvyanyy, Sergey Smirnov, and Mathias Weske. Business Process Model Abstraction. In: International Handbook on Business Process Management, Springer-Verlag, 2009.

  • Schnieders, A., Puhlmann, F.: Variability Modeling and Product Derivation in E-Business Process Families. In Technologies for Information Systems. Berlin, Springer-Verlag (2007) 63-74.

  • Puhlmann, F.: On the Suitability of the Pi-Calculus for Business Process Management. In Technologies for Business Information Systems. Berlin, Springer-Verlag (2007) (51-62)

  • Schnieders, A. and Weske, M.: Activity Diagram Based Process Family Architectures for Enterprise Application Families. To appear. pdf.

  • Veijalainen, J., Weske, M.: Surveying Mobile Commerce Environments. Encyclopedia of Information Science and Technology (V) 2005: 2702-2711

  • Weske, M., Vossen, G., Puhlmann, F.: Workflow and Service Composition Languages. In: Bernus, P., Mertins, K., Schmidt, G. (Eds.): Handbook on Architectures of Information Systems; Series: International Handbooks on Information Systems. pp 369-390. 2nd Edition. Berlin: Springer 2005 pdf

  • Weske, M.: Deadlock Handling in Database Systems. Chapter 18 in: Zhou, Fanti (Editors): Deadlock Resolution in Computer-Integrated Systems, pp 635-657 Marcel Dekker Publisher: New York 2005

  • Veijalainen, J., Weske, M: Modeling Static Aspects of Mobile Electronic Commerce Environments. In: Lim, Siau (Editors) Advances in Mobile Commerce Technologies. Idea Group Publishing: 2003 pdf.

  • Vossen, G., Weske, M.: The WASA Approach to Workflow Management for Scientific Applications. In: A. Dogac, L. Kalinichenko, M.T. Özsu, A. Sheth (Eds.): Workflow Management Systems and Interoperability. ASI NATO Series, Series F: Computer and Systems Sciences, Vol. 164, pp 145-164. Berlin: Springer 1998 pdf.

  • Weske, M., Vossen, G.: Workflow Languages. In: P. Bernus, K. Mertins, G. Schmidt (Editors): Handbook on Architectures of Information Systems. (International Handbooks on Information Systems), pp 359-379. Berlin: Springer 1998 pdf.

  • Weske, M: Workflow-Spezifikation in FlowMark. (Kapitel 10.4) In: Workflow-Management: Entwicklung von Anwendungen und Systemen; Facetten einer neuen Technologie. S. Jablonski, M. Böhm, W. Schulze (Hrsg.). Heidelberg: dpunkt 1997.

  • Weske, M., Striemer, R.: Vorgehensmodelle. (Kapitel 10.2) In: Workflow-Management: Entwicklung von Anwendungen und Systemen; Facetten einer neuen Technologie. S. Jablonski, M. Böhm, W. Schulze (Hrsg.). Heidelberg: dpunkt 1997.

Conference and Workshop Articles

  • Artem Polyvyanyy, Luciano Garcia-Banuelos, and Mathias Weske. Unveiling Hidden Unstructured Regions in Process Models. Proceedings of the 17th International Conference on Cooperative Information Systems (CoopIS), Vilamoura, Portugal, November 2009.

  • Artem Polyvyanyy, Sergey Smirnov, and Mathias Weske. The Triconnected Abstraction of Process Models. Proceedings of the 7th International Conference on Business Process Management (BPM). Ulm, Germany, September 2009.

  • Alexander Grosskopf, Jan Brunnert, Stefan Wehrmeyer, Mathias Weske. BPMNCommunity.org: A Forum for Process Modeling Practitioners - A Data Repository for Empirical BPM Research. Proceedings of the 1st International Workshop on Empirical Research in Business Process Management (ER-BPM '09), (to appear) Ulm, Germany, September 2009.

  • Alexander Grosskopf, Jonathan Edelman, Mathias Weske. Tangible Business Process Modeling - Methodology and Experiment Design. Proceedings of the 1st International Workshop on Empirical Research in Business Process Management (ER-BPM '09), (to apear) Ulm, Germany, September 2009.

  • Jonathan Edelman, Alexander Grosskopf and Mathias Weske. Tangible Business Process Modeling: A New Approach. In Proceedings of the 17th International Conference on Engineering Design (ICED), Stanford University, CA, USA, August 2009 (to appear).

  • Matthias Weidlich, Alexander Grosskopf, and Alistair Barros. Realising Dead Path Elimination in BPMN. In Proceedings of the 1st International Workshop on BPMN, Vienna, Austria, July 2009.

  • Sergey Smirnov. Structural Aspects of Business Process Diagram Abstraction. In Proceedings of the 1st International Workshop on BPMN, Vienna, Austria, July 2009.

  • Matthias Weidlich, Alistair Barros, Jan Mendling, and Mathias Weske. Vertical Alignment of Process Models - How can we get there ?. CAiSE 2009 Workshop Proceedings, 10th Workshop on Business Process Modeling, Development, and Support (BPMDS'09), Amsterdam, The Netherlands, June 2009.

  • Dirk Fahland, Daniel Lübke, Jan Mendling, Hajo Reijers, Barbara Weber, Matthias Weidlich, and Stefan Zugal. Declarative versus Imperative Process Modeling Languages: The Issue of Understandability. In Proceedings of the 14th International Conference on Exploring Modeling Methods in Systems Analysis and Design (EMMSAD'09), Amsterdam, The Netherlands, June 2009.

  • Ahmed Awad, Sergey Smirnov, and Mathias Weske. Towards Resolving Compliance Violations in Business Process Models. Proceedings of the 2nd International Workshop on Governance, Risk and Compliance - Applications in Information Systems, Amsterdam, The Netherlands, June 2009.

  • Artem Polyvyanyy, Sergey Smirnov, and Mathias Weske. On Application of Structural Decomposition for Process Model Abstraction. In Proceedings of the 2nd International Conference on Business Process and Services Computing, Leipzig, Germany, March 2009.

  • Emilian Pascalau, Adrian Giurca. Towards enabling SaaS for Business Rules. In Proceedings of The International Workshop on Intelligent Service Management (ISM2009) volume P147, pages 207-219, LNI Series, Gesellschaft fur Informatik, Leipzig, Germany, March 2009.

  • Emilian Pascalau, Adrian Giurca, and Gerd Wagner. Validating Auction Business Processes using Agent-based Simulations. In Proceedings of 2nd International Conference on Business Process and Services Computing (BPSC2009), volume P147, pages 95-109, LNI Series, Gesellschaft fur Informatik, Leipzig, Germany, March 2009.

  • Matthias Weidlich, Alexander Grosskopf, Daniel Lübke, Kurt Schneider, Eric Knauss, and Leif Singer. Verzahnung von Requirements Engineering und Geschäftsprozessdesign. REBPM Workshop, Software Engineering 2009, Kaiserslautern, Germany, February 2009.

  • Gero Decker, Alistair Barros, Frank Michael Kraft and Niels Lohmann. Non-desynchronizable Service Choreographies. In Proceedings of the 6th International Conference on Service Oriented Computing (ICSOC), LNCS 5364, pp. 331-346, Sydney, Australia, December 2008.

  • Artem Polyvyanyy, Mathias Weske. Flexible Process Graph: A Prologue. In Proceedings of the 16th International Conference on Cooperative Information Systems (CoopIS), Monterrey, Mexico, November 2008.

  • Matthias Weidlich, Gero Decker, Alexander Großkopf and Mathias Weske. BPEL to BPMN: The Myth of a Straight-Forward Mapping. In Proceedings of the 16th International Conference on Cooperative Information Systems (CoopIS), Monterrey, Mexico, November 2008.

  • Artem Polyvyanyy, Sergey Smirnov, and Mathias Weske. Reducing Complexity of Large EPCs. In Proceedings of the 7th GI-Workshop Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten (EPK), Saarbrücken, Germany, November 2008.

  • Stefan Krumnow, Gero Decker and Mathias Weske. Modellierung von EPKs im Web mit Oryx. In Proceedings of the 7th GI-Workshop Geschäftsprozessmanagement mit Ereignisgesteuerten Prozessketten (EPK), Saarbrücken, Germany, November 2008.

  • Gero Decker, Hagen Overdick and Mathias Weske. Oryx - Sharing Conceptual Models on the Web. Demo Session of the 27th International Conference on Conceptual Modeling (ER), LNCS 5231, pp. 536-537, Barcelona, Spain, October 2008.

  • Artem Polyvyanyy, Sergey Smirnov, and Mathias Weske. Process Model Abstraction: A Slider Approach. In Proceedings of the 12th International Conference on Enterprise Distributed Object Computing (EDOC), München, Germany, September 2008.

  • Ahmed Awad, Artem Polyvyanyy, and Mathias Weske. Semantic Querying of Business Process Models. Proceedings of the 12th International Conference on Enterprise Distributed Object Computing (EDOC), München, Germany, September 2008.

  • Daniel Lübke, Kurt Schneider, and Matthias Weidlich. Visualizing Use Case Sets as BPMN Processes. In Proceedings of the Third International Workshop on Requirements Engineering Visualization (REV), Barcelona, Spain, September 2008.

  • Gero Decker and Jan Mendling. Instantiation Semantics for Process Models. In Proceedings of the 6th International Conference on Business Process Management (BPM), LNCS 5240, pp. 164-179, Milan, Italy, September 2008.

  • Gero Decker, Alexander Lueders, Hagen Overdick, Kai Schlichting and Mathias Weske. RESTful Petri Net Execution. In Proceedings of the 5th Workshop on Web Services and Formal Methods (WS-FM), Milan, Italy, September 2008.

  • Gero Decker, Lutz Gericke, Stefan Krumnow and Mathias Weske. Prozessmodellierung und -ausführung im Web. In Proceedings of Methoden, Konzepte und Technologien für die Entwicklung von dienstebasierten Informationssystemen (EMISA), Sankt Augustin, Germany, September 2008.

  • Gero Decker, Remco Dijkman, Marlon Dumas and Luciano Garcia-Banuelos. A Tool for Transforming BPMN to YAWL. Demo Session of the 6th International Conference on Business Process Management (BPM), LNCS 5240, pp. 386-389, Milan, Italy, September 2008.

  • Gero Decker, Hagen Overdick and Mathias Weske. Oryx - An Open Modeling Platform for the BPM Community. Demo Session of the 6th International Conference on Business Process Management (BPM), LNCS 5240, pp. 382-385, Milan, Italy, September 2008.

  • Ahmed Awad, Gero Decker and Mathias Weske. Efficient Compliance Checking using BPMN-Q and Temporal Logic. In Proceedings of the 6th International Conference on Business Process Management (BPM), LNCS 5240, pp. 326-341, Milan, Italy, September 2008.

  • Artem Polyvyanyy and Mathias Weske. Hypergraph-Based Modeling of Ad-Hoc Business Processes. In Proceedings of the 1st International Workshop on Process Management for Highly Dynamic and Pervasive Scenarios (PM4HDPS), Milan, Italy, September 2008.

  • Gero Decker and Mathias Weske. Instance Isolation Analysis for Service-Oriented Architectures. In Proceedings of the IEEE 2008 International Conference on Services Computing (SCC), Honolulu, Hawaii, USA, July 2008.

  • Gero Decker, Oliver Kopp, Frank Leymann, Kerstin Pfitzner and Mathias Weske. Modeling Service Choreographies using BPMN and BPEL4Chor. In Proceedings of the 20th International Conference on Advanced Information Systems Engineering (CAiSE), LNCS 5074, pp. 79-93, Montpellier, France, June 2008.

  • Ralf Knackstedt, Dominik Kuropka, Oliver Müller, and Artem Polyvyanyy. An Ontology-Based Service Discovery Approach for the Provisioning of Product-Service Bundles. In Proceedings of the 16th European Conference on Information Systems (ECIS), 1965-1977, Galway, Ireland, June 2008.

  • Gero Decker, Hagen Overdick, and Mathias Weske. Oryx - Sharing Conceptual Models on the Web. Demo Session of the 27th International Conference on Conceptual Modeling (ER), Barcelona, Spain, 2008.

  • Ahmed Awad and Frank Puhlmann. Structural Detection of Deadlocks in Business Process Models. Proceedings of the 11th International Conference on Business Information Systems (BIS), Insbruck, Austria, May 2008.

  • Hagen Overdick and Martin Czuchra. Potsdam Encoding for Models. In Proceedings of the IEEE 2008 International Conference on Services Computing (SCC), Honolulu, Hawaii, USA, 2008.

  • Matthias Weidlich, Gero Decker and Mathias Weske. Efficient Analysis of BPEL 2.0 Processes using pi-Calculus. In Proceedings of the IEEE Asia-Pacific Services Computing Conference (APSCC), Tsukuba Science City, Japan, December 2007.

  • Hagen Overdick. Towards Resource-Oriented BPEL. In Proceedings of 2nd Workshop on Emerging Web Services Technology, Halle (Saale), Germany, November 2007.

  • Hagen Overdick. The Resource-Oriented Architecture. In Proceedings of 2007 IEEE Congress on Services, Salt Lake City, Utah, USA, pages 340-347, IEEE, July 2007.

  • Matthias Weidlich, Gero Decker and Mathias Weske. Efficient Analysis of BPEL 2.0 Processes using pi-Calculus. Proceedings of the IEEE Asia-Pacific Services Computing Conference (APSCC), Tsukuba Science City, Japan, December 2007.

  • Gero Decker and Frank Puhlmann. Extending BPMN for Modeling Complex Choreographies. Proceedings of the 15th International Conference on Cooperative Information Systems (CoopIS), Vilamoura, Portugal, November 2007.

  • Gero Decker, Alexander Großkopf and Alistair Barros. A Graphical Notation for Modeling Complex Events in Business Processes. Proceedings of the 11th International Conference on Enterprise Distributed Object Computing (EDOC), Annapolis, USA, October 2007. IEEE Computer Society. pdf

  • 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.

  • Gero Decker and Alistair Barros. Interaction Modeling using BPMN. Proceedings of the 1st International Workshop on Collaborative Business Processes (CBP), Brisbane, Australia, September 2007. pdf

  • Gero Decker and Mathias Weske. Local Enforceability in Interaction Petri Nets. Proceedings of the 5th International Conference on Business Process Management (BPM), LNCS 4714, pp. 305-319, Brisbane, Australia, September 2007. Springer Verlag. pdf

  • Meyer, H.: Calculating the Semantic Conformance of Processes. In: Proceedings of the Advances in Semantics for Web services 2007 Workshop (semantics4ws) (2007). pdf

  • Gero Decker, Oliver Kopp, Frank Leymann and Mathias Weske. BPEL4chor: Extending BPEL for Modeling Choreographies. Proceedings of the IEEE 2007 International Conference on Web Services (ICWS), Salt Lake City, Utah, USA, July 2007. IEEE Copmuter Society. pdf

  • Decker, G. and Weske, M.: Behavioral Consistency for B2B Process Integration. Proceedings of the 19th International Conference on Advanced Information Systems Engineering (CAiSE), Trondheim, Norway, June 2007. (to appear)

  • Meyer, H., Kuropka, D., Tröger, P.: ASG - Techniques of Adaptivity. In: Proceedings of the Dagstuhl Seminar on Autonomous and Adaptive Web Services (2007). pdf

  • Schaffner, J., Meyer, H., Weske, M.: A Formal Model for Mixed Initiative Service Composition. In: Proceedings of The IEEE International Conference on Services Computing (SCC 2007), Salt Lake City, USA (2007). pdf

  • Gero Decker, Oliver Kopp and Frank Puhlmann. Service Referrals in BPEL-based Choreographies. Proceedings of the 2nd European Young Researchers Workshop on Service Oriented Computing (YR-SOC), Leicester, UK, June 2007. pdf

  • Alistair Barros, Gero Decker and Marlon Dumas. Multi-staged and Multi-viewpoint Service Choreography Modelling. Proceedings of the Workshop on Software Engineering Methods for Service Oriented Architecture (SEMSOA), CEUR Workshop Proceedings Vol. 244, Hannover, Germany, May 2007. pdf

  • Meyer, H.: On the Semantics of Service Compositions. In: Proceedings of The First International Conference on Web Reasoning and Rule Systems (RR 2007), Innsbruck, Austria (2007). pdf

  • Barros, A., Decker, G. and Großkopf, A.: Complex Events in Business Processes. Proceedings of the 10th International Conference on Business Information Systems (BIS), Poznan, Poland, April 2007. (to appear)

  • Decker, G. and von Riegen, M.: Scenarios and Techniques for Choreography Design. Proceedings of the 10th International Conference on Business Information Systems (BIS), Poznan, Poland, April 2007. (to appear)

  • Tröger, P., Meyer, H., Melzer, I., Flehmig, M.: Stateful Service Provisioning and Monitoring in a Service Composition Environment. In: Proceedings of Ithe 3rd nternational Conference on Web Information Systems and Technology (WEBIST 2007), Barcelona, Spain (2007).

  • Barros, A., Decker, G., Dumas, M., and Weber, F.: Correlation Patterns in Service-Oriented Architectures. Proceedings of the 9th International Conference on Fundamental Approaches to Software Engineering (FASE), Braga, Portugal, March 2007. (to appear)

  • Decker, G., Gersabeck, V., Schaffner J., and Seelig, M.: Architecture-Based Performance Simulation. Proceedings of the 2007 IAENG International Conference on Software Engineering, Hong Kong, China, March 2007. (to appear)

  • Giese, C., Schnieders, A., Weiland, J.: A Practical Approach for Process Family Engineering of Embedded Control Software. In Proceedings of the 14th Annual IEEE International Conference on the Engineering of Computer Based Systems ECBS 2007, IEEE Computer Society Press, 2007. (to appear)

  • Meyer, H. and Weske, M.: Light-Weight Semantic Service Annotations through Tagging. In: Proceedings of the 4th International Conference on Service Oriented Computing, Chicago, USA, Lecture Notes in Computer Science (LNCS), Vol. 4294, p. 465-470 (2006).pdf

  • Puhlmann, F., and Weske, M.: Interaction Soundness for Service Orchestrations. In A. Dan and W. Lamersdorf (Eds.): Proceedings of the 4th International Conference on Service Oriented Computing (ICSOC 2006), volume 4294 of LNCS, Chicago, USA, Springer Verlag (2006) 302-313 pdf

  • Kuropka, D., Vossen, G., and Weske, M.: Workflows in Computation Grids. In: Proceedings of the International Workshop on Workflow Systems in Grid Environments (WSGE06). IEEE Computer Science. Chengsta, China, October 2006. pdf

  • Kuropka, D., Bog, A., and Weske, M.: Semantic Enterprise Services Platform: Motivation, Potential, Functionality and Application Scenario. To appear: Proceedings of Tenth IEEE International Conference on Enterprise Computing (EDOC 2006). Hong Kong. Oct 2006 pdf

  • Meyer, H., Weske, M.: Automated Service Composition using Heuristic Search. In: Proceedings of the Fourth International Conference on Business Process Management (BPM 2006), Vienna, Austria, Lecture Notes in Computer Science (LNCS), Vol. 4102, p. 81-96 (2006). pdf

  • Puhlmann, F., Weske, M.: Investigations on Soundness Regarding Lazy Activities. In In S. Dustdar, J.L. Fiadeiro and A. Sheth (Eds.): Proceedings of the 4th International Conference on Business Process Management (BPM 2006), volume 4102 of LNCS, Vienna, Austria, Springer Verlag (2006) 145-160 pdf

  • Decker, G., Puhlmann, F., Weske, M.: Formalizing Service Interactions. In In S. Dustdar, J.L. Fiadeiro and A. Sheth (Eds.): Proceedings of the 4th International Conference on Business Process Management (BPM 2006), volume 4102 of LNCS, Vienna, Austria, Springer Verlag (2006) 414-419 pdf

  • Veijalainen, J. and Weske, M.: Reference Architecture for Semantic Service Provisioning Platform. Accepted for The IASTED International Conference on Web Technologies, Applications, and Services. Calgary, Canada, July 2006. pdf

  • Schaffner, J., Meyer, H., Tosun, C.: A Semi-automated Orchestration Tool for Service-based Business Processes. In: Proceedings of the 2nd International Workshop on Engineering Service-Oriented Applications: Design and Composition, Chicago, USA (2006). pdf

  • Meyer, H., Kuropka, D.: Requirements for Automated Service Composition. In: Business Process Management Workshops, Lecture Notes in Computer Science (LNCS), Vol. 4103, p. 439-450 (2006). pdf

  • Laures, G., Meyer, H., Hamann, T.,Möller, J., Sommer, P.: Evaluation von Open Source Produkten zur Ausführung Web Service-basierter Geschäftsprozesse. In: 1. GI-Workshop OpenBPM 2006: Geschäftsprozessmanagement mit Open Source-Technologien?, Hamburg, Germany (2006).

  • Schaffner, J., Meyer, H.: Mixed Initiative Use Cases for Semi-Automated Service Composition: A Survey. In: Proceedings of the International Workshop on Service Oriented Software Engineering, Shanghai, China (2006).

  • Zaha, J.M., Dumas, M., ter Hofstede, A.H.M., Barros, A., and Decker, G.: Service Interaction Modelling: Bridging Global and Local Views. Proceedings of the 10th International Conference on Enterprise Distributed Object Computing (EDOC), Hong Kong, China, October 2006. IEEE Computer Society. Preprint available at http://eprints.qut.edu.au/archive/00004032/

  • Barros, A. and Decker, G.: Dynamic Routing as Paradigm for Decentralized Flexible Process Management. Proceedings of the EDOC Workshop on Trends in Enterprise Architecture Research (TEAR) in conjunction with the 10th International Conference on Enterprise Distributed Object Computing (EDOC), Hong Kong, China, October 2006.

  • Decker, G., Overdick, H. and Zaha, J.M.: On the Suitability of WS-CDL for Choreography Modeling. Proceedings of Methoden, Konzepte und Technologien für die Entwicklung von dienstebasierten Informationssystemen (EMISA), volume P-95 of LNI, Hamburg, Germany, October 2006.

  • Decker, G., Zaha, J.M., and Dumas, M.: Execution Semantics for Service Choreographies. Proceedings of the 3rd Workshop on Web Services and Formal Methods (WS-FM) in conjunction with the 4th International Conference on Business Process Management (BPM), Vienna, Austria, September 2006. IEEE Computer Society. Preprint available at http://eprints.qut.edu.au/archive/00004329/

  • Decker, G., Kirov, M., Zaha, J.M., and Dumas, M.: Maestro for Let's Dance: An Environment for Modeling Service Interactions. Proceedings of the Demo Session of the 4th International Conference on Business Process Management (BPM), Vienna, Austria, September 2006.

  • Decker, G., Puhlmann, F., and Weske, M.: Formalizing Service Interactions. Proceedings of the 4th International Conference on Business Process Management (BPM), Vienna, Austria, September 2006. Springer Verlag.

  • Schnieders, A., Puhlmann, F.: Variability Mechanisms in E-Business Process Families. In W. Abramowicz, H. Mayr (Eds.): 9th International Conference on Business Information Systems (BIS 2006), volume P-85 of LNI, Bonn, Gesellschaft für Informatik 583-601, 2006.

  • Schnieders, A.: Variability Mechanism Centric Process Family Architectures. In Proceedings of the 13th Annual IEEE International Conference on the Engineering of Computer Based Systems ECBS 2006, pp. 289-298, IEEE Computer Society Press, 2006.

  • Schnieders, A.: Modeling and Implementing Variability in State Machine Based Process Family Architectures for Automotive Systems. 3rd International Workshop on Software Engineering for Automotive Systems - SEAS 2006. In Proceedings of the 28th international Conference on Software Engineering (Shanghai, China, May 20 - 28, 2006). ICSE '06. ACM Press, New York, NY, 1034-1034.

  • Schnieders, A.: On the Architectural Relevance of Variability Mechanisms in Product Family Engineering. In Proceedings of the Workshop on Managing Variability for Software Product Lines: Working With Variability Mechanisms, Baltimore, August 21, 2006, in conjunction with the 10th International Software Product Line Conference (SPLC 2006), IESE-Report No. 152.06/E, pp 97-107.

  • Bayer, J., Giese, C., Forster, T., Lehner, T., Schnieders, A., Weiland, J.: Process Family Engineering in Automotive Control Systems – A Case Study. In Proceedings of the Workshop on Generative Programming and Component Engineering for QoS Provisioning in Distributed Systems, in conjunction with the 5th International Conference for Generative Programming and Component Engineering (GPCE 2006), Portland, 2006.

  • Puhlmann, F.: A Unified Formal Foundation for Service Oriented Architectures. In M. Weske and M. Nuettgens (eds.): EMISA 2006, volume P-95 of LNI, Hamburg, Germany (2006) Download

  • Bog, A., Puhlmann, F.: A Tool for the Simulation of Pi-Calculus Systems. Open.BPM 2006: Geschäftsprozessmanagement mit Open Source-Technologien, Hamburg (2006), Germany Download

  • Puhlmann, F.: A Tool Chain for Lazy Soundness. Demo Session of the 4th International Conference on Business Process Management, CEUR Workshop Proceedings Vol. 203, Vienna, Austria (2006) 9-16 Download

  • Puhlmann, F.: Why do we actually need the Pi-Calculus for Business Process Management? In W. Abramowicz, H. Mayr (Eds.): 9th International Conference on Business Information Systems (BIS 2006), volume P-85 of LNI, Klagenfurt, Austria, Gesellschaft für Informatik (2006) 77-89 Download

  • Overdick, H., Puhlmann, F., Weske, M.: Towards a Formal Model for Agile Service Discovery and Integration, In Proceedings of the ICSOC Workshop on Dynamic Web Processes at the 3rd International Conference on Service-Oriented Computing, pages 25–37. IBM Tech Report RC 23822, 2005. pdf.

  • Overdick, H., and Meyer, H., and Weske, M.: Plaengine: A System for Automated Service Composition and Process Enactment. Accepted for: WWW Service Composition with Semantic Web Services. Compiegne, France, September 19, 2005 pdf.

  • Puhlmann, F. and Weske, M.: Using the Pi-Calculus for Formalizing Workflow Patterns. Proceedings of the Third International Conference on Business Process Management (BPM'2005). Springer LNCS 3649, pp 153-168. Springer: Berlin Heidelberg, 2005 pdf.

  • Gajewski, M., Meyer, H., Momotko, M., Schuschel, H., Weske, M.: Dynamic Failure Recovery of Generated Workflows. In Proceedings of the 16th International Conference and Workshop on Database and Expert Systems Applications, pp 982-986. IEEE Computer Society Press, 2005. pdf

  • Schuschel, H., Weske, M.: Plaengine: Ein System zur Planung und Ausführung von Workflows. BTW 2005: Datenbanksysteme in Business, Technologie und Web, 11. Fachtagung des GI-Fachbereichs "Datenbanken und Informationssysteme", LNI 65 GI, pp 225-234, 2005. pdf

  • Hündling, J., Sievers, J. and Weske, M.: NaXDB - Realizing Pipelined XQuery Processing in a Native XML Database System. Accepted for the 2nd International Workshop on XQuery Implementation, Experience and Perspectives (XIME-P 2005) June 16-17, 2005, Baltimore, Maryland, USA. (In cooperation with ACM SIGMOD/PODS Conference 2005) pdf

  • Meyer, H.: ASG: Towards the Adaptive Semantic Services Enterprise (Special Session). In: Proceedings of WWW Service Composition with Semantic Web Services, p. 2. University of Technology of Compiègne, 2005.

  • Kuropka, D.: Formal proof of adequacy of document pre-processing in IF and IR. In: Proceedings of the 8th International Conference on Business Information Systems, Poznan, Poland, 2005. pdf

  • Kuropka, D.: Uselessness of simple co-occurrence measures for IF&IR - a linguistic point of view. In: Proceedings of the 8th International Conference on Business Information Systems, Poznan, Poland, 2005. pdf

  • Decker, G: Bridging the Gap between Business Processes and existing IT Functionality. Proceedings of the 1st International Workshop on Design of Service-Oriented Applications (WDSOA), pp. 17-24, ICSOC, Amsterdam, The Netherlands, December 2005.

  • Schnieders, A., Puhlmann, F.: Activity Diagram Inheritance. In Proceedings of the 8th International Conference on Business Information Systems BIS, Poznan, Poland, April 20-22 2005.

  • Schuschel, H., Weske, M.: Triggering Replanning in an Integrated Workflow Planning and Enactment System. 8th East European Conference on Advances in Databases and Information Systems (ADBIS-04), Springer LNCS 3255. 2004 pdf

  • Hündling, J. and Weske, M.: Modeling Quality of Services in Service Oriented Environments. Proceedings of the 1st International Symposium on Leveraging Applications of Formal Methods (ISoLA 2004), 30th October - 2nd November 2004, Paphos, Cyprus. pdf

  • Schuschel, H., Weske, M.: Integrated Workflow Planning and Coordination. In: Marik, V., Retschitzegger, W. Stepankova, O. (Editors): 14th International Conference on Database and Expert Systems Applications, pp 771-781. Springer LNCS 2736. pdf

  • Schuschel, H., Weske, M.: Automated Planning in a Service-Oriented Architecture. In Proceedings of the 13th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, pp 75-80. IEEE Computer Society Press, 2004. pdf

  • van der Aalst, W.M.P., ter Hofstede, A.H.M., and Weske, M.: Business Process Management: A Survey. In: Proceedings of BPM'2003. pp 1-12. Springer LNCS 2678. Heidelberg: 2003 pdf.

  • Schuschel, H., Weske, M.: Fallbehandlung: Ein neuer Ansatz zur Unterstützung Prozessorientierter Informationssysteme. In: Desel, Weske (Hrsg.) Promise 2002: Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen. GI-Edition Lecture Notes in Informatics Nr. P-21. pp 52-63. Bonn: Gesellschaft für Informatik 2002 pdf.

  • Van der Aalst, W.M.P., M. Weske: The P2P Approach to Interorganizational Workflows. In: Dittrich, K. R., Geppert, A., Norrie, M. C. (Eds.) Proceedings of the 13th Conference on Advanced Information Systems Engineering (CAiSE'01), pp 140-156. Springer Lecture Notes in Computer Science 2068. Heidelberg: Springer 2001 pdf.

  • Weske, M., Wirtz, G.: Integrated Modeling of Distributed Software Systems and Workflow Applications. (Minitrack Introduction). In Sprague (Editor): Proceedings of the Thirty-Fourth Annual Hawaii International Conference on System Science (HICSS-34); Software Technology Track. Los Alamitos: IEEE Computer Society Press 2001.

  • Weske, M.: Flexible Workflow Management: Adapt and Bend, but Don't Break!. (Panel Position Statement) In: Dittrich, K. R., Geppert, A., Norrie, M. C. (Eds.) Proceedings of the 13th Conference on Advanced Information Systems Engineering (CAiSE'01). Panel "Flexible Support of Work Processes - Balancing the Support of Organisations and Workers", pp 477-481. Springer Lecture Notes in Computer Science 2068. Heidelberg: Springer 2001.

  • Weske, M.: Formal Foundation and Conceptual Design of Dynamic Adaptations in a Workflow Management System. In Sprague (Editor): Proceedings of the Thirty-Fourth Annual Hawaii International Conference on System Science (HICSS-34) Minitrack Internet and Workflow Automation: Technical and Managerial Issues. Los Alamitos: IEEE Computer Society Press 2001.

  • Weske, M., Goesmann, T., Holten, R., Striemer, R.: A Reference Model for Workflow Application Development Processes. In D. Georgakopoulos, W. Prinz, A.L. Wolf (Eds.) Proceedings of International Joint Conference on Work Activities Coordination and Collaboration (WACC), pp 1-10. ACM 1999. pdf

  • Weske, M.: Object-Oriented Design of a Flexible Workflow Management System. Second East-European Symposium on Advances in Databases and Information Systems ADBIS'98, Sept 8-11 1998, Poznan, Poland. Springer Lecture Notes in Computer Science 1475, pp 119-130. Berlin: Springer pdf.

  • Wirtz, G., Weske, M., Giese, H: Extending UML with Workflow Modeling Capabilities. In: Etzion, Scheuermann (Editors): 7th International Conference on Cooperative Information Systems (CoopIS'2000), pp 30-41. Springer LNCS 1901. Berlin: Springer 2000 pdf.

  • Vossen, G., Weske, M.: The WASA2 Object-Oriented Workflow Management System. In Proceedings of the 1999 ACM SIGMOD Conference on Management of Data, pp 587-589. New York: ACM 1999 pdf.

  • Kuropka, D., Weske, M.: Transparent and Flexible Storage of Application Objects in CORBA Environments. Demonstration at ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications. OOPSLA'00 Companion, pp 169-170. New York: ACM 2000 pdf.

  • Weske, M.: Workflow Management Through Distributed and Persistent CORBA Workflow Objects.. In Jarke, Oberweis (Eds.): Proc. 11th International Conference on Advanced Information Systems Engineering (CAiSE'99), pp 446-450. Springer Lecture Notes in Computer Science 1626, Berlin: Springer 1999 pdf.

  • Weske, M., Vossen, G., Bauzer Medeiros, C., Pires, F.: Workflow Management in Geoprocessing Applications. In Proc. 6th ACM International Symposium Geographic Information Systems (ACM GIS'98), 88-93, 1998.

  • Siebert, R., Weske, M.: Flexibilität und Kooperation in Workflow-Management-Systemen. In: Th. Herrmann, K. Just-Hahn (Hrsg.) Groupware und organisatorische Innovation (D-CSCW'98). Stuttgart: Teubner 1998, 347-348.

  • Weske, M.: Flexible Modeling and Execution of Workflow Activities. In Proceedings of 31st Hawai'i International Conference on System Sciences, Software Technology Track (Vol VII), 713-722. IEEE Computer Society Press 1998.

  • Weske, M.: State-based Modeling of Flexible Workflow Executions in Distributed Environments. In Proceedings of The Third Biennial World Conference on Integrated Design and Process Technology (IDPT), Volume 2: Issues and Applications of Database Technology, pp 94-101. Society for Design and Process Science (Editors: T. Ozsu, A. Dogac, O. Ulusoy) Berlin, July 1998.

  • Holten, R., Striemer, R., Weske, M.: Vergleich von Ansätzen zur Entwicklung von Workflow-Anwendungen. In: A. Oberweis; H. Sneed (Hrsg.): Software Management '97, Fachtagung der Gesellschaft für Informatik, Oktober 1997 in München. Teubner, 1997, 258-274..

  • Medeiros, C.B., Vossen, G., Weske, M.: GEO-WASA - Combining GIS Technology with Workflow Management. In Proceedings of the Seventh Israeli Conference on Computer Systems and Software Engineering, Herzliya, Israel, June 12-13. pp 129-139. IEEE Computer Society Press, Los Alamitos, CA, 1996.

  • Meidanis, J., Vossen, G., Weske, M.: Using Workflow Management in DNA Sequencing. In Proceedings of the First IFCIS International Conference on Cooperative Information Systems CoopIS'96, June 19-21, 1996, Brussels, Belgium. pp 114-123. IEEE Computer Society Press, Los Alamitos, CA, 1996.

  • Medeiros, C.B., Vossen, G., Weske, M.: WASA: A Workflow-Based Architecture to Support Scientific Database Applications. Proceedings of the 6th DEXA Conference (Editors: N. Revell, A. M. Tjoa), Springer LNCS 978, pp 574-583, London 1995.

BPT Technical Reports

  • Ahmed Awad, Matthias Kunze, Sherif Sakr, and Mathias Weske. Design By Selection: A Query-based Approach for Business Process Modeling. BPT Technical Report 12-2010. pdf
  • Matthias Weidlich, Remco Dijkman, and Mathias Weske. Deciding Behaviour Compatibility of Complex Correspondences between Process Models. BPT Technical Report 11-2010. pdf
  • Matthias Weidlich, Artem Polyvyanyy, Jan Mendling, and Mathias Weske. Efficient Computation of Causal Behavioural Profiles using Structural Decomposition. BPT Technical Report 10-2010. pdf
  • Matthias Weidlich, Jan Mendling, and Mathias Weske. Computation of Behavioural Profiles of Processes Models. BPT Technical Report 08-2009. pdf
  • Polyvyanyy, A.: Structural Abstraction of Process Specifications. BPT Technical Report 07-2009. pdf
  • Awad, A., Weidlich, M., Weske, M.: Specification, Verification and Explanation of Violation for Data Aware Compliance Rules. BPT Technical Report 06-2009. pdf
  • Weidlich, M., Decker, G., Barros, A., Weske, M.: Towards Vertical Alignment of Process Models - A Collection of Mismatches. BPT Technical Report 05-2009. pdf
  • Awad, A., Grosskopf, A., Meyer, A., Weske, M.: Enabling Resource Assignment Constraints in BPMN. BPT Technical Report 04-2009. pdf
  • Awad, A., Decker, G., Lohmann, N.: Diagnosing and Repairing Data Anomalies in Process Models. BPT Technical Report 03-2009. pdf
  • Awad, A., Weske, M.: Visualization of Compliance Violation Using Anti-patterns. BPT Technical Report 02-2009. pdf
  • Decker, G., Kowalkiewicz, M., Lu, R., Maschke, P., Weske, M.: Re-evaluation of Business Processes. BPT Technical Report 01-2009. pdf

Diploma and Master Theses

  • Decker, G.: Process Choreographies in Service-oriented Environments. Master Thesis, Hasso-Plattner-Institute, University of Potsdam, Germany, October 2006. Available as pdf

  • Bog, A.: Development of a Visual Simulation Environment for the Pi-Calculus. Master Thesis, Hasso-Plattner-Institute, University of Potsdam, Germany, 2006.

  • Hammerl, K.: Model-Driven Configuration for Managing Business Process Variability in Enterprise Resource Planning Systems. Master Thesis, Hasso-Plattner-Institute, University of Potsdam, Germany, 2007.

  • Stock, S.:_Enterprise Service Discovery on the Basis of Metadata_. Master Thesis, Hasso-Plattner-Institute, University of Potsdam, Germany, 2006.

  • Meyer, H.: Entwicklung und Realisierung einer Planungskomponente für die Komposition von Diensten. Diploma thesis at the University of Potsdam, Institute of Computer Science, 2005.

  • Overdick, H.: Entwurf und Implementierung von Prozesssteuerungskomponenten in service-orientierten Umgebungen, Master Thesis, Hasso Plattner Institut für IT Systems Engineering an der Universität Potsdam, Potsdam, 2004 pdf

  • Polyvyanyy, A.: Evaluation of a Novel Information Retrieval Model: eTVSM. Master Thesis at the University of Potsdam, Hasso Plattner Institute, Chair of Prof. Dr. Mathias Weske, 2007. Thesis_Artem_Polyvyanyy.pdf

Bachelor Theses

  • Gericke, L.: Execution Perspective for Ad-Hoc Business Processes. pdf
  • Kleine, M.: Extending Galaxy Composer with Ad-Hoc Constructs.
  • Koglin, A.: Scenarios, Usability and XForms in Ad-Hoc Business Processes. pdf
  • Nagora, M.: Roles and Delegation in Ad-Hoc Business Processes. pdf
  • Maschke, P.: Execution and Re-evaluation of BPMN Processes. pdf
  • Krumnow, S.: Modeling and Executing Ad-Hoc Subprocesses in Different Environments. pdf

Seminar Papers

Seminar Information Filtering and Retrieval - Winter Term 2005/2006

  • Artem S. Polyvyanyy: Evaluation Design of Information Retrieval System with eTVSM Specific Extensions. ArtemPolyvyanyy.pdf
  • Sergey Smirnov: Personal Information Agent System Design. SergeySmirnov.pdf
  • Lars Trieloff: Feedfilter Developer Guide. LarsTrieloff.pdf

Business Process Management II - Winter Term 2005/2006

This seminar reader contains the papers of the seminar part of the lecture Business Process Management II, held in the winter term 2005/2006 at the Hasso-Plattner-Institute. Master students of IT systems engineering discussed and researched current topics in the area of business process management. Each paper contained in this seminar reader was accompanied by a conference-style talk. ReaderBPM2.pdf (6.7MB)

  • Anja Bog: Concepts for a Pi-Calculus Simulator
  • Gero Decker: Formalizing Service Interactions
  • René Freude: Comparing the Capabilities of the Pi-Calculus and Extended Petri Nets Regarding the BPM Domain
  • Paul Bouché: Internal.WS-CDL and Pi-Calculus
  • Anna Ploskonos: Semi-automated service composition
  • Jan Schaffner: Mixed-Initiative Use Case for Semi-Automated Service Composition: A Survey
  • Volker Gersabeck: Automated Workflow Planning in Agent-Based Semantic grids
  • Sergey Smirnov: Case Study: Web Service Composition Framework
  • Kay Hammerl: Modeling Variability in State Machine Based Process Family Architectures for Automotive Systems
  • Alexander Saar: System Integration via Service Enabling
  • Martin Breest: Specifying Service Landscapes

Prozessmodellierung - Summer Term 2004 (in German)

Dieser Seminarreader zum Thema Prozessmodellierung ist das Ergebnis eines Bachelor-Seminars, welches im Sommersemester 2004 am Hasso-Plattner-Institut für Softwaresystemtechnik an der Universität Potsdam durchgeführt wurde. Studenten des zweiten und dritten Studienjahres der Softwaresystemtechnik modellierten Prozesse aus verschiedenen Bereichen, erstellten und hielten Präsentation und verfassten Berichte, welche in diesem Seminarreader zusammengefasst sind. Das Seminar wurde im Rahmen des Drittmittelprojektes PESOA durchgeführt. ReaderPM-Part1.pdf (8.6MB), ReaderPM-Part2.pdf (9.2MB)

  • Phillip Sommer: Modellierung einer Motorsteuerung mit UML Statecharts und Sequenzdiagrammen
  • Anja Bog: Technische Prozesse – Motorsteuerung 2 (UML 2.0 Activity Diagrams)
  • Alexander Saar: Prozesse im Automobilbau
  • Silvan T. Golega: Themenbereich Verwaltung: Beschaffungsprozesse am HPI
  • Kay Hammerl: Modellierung der Studien- und Prüfungsordnungen
  • Udo Werner: Modellierung von Verwaltungsprozessen
  • Lars Triefloff: Amazon.com
  • Thomas Hille: Otto.de – Modellierung eines WebShops
  • Christian Liesegang: Modeling and Designing Processes in E-Commerce
  • Dominik R. Tornow: Ebay
  • Torsten Hahmann: Modellierung von Hotel-Reservierungs-Systemen
  • Mario Oschwald: Das Geschäftsprozessmodell von GMX.de und eine Betrachtung der Business Process Modelling Notation (BPMN)
  • Florian Brodersen: Modellierung des Auskunfts- und Buchungssystemes Bahn.de
  • Der Softwareentwicklungsprozess von SAP Berlin: Gero Decker

Process-oriented Information Systems - Summer Term 2003

In the summer term 2003 the seminar Process-oriented Information Systems was held at the Hasso Plattner Institute (HPI) for Software Systems Engineering at the University of Potsdam. This collection of papers represents the topics in this seminar. Master students of Software Systems Engineering at HPI prepared the material presented in the seminar and summarized in this report. The basic idea of this seminar was to gather knowledge in the field of process-orientation, and especially processes executed within complex information systems. Furthermore, the students dealt with to conceptual as well as to practical aspects of process technology. ReaderPoIS.pdf (3.3MB)

  • Marc Förster: Theory of Business Process Modelling: The Pi-Calculus
  • Catharina Gramlich: Business Process Analysis
  • Christian W. Günther: Flexibility In Workflow Management Systems
  • Hagen Overdick: Implementation Concepts for Workflow Patterns
  • Sebastian H. Schenk : Prolegomena to Software Product Lines
  • Peter Aschenbrenner: Interactive Groupware Systems
  • Jakob Magiera: A New Approach to Business Process Support: Case Handling
  • Harald Meyer: Using AI Planning Algorithms To Support Business Process Modeling
  • Antje Rogotzki: Workflow in ERP Systems
  • Anne Rozinat: Process Mining