Dependability and flexibility centered approach for composite web services modeling

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4275 LNCS - I, Issue , 2006, Pages 163-182

  Ben Lakhal, Neila ^a   Kobayashi, Takashi ^a   Yokota, Haruo ^a  

^a TOKYO INSTITUTE OF TECHNOLOGY   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER ARCHITECTURE; COMPUTER SYSTEM RECOVERY; CONSTRAINT THEORY; WORLD WIDE WEB;

COMPOSABILITY RULES; FORMAL NOTATION; SERVICE-ORIENTED ARCHITECTURE (SOA); WEB SERVICES (WS);

TELECOMMUNICATION SERVICES;

EID: 33845452770     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Conference Paper

References (24)

1. IBM, Systems, B., Microsoft, AG, S., Systems, S.: Bpel4ws business process execution language for web services (2005)
2. Martin, D., al.: Owl-s: Semantic markup for web services, www.daml-s.org (2004)
3. Casati, F., Ilnicki, S., Jin, L., Krishnamoorthy, V., Shan, M.: Adaptive and dynamic service composition in eflow. In Wangler, B., Bergman, L., eds.: 12th inter. Conf. on Advanced information Sys. Eng. Volume 1789 of LNCS., London (2000) 13-31
4. Benatallah, B.and Dumas, M., Sheng, Q.: Facilitating the rapid development and scalable orchestration of composite web services. Dist. and Parallel Databases 17(1) (2005) 5
5. Wu, D., Parsia, B., Sirin, W., Hendler, J., Nau, D. In: Automating DAML-S Web Services Composition Using SHOP2. Volume 2870. LNCS, Springer-Verlag (2003) 195-210
6. Sahai, A., Machiraju, V., Sayal, M., van Moorsel, A.P.A., Casati, F.: Automated sla monitoring for web services. In: DSOM '02: Proc. of the 13th IFIP/IEEE Int. Workshop on Distributed Sys., London, UK, Springer-Verlag (2002) 28-41
7. Pires, P.F. and Mattoso, M., Benevides, M.: Building Reliable Web Services Compositions. In: Web, Web-Services, and Database Systems. Volume 2593. LNCS (2002) 59-72
8. Elmagarmid, A.: Database transaction models for advanced applications. Morgan Kaufmann, San Mateo, California (1992)
9. Khalaf, R., Mukhi, N., Weerawarana, S.: Service-oriented composition in bpel4ws. In: WWW (Alternate Paper Tracks). (2003)
10. Curbera, F., Khalaf, R., Mukhi, N., Tai, S., Weerawarana, S.: The next step in web services. Commun. ACM 46(10) (2003) 29-34
11. Cabrera, F., et al.: Specification: Web services transaction (ws-transaction). http://www-106.ibm.com/developerworks/webservices/library/ws- transpec/ (2002)
12. Fujitsu, IONA, O., Sun, A.T.: Web services composite application framework(ws-caf). http://www.arjuna.com/standards/ws-caf/ (2003)
13. Benlakhal, N., Kobayashi, T., Yokota, H.: Throws: An architecture for highly available distributed execution of web services compositions. In: IEEE 14th Intl. Workshop on Research Issues on Data Engineering: Web Services for E-Commerce and E-Govemment Applications (RIDE'04), Boston, USA, IEEE (2004) 103-110
14. van der Aalst, W., Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow patterns. Distributed and Parallel Databases 14(1) (2003) 5-51
15. Aalst, W.: Don't go with the flow: Web services composition standards exposed. IEEE Intelligent Systems 18(1) (2003) 72-76
16. C.A.R.Hoare: Communicating Sequential Processes. Prentice Hall (1985)
17. Butler, M.J., Hoare, C.A.R., Ferreira, C.: A trace semantics for long-running transactions. In: 25 Years Communicating Sequential Processes. (2004) 133-150
18. Benlakhal, N., Kobayashi, T., Yokota, H.: A failure-aware model for estimating and analyzing the efficiency of web services compositions. In: IEEE 11th Int.Symp.on Pacific Rim Dependable Computing (PRDC2005), Changsha.China, IEEE (2005) pp. 114-121
19. Wohed, P., van der Aalst, W.M., Dumas, M., al.: Pattern based analysis of bpel4ws (2002)
20. Benlakhal, N., Kobayashi, T., Yokota, H.: A well-defined and failure-aware model for estimating the efficiency of web services compositions. In: Proc. of IEEE Intl. Workshop on Challenges in Web Information Retrieval and Integration(WIRI) In conjunction with ICDE2005, Tokyo, Japan, IEEE (2005) 47-54
21. Salan, G., Bordeaux, L., Schaerf, M.: Describing and reasoning on web services using process algebra. In: Proc. of Int. Conf. on Web Services, USA, IEEE (2004) 43
22. Ammann, P., Jajodia, S., Ray, I.: Applying formal methods to semantic-based decomposition of transactions. ACM Trans. Database Syst. 22(2) (1997) 215-254
23. Vieira, T.A.S.C., Casanova, M.A., Ferrao, L.G.: An ontology-driven architecture for flexible workflow execution, la-webmedia 00 (2004) 70-77
24. Gomez-Perez, Gonzalez-Cabero, R., Lama, M.: Ode sws: A framework for designing and composing semantic web services. IEEE Intelligent Systems 19(4) (2004) 24-31