riddl 0.99.135 → 0.99.136

Sign up to get free protection for your applications and to get access to all the features.
Files changed (40) hide show
  1. data/TODO +0 -1
  2. data/examples/declaration-test/main.log +57 -0
  3. data/examples/flickr/Exif/riddl.new.jpg +0 -0
  4. data/examples/flickr/Flickr/flickr.frob +1 -0
  5. data/examples/flickr/Flickr/flickr.token +1 -0
  6. data/examples/properties/server.properties.xml +1 -1
  7. data/examples/twitter/twitter.consumer_key +1 -0
  8. data/examples/twitter/twitter.consumer_secret +1 -0
  9. data/examples/twitter/twitter.token +1 -0
  10. data/examples/twitter/twitter.token_secret +1 -0
  11. data/examples/twitter/twitter.user_id +1 -0
  12. data/examples/xmpp/blather/description.xml +981 -0
  13. data/examples/xmpp/blather/direct.rb +44 -0
  14. data/examples/xmpp/blather/load.rb +18 -0
  15. data/examples/xmpp/blather/pp.rb +40 -0
  16. data/examples/xmpp/blather/test.rb +32 -0
  17. data/examples/zotero/litlist.html +540 -0
  18. data/examples/zotero/zotero.consumer_key +1 -0
  19. data/examples/zotero/zotero.consumer_secret +1 -0
  20. data/examples/zotero/zotero.token +1 -0
  21. data/examples/zotero/zotero.token_secret +1 -0
  22. data/examples/zotero/zotero.user_id +1 -0
  23. data/lib/ruby/riddl/client.rb +6 -3
  24. data/riddl.gemspec +1 -1
  25. metadata +207 -202
  26. data/examples/notifications/notifications/39c3b39ec3e48a514948e4981f4459d2/consumer-secret +0 -1
  27. data/examples/notifications/notifications/39c3b39ec3e48a514948e4981f4459d2/producer-secret +0 -1
  28. data/examples/notifications/notifications/39c3b39ec3e48a514948e4981f4459d2/subscription.xml +0 -9
  29. data/examples/notifications/notifications/5d68b08a13e622aada13e3c182ea9390/consumer-secret +0 -1
  30. data/examples/notifications/notifications/5d68b08a13e622aada13e3c182ea9390/producer-secret +0 -1
  31. data/examples/notifications/notifications/5d68b08a13e622aada13e3c182ea9390/subscription.xml +0 -9
  32. data/examples/notifications/notifications/893edd178c053a011c09f253fa85092f/consumer-secret +0 -1
  33. data/examples/notifications/notifications/893edd178c053a011c09f253fa85092f/producer-secret +0 -1
  34. data/examples/notifications/notifications/893edd178c053a011c09f253fa85092f/subscription.xml +0 -9
  35. data/examples/notifications/notifications/9f5921176e6876aca3af4428b1ccafd1/consumer-secret +0 -1
  36. data/examples/notifications/notifications/9f5921176e6876aca3af4428b1ccafd1/producer-secret +0 -1
  37. data/examples/notifications/notifications/9f5921176e6876aca3af4428b1ccafd1/subscription.xml +0 -9
  38. data/examples/notifications/notifications/c457779f6e2c086d8cf1cd9b44d8950e/consumer-secret +0 -1
  39. data/examples/notifications/notifications/c457779f6e2c086d8cf1cd9b44d8950e/producer-secret +0 -1
  40. data/examples/notifications/notifications/c457779f6e2c086d8cf1cd9b44d8950e/subscription.xml +0 -9
@@ -0,0 +1,44 @@
1
+ #!/usr/bin/ruby
2
+ # encoding: UTF-8
3
+ require 'rubygems'
4
+ require 'blather/client/dsl'
5
+ require 'xml/smart'
6
+ require 'pp'
7
+
8
+ XR_NS = 'http://riddl.org/ns/xmpp-rest'.freeze
9
+
10
+ class Stanza < Blather::Stanza
11
+ def self.new
12
+ node = super :message
13
+ node.type = :normal
14
+ node.id = SecureRandom.uuid
15
+ node
16
+ end
17
+ end
18
+
19
+ module Test
20
+ extend Blather::DSL
21
+ def self.run; client.run; end
22
+
23
+ setup 'jürgen@fp7-adventure.eu', 'mangler'
24
+ when_ready do
25
+ p 'sss'
26
+ stanza = Stanza.new
27
+ node = XML::Smart::Dom::Element.new(stanza)
28
+ stanza.to = "adventure_processinstantiation@fp7-adventure.eu"
29
+ n = node.add 'part', "a" * 1000045
30
+ n.namespaces.add(nil,XR_NS)
31
+ s = stanza.to_s
32
+ puts s.length
33
+ write_to_stream stanza
34
+ puts 'a'
35
+ sleep 10000
36
+ puts 'b'
37
+ end
38
+ end
39
+
40
+ trap(:INT) { EM.stop }
41
+ trap(:TERM) { EM.stop }
42
+ EM.run do
43
+ Test.run
44
+ end
@@ -0,0 +1,18 @@
1
+ #!/usr/bin/ruby
2
+ # encoding: UTF-8
3
+ require 'rubygems'
4
+ require 'riddl/client'
5
+
6
+ srv = Riddl::Client.new("xmpp://adventure_processinstantiation@fp7-adventure.eu","http://fp7-adventure.eu:9296/?riddl-description",:jid => 'jürgen@fp7-adventure.eu', :pass => 'mangler', :debug => STDOUT)
7
+ res = srv.resource("/")
8
+ status, response = res.post [
9
+ Riddl::Parameter::Complex.new("xml","application/xml",File.read('description.xml')),
10
+ Riddl::Parameter::Simple.new("targetmode","ready")
11
+ ]
12
+ p status
13
+ ins = response[0].value
14
+ p ins
15
+
16
+ res = srv.resource("/#{ins}")
17
+ status, response = res.get
18
+ p status
@@ -0,0 +1,40 @@
1
+ # encoding: UTF-8
2
+ require 'rubygems'
3
+ require 'blather/client/dsl'
4
+ $stdout.sync = true
5
+
6
+ module Ping
7
+ extend Blather::DSL
8
+ def self.run; client.run; end
9
+
10
+ setup 'jürgen@fp7-adventure.eu', 'mangler'
11
+
12
+ status do |s|
13
+ p s
14
+ puts "serve!"
15
+ say s.from, 'ping'
16
+ end
17
+
18
+ message :chat?, :body => 'pong' do |m|
19
+ puts "ping!"
20
+ say m.from, 'ping'
21
+ end
22
+ end
23
+
24
+ module Pong
25
+ extend Blather::DSL
26
+ def self.run; client.run; end
27
+
28
+ setup 'adventure_processexecution@fp7-adventure.eu', 'adventure_processexecution'
29
+ message :chat?, :body => 'ping' do |m|
30
+ puts "pong!"
31
+ say m.from, 'pong'
32
+ end
33
+ end
34
+
35
+ trap(:INT) { EM.stop }
36
+ trap(:TERM) { EM.stop }
37
+ EM.run do
38
+ Ping.run
39
+ Pong.run
40
+ end
@@ -0,0 +1,32 @@
1
+ # encoding: UTF-8
2
+ require 'rubygems'
3
+ require 'blather/client/dsl'
4
+
5
+ module App
6
+ extend Blather::DSL
7
+
8
+ def self.run
9
+ EM.run { client.run }
10
+ end
11
+
12
+ setup 'jürgen@fp7-adventure.eu', 'mangler'
13
+
14
+ when_ready do
15
+ puts "i'm ready"
16
+ end
17
+
18
+ # Auto approve subscription requests
19
+ subscription :request? do |s|
20
+ write_to_stream s.approve!
21
+ end
22
+
23
+ # Echo back what was said
24
+ message :chat?, :body do |m|
25
+ write_to_stream m.reply
26
+ end
27
+ end
28
+
29
+ trap(:INT) { EM.stop }
30
+ trap(:TERM) { EM.stop }
31
+
32
+ App.run
@@ -0,0 +1,540 @@
1
+ <h2>Process Model Translation</h2>
2
+ <div class="csl-bib-body" style="line-height: 1.35; ">
3
+ <div class="csl-entry" style="clear: left; ">
4
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[1]</div>
5
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">M. Weidlich, G. Decker, A. Gro&#xDF;kopf, and M. Weske, &#x201C;BPEL to BPMN: The myth of a straight-forward mapping,&#x201D; <i>On the Move to Meaningful Internet Systems: OTM 2008</i>, pp. 265&#x2013;282, 2008.</div>
6
+ </div>
7
+ <div class="csl-entry" style="clear: left; ">
8
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[2]</div>
9
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">J. C. Recker and J. Mendling, &#x201C;On the translation between BPMN and BPEL: Conceptual mismatch between process modeling languages,&#x201D; in <i>The 18th International Conference on Advanced Information Systems Engineering. Proceedings of Workshops and Doctoral Consortium</i>, 2006, pp. 521&#x2013;532.</div>
10
+ </div>
11
+ <div class="csl-entry" style="clear: left; ">
12
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[3]</div>
13
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">A. Polyvyanyy, J. Vanhatalo, and H. V&#xF6;lzer, &#x201C;Simplified computation and generalization of the refined process structure tree,&#x201D; <i>Web Services and Formal Methods</i>, pp. 25&#x2013;41, 2011.</div>
14
+ </div>
15
+ <div class="csl-entry" style="clear: left; ">
16
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[4]</div>
17
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">J. Vanhatalo, H. V&#xF6;lzer, and J. Koehler, &#x201C;The refined process structure tree,&#x201D; <i>Data &amp; Knowledge Engineering</i>, vol. 68, no. 9, pp. 793&#x2013;818, 2009.</div>
18
+ </div>
19
+ </div>
20
+
21
+ <h2>Forecasting & Simulation</h2>
22
+ <div class="csl-bib-body" style="line-height: 1.35; ">
23
+ <div class="csl-entry" style="clear: left; ">
24
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[1]</div>
25
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">F. J. Damerau, &#x201C;A technique for computer detection and correction of spelling errors,&#x201D; <i>Communications of the ACM</i>, vol. 7, no. 3, pp. 171&#x2013;176, 1964.</div>
26
+ </div>
27
+ <div class="csl-entry" style="clear: left; ">
28
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[2]</div>
29
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">T. M. McCarthy and S. L. Golicic, &#x201C;Implementing collaborative forecasting to improve supply chain performance,&#x201D; <i>International Journal of Physical Distribution &amp; Logistics Management</i>, vol. 32, no. 6, pp. 431&#x2013;454, Aug. 2002.</div>
30
+ </div>
31
+ <div class="csl-entry" style="clear: left; ">
32
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[3]</div>
33
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">M. M. Helms, L. P. Ettkin, and S. Chapman, &#x201C;Supply chain forecasting &#x2013; Collaborative forecasting supports supply chain management,&#x201D; <i>Business Process Management Journal</i>, vol. 6, no. 5, pp. 392&#x2013;407, Dec. 2000.</div>
34
+ </div>
35
+ <div class="csl-entry" style="clear: left; ">
36
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[4]</div>
37
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">W. M. P. van der Aalst, &#x201C;Business Process Simulation Revisited,&#x201D; in in <i>Enterprise and Organizational Modeling and Simulation</i>, J. Barjis, Ed. Springer Berlin Heidelberg, 2010, pp. 1&#x2013;14.</div>
38
+ </div>
39
+ <div class="csl-entry" style="clear: left; ">
40
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[5]</div>
41
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">A. Rozinat, M. T. Wynn, W. M. P. van der Aalst, A. H. M. ter Hofstede, and C. J. Fidge, &#x201C;Workflow simulation for operational decision support,&#x201D; <i>Data &amp; Knowledge Engineering</i>, vol. 68, no. 9, pp. 834&#x2013;850, Sep. 2009.</div>
42
+ </div>
43
+ </div>
44
+
45
+ <h2>Communication Technology</h2>
46
+ <div class="csl-bib-body" style="line-height: 1.35; ">
47
+ <div class="csl-entry" style="clear: left; ">
48
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[1]</div>
49
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">A. Barros, G. Decker, M. Dumas, and F. Weber, &#x201C;Correlation Patterns in Service-Oriented Architectures,&#x201D; in <i>Fundamental Approaches to Software Engineering</i>, vol. 4422, M. Dwyer and A. Lopes, Eds. Springer Berlin / Heidelberg, 2007, pp. 245&#x2013;259.</div>
50
+ </div>
51
+ <div class="csl-entry" style="clear: left; ">
52
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[2]</div>
53
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">JCloud Community, &#x201C;JClouds.&#x201D; .</div>
54
+ </div>
55
+ <div class="csl-entry" style="clear: left; ">
56
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[3]</div>
57
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">J. Wagener, O. Spjuth, E. L. Willighagen, and J. E. Wikberg, &#x201C;XMPP for cloud computing in bioinformatics supporting discovery and invocation of asynchronous web services,&#x201D; <i>BMC Bioinformatics</i>, vol. 10, no. 1, p. 279.</div>
58
+ </div>
59
+ </div>
60
+
61
+ <h2>Processes and Compliance</h2>
62
+ <div class="csl-bib-body" style="line-height: 1.35; ">
63
+ <div class="csl-entry" style="clear: left; ">
64
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[1]</div>
65
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">P. Grefen, N. Mehandjiev, G. Kouvas, G. Weichhart, and R. Eshuis, &#x201C;Dynamic business network process management in instant virtual enterprises,&#x201D; <i>Comput. Ind.</i>, vol. 60, no. 2, pp. 86&#x2013;103, Feb. 2009.</div>
66
+ </div>
67
+ <div class="csl-entry" style="clear: left; ">
68
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[2]</div>
69
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">M. P. Papazoglou, &#x201C;The Challenges of Service Evolution,&#x201D; in <i>Proceedings of the 20th international conference on Advanced Information Systems Engineering</i>, Berlin, Heidelberg, 2008, pp. 1&#x2013;15.</div>
70
+ </div>
71
+ <div class="csl-entry" style="clear: left; ">
72
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[3]</div>
73
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">M. Reichert and T. Bauer, &#x201C;Supporting Ad-Hoc Changes in Distributed Workflow Management Systems,&#x201D; in <i>On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS</i>, vol. 4803, R. Meersman and Z. Tari, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 150&#x2013;168.</div>
74
+ </div>
75
+ <div class="csl-entry" style="clear: left; ">
76
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[4]</div>
77
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">S. Rinderle, M. Reichert, and P. Dadam, &#x201C;Flexible Support of Team Processes by Adaptive Workflow Systems,&#x201D; <i>Distributed and Parallel Databases</i>, Jul-2004. [Online]. Available: http://www.springerlink.com/content/k54776285582p21g/. [Accessed: 01-Feb-2013].</div>
78
+ </div>
79
+ <div class="csl-entry" style="clear: left; ">
80
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[5]</div>
81
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">B. Weber, M. Reichert, W. Wild, and S. Rinderle, &#x201C;Balancing Flexibility and Security in Adaptive Process Management Systems,&#x201D; Nov-2005. [Online]. Available: http://www.springerlink.com/content/d94fx02fwpjxpama/. [Accessed: 01-Feb-2013].</div>
82
+ </div>
83
+ <div class="csl-entry" style="clear: left; ">
84
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[6]</div>
85
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">B. Weber, M. Reichert, W. Wild, and S. Rinderle-Ma, &#x201C;Providing Integrated Life Cycle Support in Process-Aware Information Systems,&#x201D; <i>Int&#x2019;l Journal of Cooperative Information Systems (IJCIS)</i>, Mar-2009. [Online]. Available: http://dbis.eprints.uni-ulm.de/269/. [Accessed: 01-Feb-2013].</div>
86
+ </div>
87
+ <div class="csl-entry" style="clear: left; ">
88
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[7]</div>
89
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">M. Weske, &#x201C;Workflow Management Systems: Formal Foundation, Conceptual Design, Implementation Aspects,&#x201D; 2000.</div>
90
+ </div>
91
+ <div class="csl-entry" style="clear: left; ">
92
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[8]</div>
93
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">M. Reichert, S. Rinderle, U. Kreher, and P. Dadam, &#x201C;Adaptive Process Management with ADEPT2,&#x201D; in <i>Proceedings of the 21st International Conference on Data Engineering</i>, Washington, DC, USA, 2005, pp. 1113&#x2013;1114.</div>
94
+ </div>
95
+ <div class="csl-entry" style="clear: left; ">
96
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[9]</div>
97
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">M. Reichert, P. Dadam, and T. Bauer, &#x201C;Dealing with Forward and Backward Jumps in Workflow Management Systems,&#x201D; <i>Informatik - Forschung und Entwicklung</i>, Apr-2004. [Online]. Available: http://www.springerlink.com/content/qg2pxeyb7kqgy2bp/. [Accessed: 01-Feb-2013].</div>
98
+ </div>
99
+ <div class="csl-entry" style="clear: left; ">
100
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[10]</div>
101
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">J. Mangler and S. Rinderle-Ma, &#x201C;Rule-Based Synchronization of Process Activities,&#x201D; in <i>2011 IEEE 13th Conference on Commerce and Enterprise Computing (CEC)</i>, 2011, pp. 121&#x2013;128.</div>
102
+ </div>
103
+ <div class="csl-entry" style="clear: left; ">
104
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[11]</div>
105
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">G. Stuermer, J. Mangler, and E. Schikuta, &#x201C;Building a modular service oriented workflow engine,&#x201D; in <i>Service-Oriented Computing and Applications (SOCA), 2009 IEEE International Conference on</i>, 2010, pp. 1&#x2013;4.</div>
106
+ </div>
107
+ <div class="csl-entry" style="clear: left; ">
108
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[12]</div>
109
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">J. Mangler, G. Stuermer, and E. Schikuta, &#x201C;Cloud Process Execution Engine-Evaluation of the Core Concepts,&#x201D; <i>Arxiv preprint arXiv:1003.3330</i>, 2010.</div>
110
+ </div>
111
+ <div class="csl-entry" style="clear: left; ">
112
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[13]</div>
113
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">M. Jensen and N. Gruschka, &#x201C;Privacy Against the Business Partner: Issues for Realizing End-to-End Confidentiality in Web Service Compositions,&#x201D; in <i>Database and Expert Systems Application, 2009. DEXA&#x2019;09. 20th International Workshop on</i>, 2009, pp. 117&#x2013;121.</div>
114
+ </div>
115
+ <div class="csl-entry" style="clear: left; ">
116
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[14]</div>
117
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">ILOG, &#x201C;ILOG JRules and IBM MQWF &#x2013; White Paper.&#x201D;</div>
118
+ </div>
119
+ <div class="csl-entry" style="clear: left; ">
120
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[15]</div>
121
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">W. M. P. van der Aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf, &#x201C;Multiparty Contracts: Agreeing and Implementing Interorganizational Processes,&#x201D; <i>The Computer Journal</i>, vol. 53, no. 1, pp. 90&#x2013;106, Jan. 2010.</div>
122
+ </div>
123
+ <div class="csl-entry" style="clear: left; ">
124
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[16]</div>
125
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">S. Rinderle-Ma and M. Leitner, &#x201C;On Evolving Organizational Models without Loosing Control on Authorization Constraints in Web Service Orchestrations,&#x201D; presented at the IEEE Conference on Electronic Commerce, 2010.</div>
126
+ </div>
127
+ <div class="csl-entry" style="clear: left; ">
128
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[17]</div>
129
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">M. Montali, M. Pesic, W. M. P. van der Aalst, F. Chesani, P. Mello, and S. Storari, &#x201C;Declarative specification and verification of service choreographiess,&#x201D; <i>ACM Trans. Web</i>, vol. 4, no. 1, pp. 1&#x2013;62, 2010.</div>
130
+ </div>
131
+ <div class="csl-entry" style="clear: left; ">
132
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[18]</div>
133
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">K. Wolf, &#x201C;Does My Service Have Partners?,&#x201D; in <i>Transactions on Petri Nets and Other Models of Concurrency II</i>, 2009, pp. 152&#x2013;171.</div>
134
+ </div>
135
+ <div class="csl-entry" style="clear: left; ">
136
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[19]</div>
137
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">W. van der Aalst, A. Mooij, C. Stahl, and K. Wolf, &#x201C;Service Interaction: Patterns, Formalization, and Analysis,&#x201D; in <i>Formal Methods for Web Services</i>, 2009, pp. 42&#x2013;88.</div>
138
+ </div>
139
+ <div class="csl-entry" style="clear: left; ">
140
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[20]</div>
141
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">Chris McClean, &#x201C;The Forrester Wave<sup>TM</sup>: Enterprise
142
+ Governance, Risk, And
143
+ Compliance Platforms, Q3 2009,&#x201D; 2009.</div>
144
+ </div>
145
+ <div class="csl-entry" style="clear: left; ">
146
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[21]</div>
147
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">F. Caldwell, C. Casper, and T. Eid, &#x201C;Magic Quadrant for Enterprise Governance, Risk and Compliance Platforms,&#x201D; Gartner Group, 2009.</div>
148
+ </div>
149
+ <div class="csl-entry" style="clear: left; ">
150
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[22]</div>
151
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">W. van der Aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf, &#x201C;From Public Views to Private Views &#x2013; Correctness-by-Design for Services,&#x201D; in <i>Web Services and Formal Methods</i>, 2008, pp. 139&#x2013;153.</div>
152
+ </div>
153
+ <div class="csl-entry" style="clear: left; ">
154
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[23]</div>
155
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">W. Reisig, &#x201C;Towards a Theory of Services,&#x201D; in <i>Information Systems and e-Business Technologies</i>, 2008, pp. 271&#x2013;281.</div>
156
+ </div>
157
+ <div class="csl-entry" style="clear: left; ">
158
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[24]</div>
159
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">Emprise, &#x201C;BONAPART Sarbanes-Oxley Analyser,&#x201D; 2008.</div>
160
+ </div>
161
+ <div class="csl-entry" style="clear: left; ">
162
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[25]</div>
163
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">M. Pesic, H. Schonenberg, and W. M. P. van der Aalst, &#x201C;DECLARE: Full Support for Loosely-Structured Processes.,&#x201D; in <i>Int&#x2019;l Enterprise Computing Conference (EDOC'07)</i>, 2007, pp. 287&#x2013;300.</div>
164
+ </div>
165
+ <div class="csl-entry" style="clear: left; ">
166
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[26]</div>
167
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">M. Peleg, P. Soffer, and J. Ghattas, &#x201C;Mining Process Execution and Outcomes &#x2013; Position Paper,&#x201D; in <i>BPM&#xA0; &#x2019;07 Workshops</i>, 2007.</div>
168
+ </div>
169
+ <div class="csl-entry" style="clear: left; ">
170
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[27]</div>
171
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">J. Yu, T. P. Manh, J. Hand, and Y. Jin, &#x201C;Pattern-based Property Specification and Verification for Service Composition,&#x201D; Swinburne University of Technology, CeCSES Report SUT.CeCSES-TR010, 2006.</div>
172
+ </div>
173
+ <div class="csl-entry" style="clear: left; ">
174
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[28]</div>
175
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">S. Rinderle, A. Wombacher, and M. Reichert, &#x201C;On the Controlled Evolution of Process Choreographies.,&#x201D; in <i>Int&#x2019;l Conf. on Data Engineering</i>, 2006, p. 124.</div>
176
+ </div>
177
+ <div class="csl-entry" style="clear: left; ">
178
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[29]</div>
179
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">S. Rinderle, A. Wombacher, and M. Reichert, &#x201C;Evolution of Process Choreographies in DYCHOR,&#x201D; in <i>Proc. CoopIS&#x2019;06</i>, 2006, pp. 273&#x2013;290.</div>
180
+ </div>
181
+ <div class="csl-entry" style="clear: left; ">
182
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[30]</div>
183
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">L. Ly, S. Rinderle, and P. Dadam, &#x201C;Semantic Correctness in Adaptive Process Management Systems,&#x201D; in <i>Business Process Management</i>, 2006, vol. 02, pp. 193&#x2013;208.</div>
184
+ </div>
185
+ <div class="csl-entry" style="clear: left; ">
186
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[31]</div>
187
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">S. Goedertier and J. Vanthienen, &#x201C;Designing Compliant Business Processes with Obligations and Permissions,&#x201D; in <i>Business Process Management 2006 Workshops</i>, 2006, pp. 5&#x2013;14.</div>
188
+ </div>
189
+ <div class="csl-entry" style="clear: left; ">
190
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[32]</div>
191
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">C. Giblin, S. M&#xFC;ller, and B. Pfitzmann, &#x201C;From Regulatory Policies to Event Monitoring Rules: Towards Model-Driven Compliance Automation,&#x201D; IBM Research GmbH, Research Report RZ-3662, 2006.</div>
192
+ </div>
193
+ <div class="csl-entry" style="clear: left; ">
194
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[33]</div>
195
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">D. F&#xF6;tsch, E. Pulverm&#xFC;ller, and W. Rossak, &#x201C;Modeling and Verifying Workflow-based Regulations,&#x201D; in <i>Workshop on Regulations Modelling and their Validation and Verification</i>, 2006.</div>
196
+ </div>
197
+ <div class="csl-entry" style="clear: left; ">
198
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[34]</div>
199
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">H. Foster, S. Uchitel, J. Magee, and J. Kramer, &#x201C;Model-Based Analysis of Obligations in Web Service Choreography,&#x201D; in <i>Advanced Int&#x2019;l Conference on Telecommunications and Int'l Conference on Internet and Web Applications and Services</i>, 2006, p. 149.</div>
200
+ </div>
201
+ <div class="csl-entry" style="clear: left; ">
202
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[35]</div>
203
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">G. Goldszmidt, J. Joseph, and N. Sachdeva, &#x201C;On demand business process life cycle, Part 6: Apply customization policies and rules,&#x201D; IBM, 2005.</div>
204
+ </div>
205
+ <div class="csl-entry" style="clear: left; ">
206
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[36]</div>
207
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">S. Rinderle, M. Reichert, and P. Dadam, &#x201C;Correctness Criteria for Dynamic Changes in Workflow Systems &#x2013; A Survey.,&#x201D; <i>Data and Knowledge Engineering</i>, vol. 50, no. 1, pp. 9&#x2013;34, 2004.</div>
208
+ </div>
209
+ <div class="csl-entry" style="clear: left; ">
210
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[37]</div>
211
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">W. M. P. van der Aalst, &#x201C;Inheritance of Interorganizational Workflows to Enable Business-to-Business E-Commerce,&#x201D; <i>Electronic Commerce Research</i>, vol. 2, no. 3, pp. 195&#x2013;231, Jul. 2002.</div>
212
+ </div>
213
+ <div class="csl-entry" style="clear: left; ">
214
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[38]</div>
215
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">Z. Milosevic, A. Josang, T. Dimitrakos, and M. A. Patton, &#x201C;Discretionary Enforcement of Electronic Contracts,&#x201D; in <i>Enterprise Computing</i>, 2002.</div>
216
+ </div>
217
+ <div class="csl-entry" style="clear: left; ">
218
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[39]</div>
219
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">R. A. Botha and J. H. P. Eloff, &#x201C;Separation of duties for access control enforcement in workflow environments,&#x201D; <i>IBM Systems Journal</i>, vol. 40, no. 3, pp. 666&#x2013;682, 2001.</div>
220
+ </div>
221
+ <div class="csl-entry" style="clear: left; ">
222
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[40]</div>
223
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">J. van den Heuvel and H. Weigand, &#x201C;Cross-Organizational Workflow Integration using Contracts,&#x201D; in <i>Int&#x2019;l Business Object Workshop</i>, 2000.</div>
224
+ </div>
225
+ <div class="csl-entry" style="clear: left; ">
226
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[41]</div>
227
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">W. V. D. Aalst, &#x201C;Loosely coupled interorganizational workflows: Modeling and analyzing workflows crossing organizational boundaries,&#x201D; <i>Information and Management</i>, vol. 37, pp. 67&#x2013;75, 2000.</div>
228
+ </div>
229
+ <div class="csl-entry" style="clear: left; ">
230
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[42]</div>
231
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">E. Bertino, E. Ferrari, and V. Alturi, &#x201C;The Specification and Enforcement of Authorization Constraints in WFMS.,&#x201D; <i>ACM Transactions on Information and System Security</i>, vol. 2, no. 1, pp. 65&#x2013;104, 1999.</div>
232
+ </div>
233
+ <div class="csl-entry" style="clear: left; ">
234
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[43]</div>
235
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">W. M. P. van der Aalst, &#x201C;Interorganizational Workflows: An Approach based on Message Sequence Charts and Petri Nets,&#x201D; <i>Systems Analysis - Modeling - Simulation</i>, vol. 34, no. 3, pp. 335&#x2013;367, 1999.</div>
236
+ </div>
237
+ <div class="csl-entry" style="clear: left; ">
238
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[44]</div>
239
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">H. Davulcu, M. Kifer, C. R. Ramakrishnan, and I. V. Ramakrishnan, &#x201C;Logic Based Modeling and Analysis of Workflows,&#x201D; in <i>Int&#x2019;l Conference Principles of Database Systems</i>, 1998, pp. 25&#x2013;33.</div>
240
+ </div>
241
+ <div class="csl-entry" style="clear: left; ">
242
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[45]</div>
243
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">W. M. P. V. der Aalst, &#x201C;Modeling and Analyzing Interorganizational Workflows,&#x201D; <i>Application of Concurrency to System Design, International Conference on</i>, p. 262, 1998.</div>
244
+ </div>
245
+ <div class="csl-entry" style="clear: left; ">
246
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[46]</div>
247
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">R. A. Frosch and N. E. Gallopoulos, &#x201C;Strategies for manufacturing,&#x201D; <i>Scientific American</i>, vol. 261, no. 3, pp. 144&#x2013;152, 1989.</div>
248
+ </div>
249
+ <div class="csl-entry" style="clear: left; ">
250
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[47]</div>
251
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">ProSTEP iViP, &#x201C;Collaborative Project Management&#xA0; RECOMMENDATION
252
+ Collaborative Project Management (CPM)
253
+ Reference Model;,&#x201D; PSI 1-1 Version 3.0.</div>
254
+ </div>
255
+ <div class="csl-entry" style="clear: left; ">
256
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[48]</div>
257
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">B. Weber, M. Reichert, and S. Rinderle-Ma, &#x201C;Change Patterns and Change Support Features - Enhancing Flexibility in Process-Aware Information Systems.,&#x201D; <i>Data and Knowledge Engineering</i>, vol. 66, no. 3, pp. 438&#x2013;466, 2008.</div>
258
+ </div>
259
+ <div class="csl-entry" style="clear: left; ">
260
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[49]</div>
261
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">H. Schonenberg, R. Mans, N. Russell, N. Mulyar, and W. Aalst, &#x201C;Process Flexibility: A Survey of Contemporary Approaches,&#x201D; in <i>Advances in Enterprise Engineering I</i>, 2008, pp. 16&#x2013;30.</div>
262
+ </div>
263
+ <div class="csl-entry" style="clear: left; ">
264
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[50]</div>
265
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">E. M. Kharbili, S. Stein, I. Markovic, and E. Pulverm&#xFC;ller, &#x201C;Towards a Framework for Semantic Business Process Compliance Management,&#x201D; in <i>Int&#x2019;l Workshop of Governance, Risk, and Compliance in Information Systems</i>, 2008.</div>
266
+ </div>
267
+ <div class="csl-entry" style="clear: left; ">
268
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[51]</div>
269
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">D. Karagiannis, &#x201C;A Business Process-Based Modelling Extension for Regulatory Compliance.,&#x201D; presented at the Multikonferenz Wirtschaftsinformatik, 2008.</div>
270
+ </div>
271
+ <div class="csl-entry" style="clear: left; ">
272
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[52]</div>
273
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">J. Eder and A. Tahamtan, &#x201C;Temporal Conformance of Federated Choreographies,&#x201D; in <i>Database and Expert Systems Applications</i>, 2008, pp. 668&#x2013;675.</div>
274
+ </div>
275
+ <div class="csl-entry" style="clear: left; ">
276
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[53]</div>
277
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">K. Namiri and N. Stojanovic, &#x201C;Pattern-Based Design and Validation of Business Process Compliance,&#x201D; in <i>Int&#x2019; OTM Conferences 2007, Part I</i>, 2007, vol. 4803, pp. 59&#x2013;76.</div>
278
+ </div>
279
+ <div class="csl-entry" style="clear: left; ">
280
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[54]</div>
281
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">A. Marchetti, <i>Sarbanes-Oxley Ongoing Compliance Guide.</i> Parson Consulting, 2007.</div>
282
+ </div>
283
+ <div class="csl-entry" style="clear: left; ">
284
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[55]</div>
285
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">Y. Liu, S. M&#xFC;ller, and K. Xu, &#x201C;A static compliance-checking framework for business process models,&#x201D; <i>IBM Systems Journal</i>, vol. 46, no. 2, pp. 335&#x2013;261, 2007.</div>
286
+ </div>
287
+ <div class="csl-entry" style="clear: left; ">
288
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[56]</div>
289
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">J. K&#xFC;ster, K. Ryndina, and H. Gall, &#x201C;Generation of Business Process Models for Object Life Cycle Compliance,&#x201D; in <i>Int&#x2019;l Conference Business Process Management</i>, 2007, pp. 165&#x2013;181.</div>
290
+ </div>
291
+ <div class="csl-entry" style="clear: left; ">
292
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[57]</div>
293
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">IDS Scheer, &#x201C;Governance, Risk and Compliance Management with ARIS,&#x201D; 2007.</div>
294
+ </div>
295
+ <div class="csl-entry" style="clear: left; ">
296
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[58]</div>
297
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">A. K. Ghose and G. Koliadis, &#x201C;Auditing Business Process Compliance,&#x201D; Faculty of Informatics, University of Wollongong, 2007.</div>
298
+ </div>
299
+ <div class="csl-entry" style="clear: left; ">
300
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[59]</div>
301
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">A. F&#xF6;rster, G. Engels, T. Schattkowsky, and R. V. der Straeten, &#x201C;Verification of Business Process Quality Constraints Based on Visual Process Patterns,&#x201D; in <i>Symposium on Theoretical Aspects of Sofware Engineering</i>, 2007.</div>
302
+ </div>
303
+ <div class="csl-entry" style="clear: left; ">
304
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[60]</div>
305
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">M. Alberti, F. Chesani, M. Gavanelli, E. Lamma, P. Mello, M. Montali, and P. Torroni, &#x201C;Expressing and Verifying Business Contracts with Abductive,&#x201D; in <i>Int&#x2019;l Conference Normative Multi-agent Systems</i>, 2007.</div>
306
+ </div>
307
+ <div class="csl-entry" style="clear: left; ">
308
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[61]</div>
309
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">S. Rinderle, A. Wombacher, and M. Reichert, &#x201C;Evolution of Process Choreographies in DYCHOR,&#x201D; in <i>Int&#x2019;l Conf. on Cooperative Information Systems</i>, Springer, 2006, pp. 273&#x2013;290.</div>
310
+ </div>
311
+ <div class="csl-entry" style="clear: left; ">
312
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[62]</div>
313
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">R. Agrawal, C. Johnson, J. Kiernan, and F. Leymann, &#x201C;Taming Compliance with Sarbanes-Oxley Internal Controls Using Database Technology,&#x201D; in <i>Int&#x2019;l Conference on Data Engineering</i>, Washington, DC, USA, 2006, p. 92.</div>
314
+ </div>
315
+ <div class="csl-entry" style="clear: left; ">
316
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[63]</div>
317
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">W. van der Aalst, H. de Beer, and B. van Dongen, &#x201C;Process Mining and Verification of Properties: An Approach based on Temporal Logic,&#x201D; in <i>Int&#x2019;l OnTheMove Conferences</i>, 2005, vol. 3761, pp. 130&#x2013;147.</div>
318
+ </div>
319
+ <div class="csl-entry" style="clear: left; ">
320
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[64]</div>
321
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">C. Heinlein, &#x201C;Workflow and Process Synchronization with Interaction Expressions and Graphs,&#x201D; in <i>Proceedings of the 17th International Conference on Data Engineering</i>, Washington, DC, USA, 2001, pp. 243&#x2013;252.</div>
322
+ </div>
323
+ <div class="csl-entry" style="clear: left; ">
324
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[65]</div>
325
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">W. M. P. van der Aalst and M. Weske, &#x201C;The P2P Approach to Interorganizational Workflows.,&#x201D; in <i>Int&#x2019;l Conference on Advanced Information Systems Engineering</i>, 2001, pp. 140&#x2013;156.</div>
326
+ </div>
327
+ <div class="csl-entry" style="clear: left; ">
328
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[66]</div>
329
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">F. Casati, S. Ceri, B. Pernici, and G. Pozzi, &#x201C;Workflow Evolution,&#x201D; <i>Data and Knowledge Engineering</i>, vol. 24, no. 3, pp. 211&#x2013;238, 1998.</div>
330
+ </div>
331
+ </div>
332
+
333
+ <h2>SMES</h2>
334
+ <div class="csl-bib-body" style="line-height: 1.35; ">
335
+ <div class="csl-entry" style="clear: left; ">
336
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[1]</div>
337
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">S. K. Fixson, &#x201C;Product architecture assessment: a tool to link product, process, and supply chain design decisions,&#x201D; <i>Journal of Operations Management</i>, vol. 23, no. 3&#x2013;4, pp. 345&#x2013;369, 2005.</div>
338
+ </div>
339
+ <div class="csl-entry" style="clear: left; ">
340
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[2]</div>
341
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">M. Taylor and A. Murphy, &#x201C;SMEs and e-business,&#x201D; <i>Journal of Small Business and Enterprise Development</i>, vol. 11, no. 3, pp. 280&#x2013;289, 2004.</div>
342
+ </div>
343
+ <div class="csl-entry" style="clear: left; ">
344
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[3]</div>
345
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">A. Chandrashekar and P. B. Schary, &#x201C;Toward the virtual supply chain: the convergence of IT and organization,&#x201D; <i>International Journal of Logistics Management, The</i>, vol. 10, no. 2, pp. 27&#x2013;40, 1999.</div>
346
+ </div>
347
+ <div class="csl-entry" style="clear: left; ">
348
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[4]</div>
349
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">V. Corvello and P. Migliarese, &#x201C;Virtual forms for the organization of production: A comparative analysis,&#x201D; <i>International Journal of Production Economics</i>, vol. 110, no. 1&#x2013;2, pp. 5&#x2013;15, 2007.</div>
350
+ </div>
351
+ <div class="csl-entry" style="clear: left; ">
352
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[5]</div>
353
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">D. Chen and N. Daclin, &#x201C;Barriers driven methodology for enterprise interoperability,&#x201D; <i>Establishing The Foundation Of Collaborative Networks</i>, pp. 453&#x2013;460, 2007.</div>
354
+ </div>
355
+ <div class="csl-entry" style="clear: left; ">
356
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[6]</div>
357
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">V. Barba-S&#xE1;nchez, M. P. Mart&#xED;nez-Ruiz, and A. I. Jimenez-Zarco, &#x201C;Drivers, benefits and challenges of ICT adoption by small and medium sized enterprises (SMEs): A literature review,&#x201D; <i>Problems and Perspectives in Management</i>, vol. 5, no. 1, pp. 104&#x2013;115, 2007.</div>
358
+ </div>
359
+ <div class="csl-entry" style="clear: left; ">
360
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[7]</div>
361
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">R. van Hoek, &#x201C;Clockspeed: Winning Industry Control in the Age of Temporary Advantage,&#x201D; <i>Supply Chain Management: An International Journal</i>, vol. 5, no. 3, p. 162, 2000.</div>
362
+ </div>
363
+ <div class="csl-entry" style="clear: left; ">
364
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[8]</div>
365
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">R. A. Frosch and N. E. Gallopoulos, &#x201C;Strategies for manufacturing,&#x201D; <i>Scientific American</i>, vol. 261, no. 3, pp. 144&#x2013;152, 1989.</div>
366
+ </div>
367
+ </div>
368
+
369
+ <h2>Sensors</h2>
370
+ <div class="csl-bib-body" style="line-height: 1.35; ">
371
+ <div class="csl-entry" style="clear: left; ">
372
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[1]</div>
373
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">A. Reinhardt, D. Christin, M. Hollick, J. Schmitt, P. Mogre, and R. Steinmetz, &#x201C;Trimming the Tree: Tailoring Adaptive Huffman Coding to Wireless Sensor Networks,&#x201D; in <i>7th European Conference on Wireless Sensor Networks (EWSN 2010)</i>, 2010, pp. 33&#x2013;48.</div>
374
+ </div>
375
+ <div class="csl-entry" style="clear: left; ">
376
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[2]</div>
377
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">R. Jedermann and W. Lang, &#x201C;The Minimum Number of Sensors&#x2013;Interpolation of Spatial Temperature Profiles in Chilled Transports,&#x201D; in <i>6th European Conference on Wireless Sensor Networks (EWSN)</i>, 2009, pp. 232&#x2013;246.</div>
378
+ </div>
379
+ <div class="csl-entry" style="clear: left; ">
380
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[3]</div>
381
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">C. Hua and T. S. . Yum, &#x201C;Optimal routing and data aggregation for maximizing lifetime of wireless sensor networks,&#x201D; <i>Networking, IEEE/ACM Transactions on</i>, vol. 16, no. 4, pp. 892&#x2013;903, 2008.</div>
382
+ </div>
383
+ <div class="csl-entry" style="clear: left; ">
384
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[4]</div>
385
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">K. Sohraby, D. Minoli, and T. F. Znati, <i>Wireless sensor networks: technology, protocols, and applications</i>. Wiley-Blackwell, 2007.</div>
386
+ </div>
387
+ <div class="csl-entry" style="clear: left; ">
388
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[5]</div>
389
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">R. Jedermann and W. Lang, &#x201C;Mobile java code for embedded transport monitoring systems,&#x201D; in <i>Proceedings of the Embedded World Conference</i>, Poing, 2006, pp. 771&#x2013;777.</div>
390
+ </div>
391
+ <div class="csl-entry" style="clear: left; ">
392
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[6]</div>
393
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">D. Culler, D. Estrin, and M. Srivastava, &#x201C;Guest editors&#x2019; introduction: overview of sensor networks,&#x201D; <i>Computer</i>, vol. 37, no. 8, pp. 41&#x2013;49, 2004.</div>
394
+ </div>
395
+ <div class="csl-entry" style="clear: left; ">
396
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[7]</div>
397
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">M. Tubaishat and S. Madria, &#x201C;Sensor networks: an overview,&#x201D; <i>IEEE potentials</i>, vol. 22, no. 2, pp. 20&#x2013;23, 2003.</div>
398
+ </div>
399
+ <div class="csl-entry" style="clear: left; ">
400
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[8]</div>
401
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">I. F. Akyildiz, W. Su, Y. Sankarasubramaniam, and E. Cayirci, &#x201C;A survey on sensor networks,&#x201D; <i>Communications Magazine, IEEE</i>, vol. 40, no. 8, pp. 102&#x2013;114, 2002.</div>
402
+ </div>
403
+ <div class="csl-entry" style="clear: left; ">
404
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[9]</div>
405
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">R. Jedermann, J. Gehrke, M. Becker, C. Behrens, E. Morales-Kluge, O. Herzog, and W. Lang, &#x201C;Transport scenario for the intelligent container,&#x201D; <i>Understanding Autonomous Cooperation and Control in Logistics</i>, pp. 393&#x2013;404.</div>
406
+ </div>
407
+ <div class="csl-entry" style="clear: left; ">
408
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[10]</div>
409
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">R. Verdone, D. Dardari, G. Mazzini, and A. Conti, <i>Wireless sensor and actuator networks: technologies, analysis and design</i>. Academic Press, 2008.</div>
410
+ </div>
411
+ <div class="csl-entry" style="clear: left; ">
412
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[11]</div>
413
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">A. Dada and F. Thiesse, &#x201C;Sensor applications in the supply chain: the example of quality-based issuing of perishables,&#x201D; in <i>Proceedings of the 1st international conference on The internet of things</i>, 2008, pp. 140&#x2013;154.</div>
414
+ </div>
415
+ <div class="csl-entry" style="clear: left; ">
416
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[12]</div>
417
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">L. Ruiz-Garcia, P. Barreiro, J. Rodriguez-Bermejo, and J. I. Robla, &#x201C;Review. Monitoring the intermodal, refrigerated transport of fruit using sensor networks,&#x201D; <i>Spanish Journal of Agricultural Research</i>, vol. 5, no. 2, pp. 142&#x2013;156, 2007.</div>
418
+ </div>
419
+ <div class="csl-entry" style="clear: left; ">
420
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[13]</div>
421
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">C. Mascolo and M. Musolesi, &#x201C;SCAR: context-aware adaptive routing in delay tolerant mobile sensor networks,&#x201D; in <i>Proceedings of the 2006 international conference on Wireless communications and mobile computing</i>, 2006, pp. 533&#x2013;538.</div>
422
+ </div>
423
+ <div class="csl-entry" style="clear: left; ">
424
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[14]</div>
425
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">R. Jedermann, R. Schouten, A. Sklorz, W. Lang, and O. van Kooten, &#x201C;Linking keeping quality models and sensor systems to an autonomous transport supervision system,&#x201D; in <i>Cold Chain Management&#x2013;2nd international Workshop, Bonn</i>, 2006, vol. 8.</div>
426
+ </div>
427
+ <div class="csl-entry" style="clear: left; ">
428
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[15]</div>
429
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">H. Edgar, J. Callawy, and E. H. Callaway, &#x201C;Wireless sensor networks: Architectures and Protocols,&#x201D; <i>Boca Raton, Florida: CRC Press</i>, vol. 200, pp. 1&#x2013;40, 2004.</div>
430
+ </div>
431
+ </div>
432
+
433
+ <h2>Semantic</h2>
434
+ <div class="csl-bib-body" style="line-height: 1.35; ">
435
+ <div class="csl-entry" style="clear: left; ">
436
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[1]</div>
437
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">D. Schuller, A. Papageorgiou, S. Schulte, J. Eckert, N. Repp, and R. Steinmetz, &#x201C;Process reliability in service oriented architectures,&#x201D; in <i>Digital Ecosystems and Technologies, 2009. DEST&#xA0; &#x2019;09. 3rd IEEE International Conference on</i>, 2009, pp. 606&#x2013;611.</div>
438
+ </div>
439
+ <div class="csl-entry" style="clear: left; ">
440
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[2]</div>
441
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">S. Schulte, J. Eckert, N. Repp, and R. Steinmetz, &#x201C;An approach to evaluate and enhance the retrieval of Semantic Web services,&#x201D; in <i>Service Systems and Service Management, 2008 International Conference on</i>, 2008, pp. 1&#x2013;7.</div>
442
+ </div>
443
+ <div class="csl-entry" style="clear: left; ">
444
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[3]</div>
445
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">S. Schulte, U. Lampe, J. Eckert, and R. Steinmetz, &#x201C;LOG4SWS. KOM: Self-Adapting Semantic Web Service Discovery for SAWSDL,&#x201D; in <i>2010 6th World Congress on Services</i>, 2010, pp. 511&#x2013;518.</div>
446
+ </div>
447
+ <div class="csl-entry" style="clear: left; ">
448
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[4]</div>
449
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">D. Kourtesis and I. Paraskakis, &#x201C;Web service discovery in the FUSION semantic registry,&#x201D; in <i>Business Information Systems</i>, 2008, pp. 285&#x2013;296.</div>
450
+ </div>
451
+ <div class="csl-entry" style="clear: left; ">
452
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[5]</div>
453
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">E. Cimpian, H. Meyer, D. Roman, A. Sirbu, N. Steinmetz, S. Staab, and I. Toma, &#x201C;Ontologies and Matchmaking,&#x201D; <i>Semantic Service Provisioning</i>, pp. 19&#x2013;54, 2008.</div>
454
+ </div>
455
+ <div class="csl-entry" style="clear: left; ">
456
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[6]</div>
457
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">D. Martin, M. Burstein, D. Mcdermott, S. Mcilraith, M. Paolucci, K. Sycara, D. L. Mcguinness, E. Sirin, and N. Srinivasan, &#x201C;Bringing semantics to web services with owl-s,&#x201D; <i>World Wide Web</i>, vol. 10, no. 3, pp. 243&#x2013;277, 2007.</div>
458
+ </div>
459
+ <div class="csl-entry" style="clear: left; ">
460
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[7]</div>
461
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">D. Fensel, <i>Enabling Semantic Web Services: The Web Service Modeling Ontology</i>. Springer-Verlag New York Inc, 2007.</div>
462
+ </div>
463
+ <div class="csl-entry" style="clear: left; ">
464
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[8]</div>
465
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">R. Akkiraju, &#x201C;Semantic Web Services,&#x201D; <i>Semantic Web Services: Theory, Tools, and Applications</i>, pp. 191&#x2013;216, Chapter IX, 2007.</div>
466
+ </div>
467
+ <div class="csl-entry" style="clear: left; ">
468
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[9]</div>
469
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">K. Sivashanmugam, J. A. Miller, A. P. Sheth, and K. Verma, &#x201C;Framework for semantic web process composition,&#x201D; <i>International Journal of Electronic Commerce</i>, vol. 9, no. 2, pp. 71&#x2013;106, 2005.</div>
470
+ </div>
471
+ <div class="csl-entry" style="clear: left; ">
472
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[10]</div>
473
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">S. Schulte, N. Repp, D. Schuller, and R. Steinmetz, &#x201C;From Web Service Policies to Automatic Deviation Handling: Supporting Semantic Description of Reactions to Policy Violations,&#x201D; in <i>Semantic Computing, 2009. ICSC&#x2019;09. IEEE International Conference on</i>, 2009, pp. 312&#x2013;317.</div>
474
+ </div>
475
+ <div class="csl-entry" style="clear: left; ">
476
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[11]</div>
477
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">P. Plebani and B. Pernici, &#x201C;Urbe: Web service retrieval based on similarity evaluation,&#x201D; <i>Knowledge and Data Engineering, IEEE Transactions on</i>, vol. 21, no. 11, pp. 1629&#x2013;1642, 2009.</div>
478
+ </div>
479
+ <div class="csl-entry" style="clear: left; ">
480
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[12]</div>
481
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">M. Klusch, P. Kapahnke, and I. Zinnikus, &#x201C;Sawsdl-mx2: A machine-learning approach for integrating semantic web service matchmaking variants,&#x201D; in <i>Web Services, 2009. ICWS 2009. IEEE International Conference on</i>, 2009, pp. 335&#x2013;342.</div>
482
+ </div>
483
+ <div class="csl-entry" style="clear: left; ">
484
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[13]</div>
485
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">M. Klusch, P. Kapahnke, and I. Zinnikus, &#x201C;Hybrid adaptive web service selection with sawsdl-mx and wsdl-analyzer,&#x201D; <i>The Semantic Web: Research and Applications</i>, pp. 550&#x2013;564, 2009.</div>
486
+ </div>
487
+ <div class="csl-entry" style="clear: left; ">
488
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[14]</div>
489
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">K. Verma and A. Sheth, &#x201C;Semantically annotating a web service,&#x201D; <i>Internet Computing, IEEE</i>, vol. 11, no. 2, pp. 83&#x2013;85, 2007.</div>
490
+ </div>
491
+ <div class="csl-entry" style="clear: left; ">
492
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[15]</div>
493
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">J. Farrell, I. B. M. . Lausen, and D. Innsbruck, &#x201C;Semantic annotations for wsdl and xml schema,&#x201D; 2007. [Online]. Available: http://www.w3.org/TR/2007/REC-sawsdl-20070828/.</div>
494
+ </div>
495
+ <div class="csl-entry" style="clear: left; ">
496
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 2em;">[16]</div>
497
+ <div class="csl-right-inline" style="margin: 0 .4em 0 2.5em;">L. Clement, A. Hately, C. von Riegen, T. Rogers, and others, &#x201C;UDDI Version 3.0. 2,&#x201D; 2004. [Online]. Available: http://www.uddi.org/pubs/uddi_v3.htm.</div>
498
+ </div>
499
+ </div>
500
+
501
+ <h2>Negotiation</h2>
502
+ <div class="csl-bib-body" style="line-height: 1.35; ">
503
+ <div class="csl-entry" style="clear: left; ">
504
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[1]</div>
505
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">J. (Roger) Jiao, X. You, and A. Kumar, &#x201C;An agent-based framework for collaborative negotiation in the global manufacturing supply chain network,&#x201D; <i>Robotics and Computer-Integrated Manufacturing</i>, vol. 22, no. 3, pp. 239&#x2013;255, Jul. 2006.</div>
506
+ </div>
507
+ <div class="csl-entry" style="clear: left; ">
508
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[2]</div>
509
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">G. Dudek and H. Stadtler, &#x201C;Negotiation-based collaborative planning between supply chains partners,&#x201D; <i>European Journal of Operational Research</i>, vol. 163, no. 3, pp. 668&#x2013;687, 2005.</div>
510
+ </div>
511
+ <div class="csl-entry" style="clear: left; ">
512
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[3]</div>
513
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">J. M. Zaha, A. Barros, M. Dumas, and A. Hofstede, &#x201C;Let&#x2019;s Dance: A Language for Service Behavior Modeling,&#x201D; in in <i>On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE</i>, vol. 4275, R. Meersman and Z. Tari, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, 2006, pp. 145&#x2013;162.</div>
514
+ </div>
515
+ <div class="csl-entry" style="clear: left; ">
516
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[4]</div>
517
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">W. M. P. van der Aalst, N. Lohmann, P. Massuthe, C. Stahl, and K. Wolf, &#x201C;Multiparty Contracts: Agreeing and Implementing Interorganizational Processes,&#x201D; <i>The Computer Journal</i>, vol. 53, no. 1, pp. 90&#x2013;106, Jan. 2010.</div>
518
+ </div>
519
+ </div>
520
+
521
+ <h2>Design</h2>
522
+ <div class="csl-bib-body" style="line-height: 1.35; ">
523
+ <div class="csl-entry" style="clear: left; ">
524
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[1]</div>
525
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">A. Hallerbach, T. Bauer, and M. Reichert, &#x201C;Capturing variability in business process models: the Provop approach,&#x201D; <i>Journal of Software Maintenance and Evolution: Research and Practice</i>, vol. 22, no. 6&#x2013;7, pp. 519&#x2013;546, 2010.</div>
526
+ </div>
527
+ <div class="csl-entry" style="clear: left; ">
528
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[2]</div>
529
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">W. M. . Van Der Aalst, M. Dumas, F. Gottschalk, A. H. . Ter Hofstede, M. La Rosa, and J. Mendling, &#x201C;Correctness-preserving configuration of business process models,&#x201D; in <i>Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering</i>, 2008, pp. 46&#x2013;61.</div>
530
+ </div>
531
+ <div class="csl-entry" style="clear: left; ">
532
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[3]</div>
533
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">W. M. P. Van Der Aalst, H. A. Reijers, A. Weijters, B. F. Van Dongen, A. K. Alves de Medeiros, M. Song, and H. M. W. Verbeek, &#x201C;Business process mining: An industrial application,&#x201D; <i>Information Systems</i>, vol. 32, no. 5, pp. 713&#x2013;732, 2007.</div>
534
+ </div>
535
+ <div class="csl-entry" style="clear: left; ">
536
+ <div class="csl-left-margin" style="float: left; padding-right: 0.5em; text-align: right; width: 1em;">[4]</div>
537
+ <div class="csl-right-inline" style="margin: 0 .4em 0 1.5em;">S. L. Mansar and H. A. Reijers, &#x201C;Best practices in business process redesign: validation of a redesign framework,&#x201D; <i>Computers in Industry</i>, vol. 56, no. 5, pp. 457&#x2013;471, 2005.</div>
538
+ </div>
539
+ </div>
540
+