A Service-Oriented Architecture (SOA) Framework Component for Verification of Choreography

  • Prachet Bhuyan
  • Abhishek Ray
  • Durga Prasad Mohapatra
Conference paper
Part of the Smart Innovation, Systems and Technologies book series (SIST, volume 33)


Service-Oriented Architecture (SOA) is a paradigm that encourages organization to understand, how their information technology infrastructure capabilities can be organized to achieve business goals? SOA promises a challenging generation of information systems application based on a new set of standards for enabling self describing, interoperable web services. The web service composition supports choreography in SOA. The web service composition is mainly managed through orchestration and choreography of services. In this paper, we propose a Framework for Service Choreography (FSC) to control the business processes in SOA to reduce complexity in web service composition. To address choreography security issues while passing messages between the services choreographed in SOA, we also propose a Verification Model (VM) using Security Assertions Markup Language (SAML 2.0) to provide authentication and authorization. Then, we have implemented the proposed choreography model.


SOA Web services Choreography Orchestration Framework for service choreography (FSC) Verification model (VM) 


  1. 1.
    Braker, A., Walton, C.D., Roberston, D.D.: Choreographing web services. IEEE Trans. Serv. Comput. 2, 152–166 (2009)Google Scholar
  2. 2.
    Zhao, C., Duan, Z., Zhang, M.: Model-driven approach for dynamic web service compositionGoogle Scholar
  3. 3.
    Fonseca, J., Abdelouahab, Z., Lopes, D., Labidi, S.: A security framework for SOA applications in mobile environment. Int. J. Netw. Secur. Appl. (IJNSA) 1(3), 90–107Google Scholar
  4. 4.
    Rao, P.J., Martin, M.: Logic-based web services composition: from service description to process model. In: International Conference on Web Services (ICWS), IEEE PressGoogle Scholar
  5. 5.
    Gómez-Gutiérrez, J.A., Rivera-Vega, P.I.: A framework for smooth composition of choreographies of web services. In: International Conference on Web Services (2007)Google Scholar
  6. 6.
    Kamatchi, R.: Security visualization collaborative security framework for service-oriented architecture. Int. J. Modell. Optim. 2(4), 558–562Google Scholar
  7. 7.
    Kovac, D., Trcek, D.: A survey of web services orchestration and choreography with formal modelsGoogle Scholar
  8. 8.
    Pahl, C., Zhu, Y.: A semantical framework for the orchestration and choreography of web services. Electron. Notes Theoret. Comput. Sci. 151, 3–18 (2006)CrossRefGoogle Scholar
  9. 9.
    Peltz, C.: Web service orchestration and choreography. IEEE Comput. Soc. 36(10), 46–52Google Scholar
  10. 10.
    Roglinger, M.: Verification of web service compositions: an operationalization of correctness and a requirements framework for service-oriented modeling techniques. Bus. Inf. Syst. Eng. 1, 429–437Google Scholar
  11. 11.
    Rebai, S., Kacem, H.A., Kacem, H.H.: Position paper: an integration approach of service composition models: from choreography to orchestration. In: IEEE 21st International WETICEGoogle Scholar
  12. 12.
    Yoon, Y., Ye, C., Jacobsen, H.A.: A distributed framework for reliable and efficient service choreographies. Department of Electrical and Computer Engineering University of TorontoGoogle Scholar

Copyright information

© Springer India 2015

Authors and Affiliations

  • Prachet Bhuyan
    • 1
  • Abhishek Ray
    • 1
  • Durga Prasad Mohapatra
    • 2
  1. 1.School of Computer EngineeringKIIT UniversityBhubaneswarIndia
  2. 2.Department of Computer Science & EngineeringNITRourkelaIndia

Personalised recommendations