Rationality of Service Composition of Workflow Net in a Service Oriented Architecture

Conference paper
Part of the IFIP Advances in Information and Communication Technology book series (IFIPAICT, volume 426)


Users’ requirements change drives an information system evolution. Consequently, such evolution affects those atomic services which provide functional operations from one state of their composition to another state of composition. A challenging issue associated with such evolution of the state of service composition is to ensure a resultant service composition remaining rational. This paper presents a method of Service Composition Atomic-Operation Set (SCAOS). SCAOS defines 2 classes of atomic operations and 13 kinds of basic service compositions to aid a state change process by using Workflow Net. The workflow net has algorithmic capabilities to compose the required services with rationality and maintain any changes to the services in a different composition also rational. This method can improve the adaptability to the ever changing business requirements of information systems in the dynamic environment.


Service Composition Service Composition Atomic-Operation Set Rationality Workflow Net SOA 


  1. 1.
    Newcomer, E., Lomow, G.: Understanding SOA with Web Services. Addison Wesley Professional (2004)Google Scholar
  2. 2.
    Xiaolu, C., Yuqi, L.: Web Services technology, architecture and Application. Electronics Industry Press, Beijing (2002)Google Scholar
  3. 3.
    Jian, Y., Yanbo, H.: Service oriented computing-principle and application. Tsinghua university press, Beijing (2006)Google Scholar
  4. 4.
    Zhongyu, Z., Guangqi, H.: Transparency of Information System Service Evolution. Computer Engineering and Design 32 (2011)Google Scholar
  5. 5.
    Ryu, S.H., Casati, F., Skogsrud, H., Benatallah, B., Saint-Paul, R.: Supporting the dynamic evolution of Web service protocols in service-oriented architectures. ACM Transactions on the Web 2, 1–45 (2008)CrossRefGoogle Scholar
  6. 6.
    Papazoglou, M.P.: The challenges of service evolution. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 1–15. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  7. 7.
    Zhongyu, Z., Guangqi, H., Tao, C., Pei, Z.: Approach of QoS-Oriented Services Run-Time Binding. Computer Engineering and Design 32, 2700–2703 (2011)Google Scholar
  8. 8.
    Guangqi, H., Chuanqing, C., Chenping, S., Zhongyu, Z.: Study on Evolution Behavior of Service Combination under Unchanged Set. Compute Science 39 (2012)Google Scholar
  9. 9.
    Jin, Z., Hailong, S., Xudong, L., Ting, D., Jinpeng, H.: Dynamic evolution mechanism for trustworthy software based on service composition. Institute of Software 21, 261–276 (2010)Google Scholar
  10. 10.
    Von de Aalst, W.M.P., Jablonski, S.: Dealing with workflow change: Identification of issues and solutions. Int’l Journal of Computer System Science & Engineering 15, 267–276 (2000)Google Scholar
  11. 11.
    Andrikopoulos, V., Benbernou, S., Papazoglou, M.P.: Managing the evolution of service specifications. In: Bellahsène, Z., Léonard, M. (eds.) CAiSE 2008. LNCS, vol. 5074, pp. 359–374. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  12. 12.
    Wei, S., Xiaoxing, M., Jian, L.: Instance migration in dynamic evolution of web service compositions. Chinese Journals of Computers 32, 1816–1831 (2009)Google Scholar
  13. 13.
    Lohmann, N.: A feature-complete petri net semantics for WS-BPEL 2.0. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 77–91. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  14. 14.
    Lohmann, N., Wolf, K.: How to implement a theory of correctness in the area of business processes and services. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol. 6336, pp. 61–77. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  15. 15.
    Liske, N., Lohmann, N., Stahl, C., Wolf, K.: Another Approach to Service Instance, Service-Oriented Computing. In: 7th International Joint Conference, pp. 24–27 (2009)Google Scholar
  16. 16.
    Van der Aalst, W.: Workflow Management Models, Methods, and Systems. The MIT Press Cambridge, Massachusetts (2002)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2014

Authors and Affiliations

  1. 1.Science and Technology on Information Systems Engineering LaboratoryNational University of Defense TechnologyChangshaChina
  2. 2.School of Management and EconomicsBeijing Institute of TechnologyBeijingChina
  3. 3.School of Systems EngineeringUniversity of ReadingUK

Personalised recommendations