-
1
-
-
67649390370
-
Business process execution language for web services
-
Version 1.1, International Business Machines Corporation, and Microsoft Corporation
-
Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., & Leymann, F. (2003). Business Process Execution Language for Web Services, Version 1.1. Standards proposal by BEA Systems. International Business Machines Corporation, and Microsoft Corporation.
-
(2003)
Standards Proposal by BEA Systems
-
-
Andrews, T.1
Curbera, F.2
Dholakia, H.3
Goland, Y.4
Klein, J.5
Leymann, F.6
-
2
-
-
0043063020
-
DAML-S: Web service description for the semantic web
-
In, Sardinia, Italy
-
Ankolekar, A., Burstein, M., et al. (2002). DAML-S: Web Service Description for the Semantic Web. In Proceedings of the 1st International Semantic Web Conference (ISWC), Sardinia, Italy.
-
(2002)
Proceedings of the 1st International Semantic Web Conference (ISWC)
-
-
Ankolekar, A.1
Burstein, M.2
-
3
-
-
33646156007
-
-
December, version 2.0 Tech. Rep. OASIS
-
Arkin, A., Askary, S., Bloch, B., & Curbera, F. (2004, December). Web services business process execution language version 2.0 (Tech. Rep. OASIS).
-
(2004)
Web Services Business Process Execution Language
-
-
Arkin, A.1
Askary, S.2
Bloch, B.3
Curbera, F.4
-
4
-
-
33746698673
-
-
March, Retrieved from
-
Barros, A., Dumas, M., & Oaks, P. (2005, March). Critical overview of the Web services choreography description language (ws-cdl). Retrieved from http://www.bptrends.com
-
(2005)
Critical Overview of the Web Services Choreography Description Language (ws-cdl)
-
-
Barros, A.1
Dumas, M.2
Oaks, P.3
-
5
-
-
84873429075
-
Modeling data processes for service specifications in colombo
-
In M. Missiko & A. D. Nicola Eds., of CEUR Workshop, Retrieved from CEUR-WS.org
-
Berardi, D., Calvanese, D., Giacomo, G. D., Hull, R., Lenzerini, M., & Mecella, M. (2005a). Modeling data processes for service specifications in colombo. In M. Missiko & A. D. Nicola (Eds.), Proceedings of EMOI-INTEROP, volume 160 of CEUR Workshop. Retrieved from CEUR-WS.org
-
(2005)
Proceedings of EMOI-INTEROP
, vol.160
-
-
Berardi, D.1
Calvanese, D.2
Giacomo, G.D.3
Hull, R.4
Lenzerini, M.5
Mecella, M.6
-
6
-
-
37149008830
-
-
In A. Cal, D. Calvanese, E. Franconi, M. Lenzerini, & L. Tanca Eds., Proceedings of SEBD
-
Berardi, D., Calvanese, D., Giacomo, G. D., Hull, R., & Mecella, M. (2005b). Automatic composition of Web services in colombo. In A. Cal, D. Calvanese, E. Franconi, M. Lenzerini, & L. Tanca (Eds.), Proceedings of SEBD (pp. 815).
-
(2005)
Automatic Composition of Web Services in Colombo
, pp. 815
-
-
Berardi, D.1
Calvanese, D.2
Giacomo, G.D.3
Hull, R.4
Mecella, M.5
-
7
-
-
10444244298
-
Formalizing Web service choreographies
-
doi:10.1016/j.entcs.2004.05.007
-
Brogi, A., Canal, C., Pimentel, E., & Vallecillo, A. (2004). Formalizing Web service choreographies. Electronic Notes in Theoretical Computer Science, 105, 73-94. doi:10.1016/j.entcs.2004.05.007
-
(2004)
Electronic Notes in Theoretical Computer Science
, vol.105
, pp. 73-94
-
-
Brogi, A.1
Canal, C.2
Pimentel, E.3
Vallecillo, A.4
-
8
-
-
0033714667
-
Web modeling language (Webml): A modeling language for designing Web sites
-
Ceri, S., Fraternali, P., & Bongio, A. (2000). Web modeling language (Webml): a modeling language for designing Web sites. Computer Networks, 33 (1-6), 137-157.
-
(2000)
Computer Networks
, vol.33
, Issue.1-6
, pp. 137-157
-
-
Ceri, S.1
Fraternali, P.2
Bongio, A.3
-
9
-
-
4744344330
-
Semantics based verification and synthesis of WSBPEL abstract processes
-
In, San Diego, CA
-
Duan, Z., Bernstein, A., et al. (2004). Semantics Based Verification and Synthesis of WSBPEL Abstract Processes. In Proceedings of the 3rd IEEE International Conference on Web Services, San Diego, CA.
-
(2004)
Proceedings of the 3rd IEEE International Conference on Web Services
-
-
Duan, Z.1
Bernstein, A.2
-
10
-
-
27144498657
-
ASM-based semantics for BPEL: The negative control flow
-
March, In D. Beauquier, E. Börger, & A. Slissenko Eds., Paris
-
Fahland, D., & Reisig, W. (2005, March). ASM-based semantics for BPEL: The negative control flow. In D. Beauquier, E. Börger, & A. Slissenko (Eds.), Proceedings of the 12th International Workshop on Abstract State Machines, Paris (pp. 131-151).
-
(2005)
Proceedings of the 12th International Workshop on Abstract State Machines
, pp. 131-151
-
-
Fahland, D.1
Reisig, W.2
-
12
-
-
33749990676
-
Formal verification of WSBPEL business collaborations
-
August, In K. Bauknecht, M. Bichler, & B. Proll Eds., Zaragoza, Spain LNCS 3182, Berlin: Springer Verlag
-
Fisteus, J., Fernandez, L., & Kloos, C. (2004, August). Formal verification of WSBPEL business collaborations. In K. Bauknecht, M. Bichler, & B. Proll (Eds.), Proceedings of the 5th International Conference on Electronic Commerce and Web Technologies (ECWeb '04), Zaragoza, Spain (LNCS 3182, pp. 7994). Berlin: Springer Verlag.
-
(2004)
Proceedings of the 5th International Conference on Electronic Commerce and Web Technologies (ECWeb '04)
, pp. 7994
-
-
Fisteus, J.1
Fernandez, L.2
Kloos, C.3
-
13
-
-
85017640349
-
Model-based verification of web service compositions
-
In
-
Foster, H., Sebastian, U., Jeff, M., & Jeff, K. (2003). Model-based Verification of Web Service Compositions. In Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE'03) (p. 152).
-
(2003)
Proceedings of the 18th IEEE International Conference on Automated Software Engineering (ASE'03)
, pp. 152
-
-
Foster, H.1
Sebastian, U.2
Jeff, M.3
Jeff, K.4
-
14
-
-
77954118006
-
Compatibility for web service choreography
-
In, San Diego, CA. Washington, DC: IEEE
-
Foster, H., Uchitel, S., et al. (2004a). Compatibility for Web Service Choreography. In Proceedings of the 3rd IEEE International Conference on Web Services (ICWS), San Diego, CA. Washington, DC: IEEE.
-
(2004)
Proceedings of the 3rd IEEE International Conference on Web Services (ICWS)
-
-
Foster, H.1
Uchitel, S.2
-
15
-
-
33749074287
-
Tool support for model-based engineering of web service compositions
-
In, Orlando, FL. Washington, DC: IEEE
-
Foster, H., Uchitel, S., et al. (2005a). Tool Support for Model-Based Engineering of Web Service Compositions. In Proceedings of the 3rd IEEE International Conference on Web Services (ICWS2005), Orlando, FL. Washington, DC: IEEE.
-
(2005)
Proceedings of the 3rd IEEE International Conference on Web Services (ICWS2005)
-
-
Foster, H.1
Uchitel, S.2
-
16
-
-
33749074958
-
Using a rigorous approach for engineering web service compositions: A case study
-
In, Orlando, FL. Washington, DC: IEEE
-
Foster, H., Uchitel, S., et al. (2005b). Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study. In Proceedings of the 2nd IEEE International Conference on Services Computing (SCC2005), Orlando, FL. Washington, DC: IEEE.
-
(2005)
Proceedings of the 2nd IEEE International Conference on Services Computing (SCC2005)
-
-
Foster, H.1
Uchitel, S.2
-
18
-
-
19944405131
-
Analysis of interacting BPEL Web services
-
Thirteenth International World Wide Web Conference Proceedings, WWW2004
-
Fu, X., Bultan, T., & Su, J. (2004). Analysis of interacting bpel Web services. In Proceedings of the 13th international conference on World Wide Web (WWW '04) (pp. 621-630). New York: ACM Press. (Pubitemid 40752796)
-
(2004)
Thirteenth International World Wide Web Conference Proceedings, WWW2004
, pp. 621-630
-
-
Fu, X.1
Bultan, T.2
Su, J.3
-
19
-
-
34250664305
-
Analysis of communication models in web service compositions
-
DOI 10.1145/1135777.1135819, Proceedings of the 15th International Conference on World Wide Web
-
Kazhamiakin, R., Pistore, M., & Santuari, L. (2006). Analysis of communication models in Web service compositions. In Proceedings of the 15th international conference on World Wide Web (WWW '06) (pp. 267-276). New York: ACM. (Pubitemid 46946619)
-
(2006)
Proceedings of the 15th International Conference on World Wide Web
, pp. 267-276
-
-
Kazhamiakin, R.1
Pistore, M.2
Santuari, L.3
-
20
-
-
0022605949
-
A logic-based calculus of events. New generation
-
Kowalski, R., & Sergot, M. J. (1986). A logic-based calculus of events. New generation. Computing, 4 (1), 67-95.
-
(1986)
Computing
, vol.4
, Issue.1
, pp. 67-95
-
-
Kowalski, R.1
Sergot, M.J.2
-
22
-
-
27144478032
-
Model-driven design and deployment of service-enabled web applications
-
DOI 10.1145/1084772.1084773
-
Manolescu, I., Brambilla, M., Ceri, S., Comai, S., & Fraternali, P. (2005). Model-driven design and deployment of service-enabled Web applications. ACM Transactions on Internet Technology, 5 (3), 439-479. doi:10.1145/1084772. 1084773 (Pubitemid 41497765)
-
(2005)
ACM Transactions on Internet Technology
, vol.5
, Issue.3
, pp. 439-479
-
-
Manolescu, I.1
Brambilla, M.2
Ceri, S.3
Comai, S.4
Fraternali, P.5
-
24
-
-
33745152541
-
-
Retrieved from BPMcenter.org
-
Ouyang, C., Aalst, W., Breutel, S., Dumas, M., & Verbeek, H. (2005). Formal Semantics and Analysis of Control Flow in WS-BPEL (BPM Center Report BPM-05-15). Retrieved from BPMcenter.org
-
(2005)
Formal Semantics and Analysis of Control Flow in WS-BPEL (BPM Center Report BPM-05-15)
-
-
Ouyang, C.1
Aalst, W.2
Breutel, S.3
Dumas, M.4
Verbeek, H.5
-
25
-
-
10444239472
-
Requirements-driven verification of Web services
-
doi:10.1016/j.entcs.2004.05.005
-
Pistore, M., Roveri, M., & Busetta, P. (2004). Requirements-driven verification of Web services. Electronic Notes in Theoretical Computer Science, 105, 95-108. doi:10.1016/j.entcs.2004.05.005
-
(2004)
Electronic Notes in Theoretical Computer Science
, vol.105
, pp. 95-108
-
-
Pistore, M.1
Roveri, M.2
Busetta, P.3
-
26
-
-
33845396748
-
Web service mining and verification of properties: An approach based on event calculus
-
November, In
-
Rouached, M., Gaaloul, G., van der Aalst, W., Bhiri, S., & Godart, C. (2006, November). Web service mining and verification of properties: An approach based on event calculus. In Proceedings 14th International Conference on Cooperative Information Systems (CoopIS 2006).
-
(2006)
Proceedings 14th International Conference on Cooperative Information Systems (CoopIS 2006)
-
-
Rouached, M.1
Gaaloul, G.2
Van Der Aalst, W.3
Bhiri, S.4
Godart, C.5
-
27
-
-
46849111813
-
Requirements-driven verification of wsbpel processes
-
July 9-13, In, Salt Lake City, Utah
-
Rouached, M., & Godart, C. (2007, July 9-13). Requirements-driven verification of wsbpel processes. In Proceedings of the IEEE International Conference on Web Services (ICWS'07), Salt Lake City, Utah.
-
(2007)
Proceedings of the IEEE International Conference on Web Services (ICWS'07)
-
-
Rouached, M.1
Godart, C.2
-
29
-
-
1642497296
-
The event calculus explained
-
LNCS 1600, New York: Springer Verlag
-
Shanahan, M. P. (1999). The Event Calculus Explained. In Artificial Intelligence Today (LNCS 1600, pp. 409-430). New York: Springer Verlag.
-
(1999)
In Artificial Intelligence Today
, pp. 409-430
-
-
Shanahan, M.P.1
-
30
-
-
33747106192
-
Non-intrusive monitoring of service-based systems
-
DOI 10.1142/S0218843006001384, PII S0218843006001384
-
Spanoudakis, G., & Mahbub, K. (2006). Non Intrusive Monitoring of Service Based Systems. International Journal of Cooperative Information Systems, 15 (3), 325-358. doi:10.1142/S0218843006001384 (Pubitemid 44221751)
-
(2006)
International Journal of Cooperative Information Systems
, vol.15
, Issue.3
, pp. 325-358
-
-
Spanoudakis, G.1
Mahbub, K.2
-
31
-
-
14044264808
-
Transformation von WSBPEL in Petrinetze
-
Humboldt University, Berlin
-
Stahl, C. (2004). Transformation von WSBPEL in Petrinetze. Unpublished master's thesis, Humboldt University, Berlin.
-
(2004)
Unpublished Master's Thesis
-
-
Stahl, C.1
-
32
-
-
0035197790
-
A general framework to build contextual cover set induction provers
-
DOI 10.1006/jsco.2000.0469
-
Stratulat, S. (2001). A general framework to build contextual cover set induction provers. Journal of Symbolic Computation, 32 (4), 403-445. doi:10.1006/jsco.2000.0469 (Pubitemid 33098451)
-
(2001)
Journal of Symbolic Computation
, vol.32
, Issue.4
, pp. 403-445
-
-
Stratulat, S.1
-
34
-
-
17744370931
-
Notations for the specification and verification of composite web services
-
In, Conference, Monterey, CA
-
Woodman, S., Palmer, D., et al. (2004). Notations for the Specification and Verification of Composite Web Services. In Proceedings of the 8th IEEE International Enterprise Distributed Object Computing (EDOC) Conference, Monterey, CA.
-
(2004)
Proceedings of the 8th IEEE International Enterprise Distributed Object Computing (EDOC)
-
-
Woodman, S.1
Palmer, D.2
-
35
-
-
33749054052
-
Verifying Web services composition based on hierarchical colored petri nets
-
In, New York: ACM Press
-
Yang, Y., Tan, Q., & Xiao, Y. (2005). Verifying Web services composition based on hierarchical colored petri nets. In Proceedings of the first international workshop on Interoperability of heterogeneous information systems (IHIS '05) (pp. 47-54). New York: ACM Press.
-
(2005)
Proceedings of the First International Workshop on Interoperability of Heterogeneous Information Systems (IHIS '05)
, pp. 47-54
-
-
Yang, Y.1
Tan, Q.2
Xiao, Y.3
|