-
1
-
-
35648983850
-
-
BPM-06-22, BPMcenter.org
-
N. Russell, A.H.M. ter Hofstede, W.M.P. van der Aalst, and N. Mulyar, "Workflow Control-Flow Patterns: A Revised View," BPM-06-22, BPMcenter.org, 2006.
-
(2006)
Workflow Control-Flow Patterns: A Revised View
-
-
Russell, N.1
Ter Hofstede, A.H.M.2
Van Der Aalst, W.M.P.3
Mulyar, N.4
-
5
-
-
0026953373
-
The Esterel Synchronous Programming Language: Design, Semantics, Implementation
-
G. Berry and G Gonthier, "The Esterel Synchronous Programming Language: Design, Semantics, Implementation," SCP, 19, 2, 1992, pp. 87-152
-
(1992)
SCP
, vol.19
, Issue.2
, pp. 87-152
-
-
Berry, G.1
Gonthier, G.2
-
6
-
-
70349377169
-
A dynamic and reactive approach to the supervision of BPEL processes
-
L. Baresi and Sam Guinea, "A dynamic and reactive approach to the supervision of BPEL processes," ISEC 2008: 39-48
-
ISEC 2008
, pp. 39-48
-
-
Baresi, L.1
Guinea, S.2
-
8
-
-
70349428494
-
Runtime monitoring of web service conversations
-
J. Simmonds, Y. Gan, M. Chechik, S. Nejati, B. O'Farrell, E. Litani, and J. Waterhouse, "Runtime monitoring of web service conversations," IEEE Trans. On Serv. Comp., 2009
-
(2009)
IEEE Trans. on Serv. Comp.
-
-
Simmonds, J.1
Gan, Y.2
Chechik, M.3
Nejati, S.4
O'Farrell, B.5
Litani, E.6
Waterhouse, J.7
-
11
-
-
79952393773
-
-
http://yawlfoundation.org/
-
-
-
-
12
-
-
38049187813
-
Run-time monitoring of Instances and Classes of web-service compositions
-
F Barbon, Paolo Traverso, Marco Pistore and Michele Trainotti, "Run-time monitoring of Instances and Classes of web-service compositions," ICWS 2006.
-
ICWS 2006
-
-
Barbon, F.1
Traverso, P.2
Pistore, M.3
Trainotti, M.4
-
13
-
-
70449495465
-
Dynamo + Astro: An Integrated Approach for BPEL Monitoring
-
Luciano Baresi, Sam Guinea, Marco Pistore, Michele Trainotti, "Dynamo + Astro: An Integrated Approach for BPEL Monitoring," ICWS 2009: 230-237
-
ICWS 2009
, pp. 230-237
-
-
Baresi, L.1
Guinea, S.2
Pistore, M.3
Trainotti, M.4
-
14
-
-
81255155311
-
An executable temporal logic to express safety properties and its connection with language Lustre
-
Quebec
-
Nicolas Halbwachs, J-C. Fernandez, and Ahmed Bouajjani, "An executable temporal logic to express safety properties and its connection with language Lustre," ISLIP 93, Quebec.
-
ISLIP 93
-
-
Halbwachs, N.1
Fernandez, J.-C.2
Bouajjani, A.3
-
15
-
-
20444433248
-
A framework for requirements monitoring for service based systems
-
ACM
-
K Mahbub and G Spanoudakis, "A framework for requirements monitoring for service based systems," In Proc. ICSOC'04, pages 84-93. ACM, 2004.
-
(2004)
Proc. ICSOC'04
, pp. 84-93
-
-
Mahbub, K.1
Spanoudakis, G.2
-
16
-
-
57349093724
-
Non-intrusive monitoring and service adaptation for ws-bpel
-
M.F.Rosenburg and S. Dustar, "Non-intrusive monitoring and service adaptation for ws-bpel," WWW'08, pp. 815-824.
-
WWW'08
, pp. 815-824
-
-
Rosenburg, M.F.1
Dustar, S.2
-
17
-
-
43149089736
-
Conformance Checking of Service Behavior
-
Article 13
-
Wil M. P. Van der Aalst, M Dumas, C Ouyang, A Rozinat, Eric Verbeek, "Conformance Checking of Service Behavior," ACM Tr. Internet Technology 2008, V8, 3, Article 13.
-
(2008)
ACM Tr. Internet Technology
, vol.8
, Issue.3
-
-
Van Der Aalst, W.M.P.1
Dumas, M.2
Ouyang, C.3
Rozinat, A.4
Verbeek, E.5
-
18
-
-
20444461274
-
An architecture and library for creation and monitoring of WS-agreements
-
ACM Press, NY
-
Ludwig H., Dan A. and Kearney R. Crona, "An architecture and library for creation and monitoring of WS-agreements," In Proc. ICSOC'04. ACM Press, NY, 65-74
-
Proc. ICSOC'04
, pp. 65-74
-
-
Ludwig, H.1
Dan, A.2
Crona, K.R.3
-
19
-
-
84884693749
-
MSC+: From Requirement to Prototyped Systems
-
Mesfin Belachew and R K Shyamasundar, "MSC+: From Requirement to Prototyped Systems, "ECRTS 2001:117:1
-
ECRTS 2001
, vol.117
, pp. 1
-
-
Belachew, M.1
Shyamasundar, R.K.2
|