kierberg.com http://www.kierberg.com Niels seine neue Seite Fri, 19 Sep 2008 21:11:12 +0000 http://backend.userland.com/rss092 en Non-Desynchronizable Service Choreographies http://www.kierberg.com/publikationen/icsoc2008/ Decompositional Calculation of Operating Guidelines Using Free Choice Conflicts http://www.kierberg.com/publikationen/awpn2008/ Why does my service have no partners? http://www.kierberg.com/publikationen/wsfm2008/ Correcting Deadlocking Service Choreographies Using a Simulation-Based Graph Edit Distance http://www.kierberg.com/publikationen/bpm2008/ Fixing Deadlocking Service Choreographies Using a Simulation-based Graph Edit Distance http://www.kierberg.com/publikationen/yrsoc2008-fix/ Automatic Test Case Generation for Services http://www.kierberg.com/publikationen/yrsoc2008-test/ Extending the Compatibility Notion for Abstract WS-BPEL Processes http://www.kierberg.com/publikationen/www2008/ Fully-automatic Translation of Open Workflow Net Models into Simple Abstract BPEL Processes http://www.kierberg.com/publikationen/modellierung2008/ A Feature-Complete Petri Net Semantics for WS-BPEL 2.0 and its Compiler BPEL2oWFN http://www.kierberg.com/publikationen/bpel-semantics/ A Feature-Complete Petri Net Semantics for WS-BPEL 2.0 http://www.kierberg.com/publikationen/wsfm2007-semantics/