union jack
Publikationen
HU-Logo
Institut für Informatik

Publikationen des Jahres 2007

Dissertationen und Habilitationen

  • Bixia Wu. Entwurf und Verifikation von Petrinetzmodellen verteilter Algorithmen durch Verfeinerung unverteilter Algorithmen. Dissertation, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, July 2007. icon icon ABSTRACTBIBTEX

Publikationen in Zeitschriften und Büchern

  • Wil M. P. van der Aalst, Michael Beisiegel, Kees M. van Hee, Dieter König, and Christian Stahl. An SOA-based architecture framework. International Journal of Business Process Integration and Management (IJBPIM), 2(2): 91-101, 2007. icon icon ABSTRACTBIBTEX

  • Kathrin Kaschner, Peter Massuthe, and Karsten Wolf. Symbolic Representation of Operating Guidelines for Services. Petri Net Newsletter, 72: 21-28, April 2007. icon BIBTEX

  • Peter Massuthe and Karsten Wolf. An Algorithm for Matching Non-deterministic Services with Operating Guidelines. International Journal of Business Process Integration and Management (IJBPIM), 2(2): 81-90, 2007. ABSTRACTBIBTEX

  • Wolfgang Reisig. The Decent Philosophers: An Exercise in Concurrent Behaviour. Fundamenta Informaticae, 80(1-3): 273-281, November 2007. icon icon ABSTRACTBIBTEX

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

Konferenzbeiträge und Beiträge auf Workshops

  • Dirk Fahland. A Formal Approach to Adaptive Processes using Scenario-based Concepts.. 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), Siedlce, Poland, pages 71--85, June 2007. University of Podlasie. icon ABSTRACTBIBTEX

  • Dirk Fahland. Modeling and Verifying Declarative Workflows. In Dagstuhl ''zehn plus eins'', Aachen, pages 135, 2007. Verlagshaus Mainz. BIBTEX

  • Dirk Fahland. Synthesizing Petri nets from LTL specifications - An engineering approach. In Stephan Philippi and Alexander Pinl, editors, Proceedings 14.Workshop Algorithmen und Werkzeuge für Petrinetze (AWPN), Arbeitsbericht aus dem Fach Informatik, Nr. 25/2007, Universität Koblenz-Landau, D, pages 69--74, September 2007. icon ABSTRACTBIBTEX

  • Dirk Fahland. Towards Analyzing Declarative Workflows. In Jana Koehler, Marco Pistore, Amit P. Sheth, Paolo Traverso, and Martin Wirsing, editors, Autonomous and Adaptive Web Services, number 07061 of Dagstuhl Seminar Proceedings, 2007. Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany. icon icon ABSTRACTBIBTEX

  • Dirk Fahland, Timo M. Gläßer, Bastian Quilitz, Stephan Weißleder, and Ulf Leser. HUODINI - Flexible Information Integration for Disaster Management. In 4th International Conference on Information Systems for Crisis Response and Management (ISCRAM), Delft, NL, 2007. Note: Revised version submitted to a special issue of IEEE DSonline. icon ABSTRACTBIBTEX

  • Andreas Glausch. A Semantic Characterization of Elementary Wide-Step ASMs. In Proceedings of the 14th International ASM Workshop, June 2007. icon icon BIBTEX

  • Andreas Glausch and Wolfgang Reisig. A Semantic Characterization of Unbounded-Nondeterministic ASMs. In Proceedings of the 2nd Conference on Algebra and Coalgebra in Computer Science, volume 4624 of Lecture Notes in Computer Science, August 2007. icon ABSTRACTBIBTEX

  • Andreas Glausch and Wolfgang Reisig. An ASM-Characterization of a Class of Distributed Algorithms. In Proceedings of the Dagstuhl Seminar on Rigorous Methods for Software Construction and Analysis, Festschrift volume of Lecture Notes in Computer Science, 2007. Springer. Note: To appear. icon BIBTEX

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

  • Niels Lohmann, Peter Massuthe, and Karsten Wolf. Behavioral Constraints for Services. In Gustavo Alonso, Peter Dadam, and Michael Rosemann, editors, Business Process Management, 5th International Conference, BPM 2007, Brisbane, Australia, September 24-28, 2007, Proceedings, volume 4714 of Lecture Notes in Computer Science, pages 271-287, September 2007. Springer-Verlag. icon icon ABSTRACTBIBTEX

  • Niels Lohmann, Peter Massuthe, and Karsten Wolf. Operating Guidelines for Finite-State Services. In Jetty Kleijn and Alex Yakovlev, editors, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings, volume 4546 of Lecture Notes in Computer Science, pages 321-341, 2007. Springer-Verlag. icon icon ABSTRACTBIBTEX

  • Simon Moser, Axel Martens, Katharina Görlach, Wolfram Amme, and Artur Godlinski. Advanced Verification of Distributed WS-BPEL Business Processes Incorporating CSSA-based Data Flow Analysis. In IEEE International Conference on Services Computing (SCC 2007), pages 98-105, 2007. icon ABSTRACTBIBTEX

  • Wolfgang Reisig, Jan Bretschneider, Dirk Fahland, Niels Lohmann, Peter Massuthe, and Christian Stahl. Services as a Paradigm of Computation. In Cliff B. Jones, Zhiming Liu, and Jim Woodcock, editors, Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines Bjorner and Chaochen Zhou on the Occasion of Their 70th Birthdays, Papers presented at a Symposium held in Macao, China, September 24-25, 2007, volume 4700 of Lecture Notes in Computer Science, pages 521-538, September 2007. Springer-Verlag. icon icon ABSTRACTBIBTEX

Technische Berichte

  • Wil M. P. van der Aalst, Michael Beisiegel, Kees M. van Hee, Dieter König, and Christian Stahl. A SOA-Based Architecture Framework. Computer Science Report 07/02, Technische Universiteit Eindhoven, The Netherlands, January 2007. icon ABSTRACTBIBTEX

  • Wil M. P. van der Aalst, Peter Massuthe, Arjan J. Mooij, Christian Stahl, and Karsten Wolf. Erratum -- Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Informatik-Berichte 213, Humboldt-Universität zu Berlin, June 2007. icon BIBTEX

  • Wil M. P. van der Aalst, Peter Massuthe, Christian Stahl, and Karsten Wolf. Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. Informatik-Berichte 213, Humboldt-Universität zu Berlin, June 2007. Note: There is an erratum. icon ABSTRACTBIBTEX

  • Kees M. van Hee, Natalia Sidorova, Christian Stahl, and H. M. W. Verbeek. A Price of Service in a Compositional SOA Framework. Computer Science Report 07/16, Technische Universiteit Eindhoven, The Netherlands, July 2007. icon icon ABSTRACTBIBTEX

  • Bodo Hohberg, Wolfgang Reisig, and Bixia Wu. Entwurf und Verifikation nachrichtenbasierter verteilter Algorithmen durch verteilende Verfeinerung. Informatik-Berichte 216, Humboldt-Universität zu Berlin, 2007. icon ABSTRACTBIBTEX

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

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

  • Niels Lohmann, Peter Massuthe, and Karsten Wolf. Behavioral Constraints for Services. Informatik-Berichte 214, Humboldt-Universität zu Berlin, May 2007. icon ABSTRACTBIBTEX

  • Niels Lohmann, H. M. W. Verbeek, Chun Ouyang, Christian Stahl, and Wil M. P. van der Aalst. Comparing and Evaluating Petri Net Semantics for BPEL. Computer Science Report 07/23, Technische Universiteit Eindhoven, The Netherlands, August 2007. icon icon ABSTRACTBIBTEX

Studien- und Diplomarbeiten

  • Jan Bretschneider. Produktbedienungsanleitungen zur Charakterisierung austauschbarer Services. Diplomarbeit, Humboldt-Universität zu Berlin, March 2007. icon ABSTRACTBIBTEX

  • Christian Gierds. Ein schärferes Kriterium für die Wahl von Endzuständen in Bedienungsanleitungen, Liberalsten Partnern und Public Views. Studienarbeit, Humboldt-Universität zu Berlin, October 2007. icon ABSTRACTBIBTEX

  • Alexandra Julius. Abstrakte Datenflussmodelle für GALS-Schaltungen zum Nachweis nicht-funktionaler Eigenschaften. Diplomarbeit, Humboldt-Universität zu Berlin, May 2007. icon ABSTRACTBIBTEX

  • Andreas Kerlin. Bedienbarkeit unter Kausalität. Diplomarbeit, Humboldt-Universität zu Berlin, Mathematisch-Naturwissenschaftliche Fakultät II, January 2007. icon BIBTEX

  • Jens Kleine. Transformation von offenen Workflow-Netzen zu abstrakten WS-BPEL-Prozessen. Diplomarbeit, Humboldt-Universität zu Berlin, July 2007. icon ABSTRACTBIBTEX

  • Peter Laufer. Public-View-Generierung. Diplomarbeit, Humboldt-Universität zu Berlin, November 2007. icon ABSTRACTBIBTEX

  • Nannette Liske. Laufzeitersetzbarkeit von Services. Studienarbeit, Humboldt-Universität zu Berlin, April 2007. icon BIBTEX

  • Gerrit Müller. Strukturelle Analyse von offenen Workflow-Netzen hinsichtlich Bedienbarkeit. Studienarbeit, Humboldt-Universität zu Berlin, January 2007. icon BIBTEX

  • Alexander Schulz. Zielgerichtete Strategien. Studienarbeit, Humboldt-Universität zu Berlin, July 2007. icon BIBTEX

  • Manja Wolf. Synchrone und asynchrone Kommunikation in offenen Workflownetzen. Studienarbeit, Humboldt-Universität zu Berlin, May 2007. icon BIBTEX

zurück zur Übersicht zurück zur Übersicht

Theorie der Programmierung | Kontakt | XHTML 1.0 | Fri Sep 11 16:30:32 2009