Dependability and Flexibility Centered Approach for Composite Web Services Modeling

  • Neila Ben Lakhal
  • Takashi Kobayashi
  • Haruo Yokota
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4275)


The interest surrounding the Web services (WS) composition issue has been growing tremendously. In the near future, it is awaited to prompt a veritable shift in the distributed computing history, by making the Service-Oriented Architecture (SOA) a reality. Yet, the way ahead is still long. A careful investigation of a major part of the solutions proposed so far reveals that they follow a workflow-like composition approach and that they view failures as exceptional situations that need not to be a primary concern. In this paper, we claim that obeying these assumptions in the WS realm may constrain critically the chances to achieve a high-dependability level and may hamper significantly flexibility. Motivated with these arguments, we propose a WS composition modeling approach that accepts failures inevitability and enriches the composition with concepts that can add flexibility and dependability but that are not part from the WS architecture pillars, namely, the state, the transactional behavior, the vitality degree, and the failure recovery. In addition, we describe a WS composition in terms of definition rules, composability rules, and ordering rules, and we introduce a graphical and a formal notation to ensure that a WS composition is easily and dynamically adaptable to best suit the requirements of a continuously changing environment. Our approach can be seen as a higher level of abstraction of many of the current solutions, since it extends them with the required support to achieve higher flexibility, dependability, and expressiveness power.


Aggregation Pattern Composability Rule Graphical Notation Business Process Execution Language Failure Recovery 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    IBM, Systems, B., Microsoft, AG, S., Systems, S.: Bpel4ws business process execution language for web services (2005)Google Scholar
  2. 2.
    Martin, D., et al.: Owl-s: Semantic markup for web services (2004),
  3. 3.
    Casati, F., Ilnicki, S., Jin, L., Krishnamoorthy, V., Shan, M.: Adaptive and dynamic service composition in eFlow. In: Wangler, B., Bergman, L.D. (eds.) CAiSE 2000. LNCS, vol. 1789, pp. 13–31. Springer, Heidelberg (2000)CrossRefGoogle Scholar
  4. 4.
    Benatallah, B., Dumas, M., Sheng, Q.: Facilitating the rapid development and scalable orchestration of composite web services. Dist. and Parallel Databases 17(1), 5 (2005)CrossRefGoogle Scholar
  5. 5.
    Wu, D., Parsia, B., Sirin, W., Hendler, J., Nau, D.: Automating DAML-S Web Services Composition Using SHOP2. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol. 2870, pp. 195–210. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  6. 6.
    Sahai, A., Machiraju, V., Sayal, M., van Moorsel, A.P.A., Casati, F.: Automated sla monitoring for web services. In: Feridun, M., Kropf, P.G., Babin, G. (eds.) DSOM 2002. LNCS, vol. 2506, pp. 28–41. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  7. 7.
    Pires, P.F., Mattoso, M., Benevides, M.: Building Reliable Web Services Compositions. In: Chaudhri, A.B., Jeckle, M., Rahm, E., Unland, R. (eds.) NODe-WS 2002. LNCS, vol. 2593, pp. 59–72. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  8. 8.
    Elmagarmid, A.: Database transaction models for advanced applications. Morgan Kaufmann, San Mateo (1992)Google Scholar
  9. 9.
    Khalaf, R., Mukhi, N., Weerawarana, S.: Service-oriented composition in bpel4ws. In: WWW (Alternate Paper Tracks) (2003)Google Scholar
  10. 10.
    Curbera, F., Khalaf, R., Mukhi, N., Tai, S., Weerawarana, S.: The next step in web services. Commun. ACM 46(10), 29–34 (2003)CrossRefGoogle Scholar
  11. 11.
    Cabrera, F., et al.: Specification: Web services transaction (ws-transaction) (2002),
  12. 12.
    Fujitsu, Iona, O., Sun, A.T.: Web services composite application framework (ws-caf) (2003),
  13. 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-Government Applications (RIDE 2004), Boston, USA, pp. 103–110. IEEE, Los Alamitos (2004)Google Scholar
  14. 14.
    van der Aalst, W., Hofstede, A., Kiepuszewski, B., Barros, A.: Workflow patterns. Distributed and Parallel Databases 14(1), 5–51 (2003)CrossRefGoogle Scholar
  15. 15.
    Aalst, W.: Don’t go with the flow: Web services composition standards exposed. IEEE Intelligent Systems 18(1), 72–76 (2003)CrossRefGoogle Scholar
  16. 16.
    Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)MATHGoogle Scholar
  17. 17.
    Butler, M.J., Hoare, C.A.R., Ferreira, C.: A trace semantics for long-running transactions. In: 25 Years Communicating Sequential Processes, pp. 133–150 (2004)Google Scholar
  18. 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, pp. 114–121. IEEE, Los Alamitos (2005)Google Scholar
  19. 19.
    Wohed, P., van der Aalst, W.M., Dumas, M., et al.: Pattern based analysis of bpel4ws (2002)Google Scholar
  20. 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, pp. 47–54. IEEE, Los Alamitos (2005)Google Scholar
  21. 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, vol. 43. IEEE, Los Alamitos (2004)Google Scholar
  22. 22.
    Ammann, P., Jajodia, S., Ray, I.: Applying formal methods to semantic-based decomposition of transactions. ACM Trans. Database Syst. 22(2), 215–254 (1997)CrossRefGoogle Scholar
  23. 23.
    Vieira, T.A.S.C., Casanova, M.A., Ferrao, L.G.: An ontology-driven architecture for flexible workflow execution. La-webmedia 2000, 70–77 (2004)Google Scholar
  24. 24.
    Gomez-Perez, Gonzalez-Cabero, R., Lama, M.: Ode sws: A framework for designing and composing semantic web services. IEEE Intelligent Systems 19(4), 24–31 (2004)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Neila Ben Lakhal
    • 1
  • Takashi Kobayashi
    • 2
  • Haruo Yokota
    • 1
    • 2
  1. 1.Department of Computer ScienceTokyo Institute of Technology
  2. 2.Global Scientific Information, and Computing CenterTokyo Institute of Technology

Personalised recommendations