-
1
-
-
33646397011
-
Towards a formal verification of owl-s process models
-
Y. Gil, E. Motta, V. R. Benjamins, and M. A. Musen, editors, International Semantic Web Conference, of, Springer
-
A. Ankolekar, M. Paolucci, and K. P. Sycara. Towards a formal verification of owl-s process models. In Y. Gil, E. Motta, V. R. Benjamins, and M. A. Musen, editors, International Semantic Web Conference, volume 3729 of Lecture Notes in Computer Science, pages 37-51. Springer, 2005.
-
(2005)
Lecture Notes in Computer Science
, vol.3729
, pp. 37-51
-
-
Ankolekar, A.1
Paolucci, M.2
Sycara, K.P.3
-
2
-
-
33749628508
-
Expressing Business Process Models as OWL-S Ontologies
-
Second InternationalWorkshop on Grid and Peer-to-Peer based Workflows, of, Springer
-
M. A. Aslam, S. Auer, J. Shen, and M. Herrmann. Expressing Business Process Models as OWL-S Ontologies. In Second InternationalWorkshop on Grid and Peer-to-Peer based Workflows, volume 4103 of Lecture Notes in Computer Science, pages 400-415. Springer, 2006.
-
(2006)
Lecture Notes in Computer Science
, vol.4103
, pp. 400-415
-
-
Aslam, M.A.1
Auer, S.2
Shen, J.3
Herrmann, M.4
-
3
-
-
33744965630
-
-
L. Baresi and S. Guinea. Dynamo: Dynamic monitoring of ws-bpel processes. In B. Benatallah, F. Casati, and P. Traverso, editors, ICSOC, 3826 of Lecture Notes in Computer Science, pages 478-483. Springer, 2005.
-
L. Baresi and S. Guinea. Dynamo: Dynamic monitoring of ws-bpel processes. In B. Benatallah, F. Casati, and P. Traverso, editors, ICSOC, volume 3826 of Lecture Notes in Computer Science, pages 478-483. Springer, 2005.
-
-
-
-
4
-
-
33744965631
-
-
L. Baresi and S. Guinea. Towards dynamic monitoring of ws-bpel processes. In B. Benatallah, F. Casati, and P. Traverso, editors, ICSOC, 3826 of Lecture Notes in Computer Science, pages 269-282. Springer, 2005.
-
L. Baresi and S. Guinea. Towards dynamic monitoring of ws-bpel processes. In B. Benatallah, F. Casati, and P. Traverso, editors, ICSOC, volume 3826 of Lecture Notes in Computer Science, pages 269-282. Springer, 2005.
-
-
-
-
5
-
-
70349925689
-
Embedding continuous lifelong verification in service life cycles
-
IEEE Computer Society, to appear
-
D. Bianculli, C. Ghezzi, and C. Pautasso. Embedding continuous lifelong verification in service life cycles. In PESOS 2009. IEEE Computer Society, 2009. to appear.
-
(2009)
PESOS 2009
-
-
Bianculli, D.1
Ghezzi, C.2
Pautasso, C.3
-
6
-
-
4544349729
-
Adding high availability and autonomic behavior to web services
-
IEEE Computer Society
-
K. P. Birman, R. van Renesse, and W. Vogels. Adding high availability and autonomic behavior to web services. In ICSE, pages 17-26. IEEE Computer Society, 2004.
-
(2004)
ICSE
, pp. 17-26
-
-
Birman, K.P.1
van Renesse, R.2
Vogels, W.3
-
7
-
-
37149017070
-
Model transformation from owl-s to bpel via sitra
-
D. H. Akehurst, R. Vogel, and R. F. Paige, editors, ECMDA-FA, of, Springer
-
B. Bordbar, G. Howells, M. Evans, and A. Staikopoulos. Model transformation from owl-s to bpel via sitra. In D. H. Akehurst, R. Vogel, and R. F. Paige, editors, ECMDA-FA, volume 4530 of Lecture Notes in Computer Science, pages 43-58. Springer, 2007.
-
(2007)
Lecture Notes in Computer Science
, vol.4530
, pp. 43-58
-
-
Bordbar, B.1
Howells, G.2
Evans, M.3
Staikopoulos, A.4
-
8
-
-
60349108888
-
A fault taxonomy for web service composition
-
E. D. Nitto and M. Ripeanu, editors, ICSOC Workshops, of, Springer
-
K. S. M. Chan, J. Bishop, J. Steyn, L. Baresi, and S. Guinea. A fault taxonomy for web service composition. In E. D. Nitto and M. Ripeanu, editors, ICSOC Workshops, volume 4907 of Lecture Notes in Computer Science, pages 363-375. Springer, 2009.
-
(2009)
Lecture Notes in Computer Science
, vol.4907
, pp. 363-375
-
-
Chan, K.S.M.1
Bishop, J.2
Steyn, J.3
Baresi, L.4
Guinea, S.5
-
9
-
-
70349929566
-
-
O. S. Coalition. Owl-s: Semantic markup for web services, 2004. http://www.daml.org/services/owl-s/1.1.
-
O. S. Coalition. Owl-s: Semantic markup for web services, 2004. http://www.daml.org/services/owl-s/1.1.
-
-
-
-
10
-
-
34548761926
-
Shiws: A self-healing integrator for web services
-
IEEE Computer Society
-
G. Denaro, M. Pezzè, and D. Tosi. Shiws: A self-healing integrator for web services. In ICSE Companion, pages 55-56. IEEE Computer Society, 2007.
-
(2007)
ICSE Companion
, pp. 55-56
-
-
Denaro, G.1
Pezzè, M.2
Tosi, D.3
-
11
-
-
84956858712
-
Transparent fault tolerance for web services based architectures
-
B. Monien and R. Feldmann, editors, Euro-Par, of, Springer
-
V. Dialani, S. Miles, L. Moreau, D. D. Roure, and M. Luck. Transparent fault tolerance for web services based architectures. In B. Monien and R. Feldmann, editors, Euro-Par, volume 2400 of Lecture Notes in Computer Science, pages 889-898. Springer, 2002.
-
(2002)
Lecture Notes in Computer Science
, vol.2400
, pp. 889-898
-
-
Dialani, V.1
Miles, S.2
Moreau, L.3
Roure, D.D.4
Luck, M.5
-
12
-
-
11444265910
-
Dynamic workflow composition: Using markov decision processes
-
P. Doshi, R. Goodwin, R. Akkiraju, and K. Verma. Dynamic workflow composition: Using markov decision processes. Int. J. Web Service Res., 2(1):1-17, 2005.
-
(2005)
Int. J. Web Service Res
, vol.2
, Issue.1
, pp. 1-17
-
-
Doshi, P.1
Goodwin, R.2
Akkiraju, R.3
Verma, K.4
-
13
-
-
70349925636
-
-
H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based verification of web service compositions. In ASE, pages 152-163. IEEE Computer Society, 2003.
-
H. Foster, S. Uchitel, J. Magee, and J. Kramer. Model-based verification of web service compositions. In ASE, pages 152-163. IEEE Computer Society, 2003.
-
-
-
-
14
-
-
24344455464
-
-
T. Friese, J. P. Müller, and B. Freisleben. Self-healing execution of business processes based on a peer-to-peer service architecture. In M. Beigl and P. Lukowicz, editors, ARCS, 3432 of Lecture Notes in Computer Science, pages 108-123. Springer, 2005.
-
T. Friese, J. P. Müller, and B. Freisleben. Self-healing execution of business processes based on a peer-to-peer service architecture. In M. Beigl and P. Lukowicz, editors, ARCS, volume 3432 of Lecture Notes in Computer Science, pages 108-123. Springer, 2005.
-
-
-
-
17
-
-
53849137810
-
Towards autonomic web services: Achieving self-healing using web services
-
S. A. Gurguis and A. Zeid. Towards autonomic web services: achieving self-healing using web services. ACM SIGSOFT Software Engineering Notes, 30(4):1-5, 2005.
-
(2005)
ACM SIGSOFT Software Engineering Notes
, vol.30
, Issue.4
, pp. 1-5
-
-
Gurguis, S.A.1
Zeid, A.2
-
19
-
-
29144442008
-
A declarative approach to composing web services in dynamic environments
-
T. Madhusudan and N. Uttamsingh. A declarative approach to composing web services in dynamic environments. Decision Support Systems, 41(2):325-357, 2006.
-
(2006)
Decision Support Systems
, vol.41
, Issue.2
, pp. 325-357
-
-
Madhusudan, T.1
Uttamsingh, N.2
-
20
-
-
70349906823
-
-
S. A. McIlraith and T. C. Son. Adapting golog for composition of semantic web services. In D. Fensel, F. Giunchiglia, D. L. McGuinness, and M.-A. Williams, editors, KR, pages 482-496. Morgan Kaufmann, 2002.
-
S. A. McIlraith and T. C. Son. Adapting golog for composition of semantic web services. In D. Fensel, F. Giunchiglia, D. L. McGuinness, and M.-A. Williams, editors, KR, pages 482-496. Morgan Kaufmann, 2002.
-
-
-
-
21
-
-
0141538158
-
Architectural style requirements for self-healing systems
-
D. Garlan, J. Kramer, and A. L. Wolf, editors, ACM
-
M. Mikic-Rakic, N. R. Mehta, and N. Medvidovic. Architectural style requirements for self-healing systems. In D. Garlan, J. Kramer, and A. L. Wolf, editors, WOSS, pages 49-54. ACM, 2002.
-
(2002)
WOSS
, pp. 49-54
-
-
Mikic-Rakic, M.1
Mehta, N.R.2
Medvidovic, N.3
-
22
-
-
46849115394
-
A self-healing framework for web services
-
IEEE Computer Society
-
H. Naccache and G. C. Gannod. A self-healing framework for web services. In ICWS, pages 398-345. IEEE Computer Society, 2007.
-
(2007)
ICWS
, pp. 398-345
-
-
Naccache, H.1
Gannod, G.C.2
-
23
-
-
70349912126
-
-
OASIS. Web services business process execution language version 2.0, January 2007
-
OASIS. Web services business process execution language version 2.0, January 2007. http://docs.oasisopen. org/wsbpel/2.0/CS01/wsbpel-v2.0-CS01.pdf.
-
-
-
-
25
-
-
22944492697
-
Planning and monitoring web service composition
-
C. Bussler and D. Fensel, editors, AIMSA, of, Springer
-
M. Pistore, F. Barbon, P. Bertoli, D. Shaparau, and P. Traverso. Planning and monitoring web service composition. In C. Bussler and D. Fensel, editors, AIMSA, volume 3192 of Lecture Notes in Computer Science, pages 106-115. Springer, 2004.
-
(2004)
Lecture Notes in Computer Science
, vol.3192
, pp. 106-115
-
-
Pistore, M.1
Barbon, F.2
Bertoli, P.3
Shaparau, D.4
Traverso, P.5
-
26
-
-
9344254422
-
Htn planning for web service composition using shop2
-
E. Sirin, B. Parsia, D.Wu, J. A. Hendler, and D. S. Nau. Htn planning for web service composition using shop2. J. Web Sem., 1(4):377-396, 2004.
-
(2004)
J. Web Sem
, vol.1
, Issue.4
, pp. 377-396
-
-
Sirin, E.1
Parsia, B.2
Wu, D.3
Hendler, J.A.4
Nau, D.S.5
|