riddl 0.99.140 → 0.99.141

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
Files changed (38) hide show
  1. data/examples/notifications/notifications/39c3b39ec3e48a514948e4981f4459d2/consumer-secret +1 -0
  2. data/examples/notifications/notifications/39c3b39ec3e48a514948e4981f4459d2/producer-secret +1 -0
  3. data/examples/notifications/notifications/39c3b39ec3e48a514948e4981f4459d2/subscription.xml +9 -0
  4. data/examples/notifications/notifications/5d68b08a13e622aada13e3c182ea9390/consumer-secret +1 -0
  5. data/examples/notifications/notifications/5d68b08a13e622aada13e3c182ea9390/producer-secret +1 -0
  6. data/examples/notifications/notifications/5d68b08a13e622aada13e3c182ea9390/subscription.xml +9 -0
  7. data/examples/notifications/notifications/893edd178c053a011c09f253fa85092f/consumer-secret +1 -0
  8. data/examples/notifications/notifications/893edd178c053a011c09f253fa85092f/producer-secret +1 -0
  9. data/examples/notifications/notifications/893edd178c053a011c09f253fa85092f/subscription.xml +9 -0
  10. data/examples/notifications/notifications/9f5921176e6876aca3af4428b1ccafd1/consumer-secret +1 -0
  11. data/examples/notifications/notifications/9f5921176e6876aca3af4428b1ccafd1/producer-secret +1 -0
  12. data/examples/notifications/notifications/9f5921176e6876aca3af4428b1ccafd1/subscription.xml +9 -0
  13. data/examples/notifications/notifications/c457779f6e2c086d8cf1cd9b44d8950e/consumer-secret +1 -0
  14. data/examples/notifications/notifications/c457779f6e2c086d8cf1cd9b44d8950e/producer-secret +1 -0
  15. data/examples/notifications/notifications/c457779f6e2c086d8cf1cd9b44d8950e/subscription.xml +9 -0
  16. data/lib/ruby/riddl/client.rb +44 -1
  17. data/riddl.gemspec +1 -1
  18. metadata +201 -206
  19. data/examples/declaration-test/main.log +0 -57
  20. data/examples/flickr/Exif/riddl.new.jpg +0 -0
  21. data/examples/flickr/Flickr/flickr.frob +0 -1
  22. data/examples/flickr/Flickr/flickr.token +0 -1
  23. data/examples/twitter/twitter.consumer_key +0 -1
  24. data/examples/twitter/twitter.consumer_secret +0 -1
  25. data/examples/twitter/twitter.token +0 -1
  26. data/examples/twitter/twitter.token_secret +0 -1
  27. data/examples/twitter/twitter.user_id +0 -1
  28. data/examples/xmpp/blather/description.xml +0 -981
  29. data/examples/xmpp/blather/direct.rb +0 -44
  30. data/examples/xmpp/blather/load.rb +0 -18
  31. data/examples/xmpp/blather/pp.rb +0 -40
  32. data/examples/xmpp/blather/test.rb +0 -32
  33. data/examples/zotero/litlist.html +0 -540
  34. data/examples/zotero/zotero.consumer_key +0 -1
  35. data/examples/zotero/zotero.consumer_secret +0 -1
  36. data/examples/zotero/zotero.token +0 -1
  37. data/examples/zotero/zotero.token_secret +0 -1
  38. data/examples/zotero/zotero.user_id +0 -1
data/examples/xmpp/blather/direct.rb DELETED
@@ -1,44 +0,0 @@
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
data/examples/xmpp/blather/load.rb DELETED
@@ -1,18 +0,0 @@
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
data/examples/xmpp/blather/pp.rb DELETED
@@ -1,40 +0,0 @@
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
data/examples/xmpp/blather/test.rb DELETED
@@ -1,32 +0,0 @@
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
data/examples/zotero/litlist.html DELETED
@@ -1,540 +0,0 @@
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
-