Publikationen des Jahres 2008

B�cher und Konferenzb�nde

Dirk Fahland, Daniel Sadilek, Markus Scheidgen, and Stephan Weissleder, editors. Proceedings of the Workshop on Domain-Specific Modeling Languages (DSML'08), Berlin, Germany, March 14, volume 324 of CEUR Workshop Proceedings, 2008. CEUR-WS.org.
Thomas K�hne, Wolfgang Reisig, and Friedrich Steimann, editors. Modellierung 2008, 12.-14. M�rz 2008, Berlin, Proceedings, volume P-127 of Lecture Notes in Informatics (LNI), March 2008. GI.

Publikationen in Zeitschriften und B�chern

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.
Niels Lohmann, Eric Verbeek, Chun Ouyang, and Christian Stahl. Comparing and Evaluating Petri Net Semantics for BPEL. IJBPIM, 2008. Note: (Accepted for publication).
Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, and Karsten Wolf. Can I find a Partner? Undecidablity of Partner Existence for Open Nets. Information Processing Letters, 108(6): 374--378, November 2008.
Wolfgang Reisig. Abstract State Machines for the Classroom - The Basics. Logics of Specification Languages, pp 15-46, 2008.
Wolfgang Reisig. The Scholten/Dijkstra Pebble Game Played Straightly, Distributely, Online and Reversed. Pillars of Computer Science, LNCS, 4800, 2008.
Wolfgang Reisig. The computable kernel of Abstract State Machines. Theoretical Computer Science, 409: 126-136, August 2008.
Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, and Karsten Wolf. Multiparty Contracts: Agreeing and Implementing Interorganizational Processes. The Computer Journal, 2008. Note: (Accepted for publication).

Konferenzbeitr�ge und Beitr�ge auf Workshops

Wil M. P. van der Aalst, Niels Lohmann, Peter Massuthe, Christian Stahl, and Karsten Wolf. From Public Views to Private Views -- Correctness-by-Design for Services. 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, volume 4937 of Lecture Notes in Computer Science, pages 139-153, 2008. Springer-Verlag.
Dirk Fahland. Adaptive und Selbststabilisierende Workflows. In Malte Diehl, Henrik Lipskoch, Roland Meyer, and Christian Storm, editors, Proceedings des gemeinsamen Workshops der Graduiertenkollegs, Trustworthy Software Systems, Berlin, pages 55--56, 2008. Gito-Verlag.
Dirk Fahland. Oclets -- Scenario-Based Modeling with Petri Nets. In Niels Lohmann and Karsten Wolf, editors, Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008, volume 380 of CEUR Workshop Proceedings, pages 1-6, September 2008. CEUR-WS.org.
Dirk Fahland and Heiko Woith. Towards Process Models for Disaster Response. In Business Process Management Workshops, International Workshop on Process Management for Highly Dynamic and Pervasive Scenarios (PM4HDPS), co-located with 6th International Conference on Business Process Management (BPM'08), volume 17 of Lecture Notes in Business Information Processing, Milan, Italy, pages 254-265, September 2008. Springer.
Christian Gierds. Finding Cost-Efficient Adapters. In Niels Lohmann and Karsten Wolf, editors, Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008, volume 380 of CEUR Workshop Proceedings, pages 37-42, September 2008. CEUR-WS.org.
Dieter K�nig, Niels Lohmann, Simon Moser, Christian Stahl, and Karsten Wolf. Extending the Compatibility Notion for Abstract WS-BPEL Processes. In Wei-Ying Ma, Andrew Tomkins, and Xiaodong Zhang, editors, Proceedings of the 17th International Conference on World Wide Web, WWW 2008, Beijing, China, April 21--25, 2008, pages 785-794, April 2008. ACM.
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, volume 4937 of Lecture Notes in Computer Science, pages 77-91, 2008. Springer-Verlag.
Niels Lohmann. Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance. In Marlon Dumas and Manfred Reichert, editors, Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 1--4, 2008, Proceedings, volume 5240 of Lecture Notes in Computer Science, pages 132-147, September 2008. Springer-Verlag.
Niels Lohmann. Decompositional Calculation of Operating Guidelines Using Free Choice Conflicts. In Niels Lohmann and Karsten Wolf, editors, Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008, volume 380 of CEUR Workshop Proceedings, pages 63-68, September 2008. CEUR-WS.org.
Niels Lohmann. Why does my service have no partners?. In Roberto Bruni and Karsten Wolf, editors, Web Services and Formal Methods, Fifth International Workshop, WS-FM 2008, Milan, Italy, September 4-5, 2008, Proceedings, Lecture Notes in Computer Science, September 2008. Springer-Verlag.
Niels Lohmann and Jens Kleine. Fully-automatic Translation of Open Workflow Net Models into Human-readable Abstract BPEL Processes. In Thomas K�hne, Wolfgang Reisig, and Friedrich Steimann, editors, Modellierung 2008, 12.-14. M�rz 2008, Berlin, Proceedings, volume P-127 of Lecture Notes in Informatics (LNI), pages 57-72, March 2008. GI.
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, volume 4937 of Lecture Notes in Computer Science, pages 46-60, 2008. Springer-Verlag.
Peter Massuthe and Daniela Weinberg. Fiona: A Tool to Analyze Interacting Open Nets. In Niels Lohmann and Karsten Wolf, editors, Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008, volume 380 of CEUR Workshop Proceedings, pages 99-104, September 2008. CEUR-WS.org.
Wolfgang Reisig. Towards a Theory of Services. In Guenther Fliedl (Eds.) Roland Kaschek, Christian Kop, Claudia Steinberger, editor, Information Systems and e-Business Technologies, 2nd International United Information Systems Conference, UNISCON 2008, Klagenfurt, Austria, pages 22-25, April 2008. Springer-Verlag.
Chistian Stahl and Karsten Wolf. An Approach to Tackle Livelock-Freedom in SOA. In Niels Lohmann and Karsten Wolf, editors, Proceedings of the 15th German Workshop on Algorithms and Tools for Petri Nets, AWPN 2008, Rostock, Germany, September 26--27, 2008, volume 380 of CEUR Workshop Proceedings, pages 69-74, September 2008. CEUR-WS.org.
Christian Stahl and Karsten Wolf. Covering Places and Transitions in Open Nets. In Marlon Dumas and Manfred Reichert, editors, Business Process Management, 6th International Conference, BPM 2008, Milan, Italy, September 1-4, 2008, Proceedings, volume 5240 of Lecture Notes in Computer Science, pages 116-131, September 2008. Springer-Verlag.
Daniela Weinberg. Efficient Controllability Analysis of Open Nets. In Roberto Bruni and Karsten Wolf, editors, Web Services and Formal Methods, Fifth International Workshop, WS-FM 2008, Milan, Italy, September 4--5, 2008, Proceedings, Lecture Notes in Computer Science, September 2008. Springer-Verlag.

Technische Berichte

Dirk Fahland. Oclets - a formal approach to adaptive systems using scenario-based concepts. Informatik-Berichte 223, Humboldt-Universit�t zu Berlin, 2008.
Dirk Fahland. Translating UML2 Activity Diagrams Petri Nets for analyzing IBM WebSphere Business Modeler process models. Informatik-Berichte 226, Humboldt-Universit�t zu Berlin, 2008.
Christian Gierds, Arjan J. Mooij, and Karsten Wolf. Specifying and generating behavioral service adapter based on transformation rules. Preprint CS-02-08, Universit�t Rostock, Rostock, Germany, August 2008.
Peter Massuthe, Alexander Serebrenik, Natalia Sidorova, and Karsten Wolf. Can I find a Partner?. Preprint CS-01-08, Universit�t Rostock, Rostock, Germany, March 2008.
Christian Stahl, Peter Massuthe, and Jan Bretschneider. Deciding Substitutability of Services with Operating Guidelines. Informatik-Berichte 222, Humboldt-Universit�t zu Berlin, April 2008.
Kees M. van Hee, H.M.W. Verbeek, Christian Stahl, and Natalia Sidorova. A Framework for Linking and Pricing No-Cure-No-Pay Services. Computer Science Report 08/19, Technische Universiteit Eindhoven, Eindhoven, The Netherlands, June 2008.

Studien- und Diplomarbeiten

Rico Bergmann. Vergleich von Werkzeugen zur computergestuetzten Verifiktion von Petrinetzmodellen. Studienarbeit, Humboldt-Universit�t zu Berlin, July 2008.
Christian Gierds. Strukturelle Reduktion von Bedienungsanleitungen. Diplomarbeit, Humboldt-Universit�t zu Berlin, January 2008.
Katharina G�rlach. Ein Verfahren zur abstrakten Interpretation von XPath-Ausdr�cken in WS-BPEL-Prozessen. Diplomarbeit, Humboldt-Universit�t zu Berlin, March 2008.
Daniel Janusz. Implementierung zweier Algorithmen zur Abstraktion von Petrinetzen. Studienarbeit, Humboldt-Universit�t zu Berlin, April 2008.
Patrick K�hnen. Synthese offener Workflownetze aus Serviceautomaten. Diplomarbeit, Humboldt-Universit�t zu Berlin, January 2008.
Nanette Liske. Laufzeitersetzung offener Workflownetze. Diplomarbeit, Humboldt-Universit�t zu Berlin, July 2008.
Thomas Pillat. Gegen�berstellung struktureller Reduktionstechniken f�r Petrinetze. Diplomarbeit, Humboldt-Universit�t zu Berlin, March 2008.
Konstanze Swist. Modellierung des Workflows der Task Force Erdbeben des GFZ mit Petrinetzen. Studienarbeit, Humboldt-Universit�t zu Berlin, October 2008.
Manja Wolf. Erstellung einer modellbasierten Laufzeitumgebung f�r adaptive Prozesse. Diplomarbeit, Humboldt-Universit�t zu Berlin, September 2008.

zur�ck zur �bersicht

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