riddl 0.99.149 → 0.99.150

Sign up to get free protection for your applications and to get access to all the features.
Files changed (26) hide show
  1. checksums.yaml +7 -0
  2. data/lib/ruby/riddl/ns/common-patterns/turtle/1.0/turtle.xml +30 -0
  3. data/lib/ruby/riddl/utils/turtle.rb +72 -0
  4. data/ns/common-patterns/turtle/1.0/turtle.xml +30 -0
  5. data/riddl.gemspec +2 -1
  6. metadata +251 -274
  7. data/examples/declaration-test/main.log +0 -57
  8. data/examples/flickr/Exif/riddl.new.jpg +0 -0
  9. data/examples/flickr/Flickr/flickr.frob +0 -1
  10. data/examples/flickr/Flickr/flickr.token +0 -1
  11. data/examples/twitter/twitter.consumer_key +0 -1
  12. data/examples/twitter/twitter.consumer_secret +0 -1
  13. data/examples/twitter/twitter.token +0 -1
  14. data/examples/twitter/twitter.token_secret +0 -1
  15. data/examples/twitter/twitter.user_id +0 -1
  16. data/examples/xmpp/blather/description.xml +0 -981
  17. data/examples/xmpp/blather/direct.rb +0 -44
  18. data/examples/xmpp/blather/load.rb +0 -18
  19. data/examples/xmpp/blather/pp.rb +0 -40
  20. data/examples/xmpp/blather/test.rb +0 -32
  21. data/examples/zotero/litlist.html +0 -540
  22. data/examples/zotero/zotero.consumer_key +0 -1
  23. data/examples/zotero/zotero.consumer_secret +0 -1
  24. data/examples/zotero/zotero.token +0 -1
  25. data/examples/zotero/zotero.token_secret +0 -1
  26. 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
-