Skip to main content
SpringerLink
Log in

Dynamic Composition and Analysis of Modern Service-Oriented Information Systems

  • Conference paper
  • First Online:
Dynamics of Information Systems: Algorithmic Approaches

Part of the book series: Springer Proceedings in Mathematics & Statistics ((PROMS,volume 51))

  • 1009 Accesses

Abstract

Despite all the advantages brought by service-oriented architecture (SOA), experts argue that SOA introduces more complexity into information systems rather than resolving it. The problem of service integration challenges modern companies taking the risk of implementing SOA. One of important aspects of this problem relates to dynamic service composition, which has to take into account many types of information and restrictions existing in each enterprise. Moreover, all the changes in business logic should also be promptly reflected. This chapter proposes the approach to solution of the stated problem based on such concepts as model-driven architecture (MDA), ontology modelling and logical analysis. The approach consists of several steps of modelling and finite scope logical analysis for automated translation of business processes into the sequence of service invocations. Formal language of relational logic is proposed as a key element of the proposed approach which is responsible for logical analysis and service workflow generation. We present a logical theory to automatically specialize generic orchestration templates which are close to semantic specification of abstract services in OWL-S. The developed logical theory is described formally in terms of Relational Logic. Our approach is implemented and tested using MIT Alloy Analyzer software.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Bhiri, S., Gaaloul, W., Rouached, M., Hauswirth, M.: Semantic Web Services for Satisfying SOA Requirements. In: Advances in Web Semantics I, LNCS 4891, 374–395, Springer, Heidelberg (2008)

    Google Scholar 

  2. Borgida, A., Brachman, R.J.: Conceptual Modeling with Description Logics. In: Baader, F., Calvanese, D., McGuinness, D.L.,Nardi, D.,Patel-Schneider, P.F. (eds.) The description logic handbook: theory, implementation, and applications, pp. 349–372. Cambridge University Press (2003)

    Google Scholar 

  3. Channabasavaiah, K., Holley, K., Tuggle, E.M.: Migrating to a service-oriented architecture. IBM DeveloperWorks (2003)

    Google Scholar 

  4. Curbera, F., Goland Y., Klein, J., Leymann, F., Roller, D., Thatte, S., Weerawarana, S.: Business Process Execution Language for Web Services, Version 1.1. http://www-106.ibm.com/developerworks/library/ws-bpel/ Cited 01 May 2012

  5. Domingue, J., Cabral, L., Galizia, S., Tanasescu, V., Gugliotta, A., Norton, B., Carlos, P.:IRS-III: A broker-based approach to semantic Web services. J. Web Sem. 6(2), 109–132, (2008)

    Google Scholar 

  6. Doucy, J., Abdulrab, H., Giroux, P., Kotowicz, J.: A new approach to populate a semantic service registry. LNCS, 6724, pp. 112–125, Springer, Heidelberg (2011)

    Google Scholar 

  7. Duan, Z., Bernstein, A., Lewis, P., Lu, S.: A model for abstract process specification, verification and composition. In: ICSOC ’04: Proceedings of the Second International Conference on Service Oriented Computing. pp. 232–241. (2004)

    Google Scholar 

  8. Emig, C., Langer, K.: The SOAs Layers, Cooperation and Management, Universitt Karlsruhe (TH) (2006)

    Google Scholar 

  9. Erl, T.: What is SOA – Service-Oriented Architecture http://www.whatissoa.com/p10.asp. Cited 01 May 2012

  10. Eshuis, R., Grefen, P., Till,: Structured service composition. Vol. 4102 LNCS. (2006).

    Google Scholar 

  11. Giroux, P., Brunessaux, S., Brunessaux, S., Doucy, J., Dupont, G., Grilheres, B., Mombrun, Y., Saval, A.: Weblab – An integration infrastructure to ease the development of multimedia processing applications. In: International Conference on Software and System Engineering and their Applications (ICSSEA) (2008)

    Google Scholar 

  12. Gruber, T. R.: A Translation Approach to Portable Ontology Specifications. Knowledge Acquisition, 5(2), 199–220 (1993)

    Article  Google Scholar 

  13. Halle, S., Villemaire, R., Cherkaoui, O., Ghandour, B.: Model-checking data-aware temporal workflow properties with CTL-FO + . In: Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC. pp. 267–278. (2007)

    Google Scholar 

  14. Jackson, D.:Automating First-Order Relational Logic, ACM SIGSOFT Software Engineering Notes, Volume 25, Issue 6, 130–139, November (2000)

    Google Scholar 

  15. Jackson, D., Shlyakhter, I.,Sridharan,M.: A Micromodularity Mechanism, In Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp. 62–73. (2001)

    Google Scholar 

  16. Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press Cambridge, Massachusetts (2006)

    Google Scholar 

  17. Karastoyanova, D., Lessen, T. van, Leymann, F., Ma, Zh., Nitzsche, J., Wetzstein, B., Bhiri, S., Hauswirth, M., Zaremba, M.: A Reference Architecture for Semantic Business Process Management Systems. In: Multikonferenz Wirtschaftsinformatik (2008)

    Google Scholar 

  18. Kuhn, D.R.: Mutual exclusion of roles as a means of implementing separation of duty in role-based access control systems. In: Proceedings of the second ACM workshop on Role-based access control, pp. 23–30. (1997)

    Google Scholar 

  19. Martin, D., Paolucci, M., Mcilraith, S., Burstein, M., Mcdermott, D., Mcguinness, D., Parsia, B., Payne, T., Sabou, M., Solanki, M., Srinivasan, N., Sycara, K.: Bringing semantics to web services: The OWL-S approach. LNCS 3387, pp. 26–42, Springer, Heidelberg (2005)

    Google Scholar 

  20. Martin, D., Burstein, M., McDermott, D., et al.: OWL-S 1.2, http://www.daml.org/services/owl-s/1.2/. Cited 4 May 2012

  21. McIlraith, S., Son, S., Zeng, H.: Semantic Web Services. IEEE Intelligent Systems, 16(2):46–53, (2001)

    Article  Google Scholar 

  22. McIlraith, S., Son, S.: Adapting Golog for composition of semantic web Services. In: Proc. 8th International Conference on Principles of Knowledge Representation and Reasoning (2002)

    Google Scholar 

  23. Ning, H., Yongyi, P., Camilo, R.: Extend OWL-S dynamic semantics with rewrite logic. In:Proc. International Conference on Computer Science and Software Engineering, CSSE 2008, Vol. 2, pp. 346–349. (2008)

    Google Scholar 

  24. Object Management Group. MDA Guide V1.0.1. OMG http://www.ultradark.com/01mda13userguide.htm. Cited 4 May 2012

  25. Pahl, C.: Ontology Transformation and Reasoning for Model-Driven Architecture. In: Meersman, R., Tari, Z. (eds.) CoopIS/DOA/ODBASE 2005, LNCS, 3761, pp. 1170–1187, Springer, Heidelberg (2005)

    Google Scholar 

  26. Roman, D., de Bruijn, J., Mocan, A., Lausen, H., Bussler, C., Fensel, D.: WWW: WSMO,WSML, and WSMX in a nutshell. In: 1st Asian Semantic Web Conference, pp. 516–522. Springer, Beijing (2006)

    Google Scholar 

  27. Schaad, A.: A Framework for Organizational Control Principles, PhD Thesis, Department of Computer Science. University of York (2003)

    Google Scholar 

  28. Sheshagiri, M., des Jardins, M., Finin, T.: A Planner for Composing Services Described in DAML-S. In: Proc. of Workshop on Web Services and Agent-based Engineering - AAMAS03, (2003)

    Google Scholar 

  29. Traverso, P., Pistore, M.: Automated composition of semantic web services into executable processes. In: McIlraith, S.A., Plexousakis, D., van Harmelen, F., eds.: International Semantic Web Conference. LNCS, 3298, pp. 380–394, Springer, Heidelberg (2004)

    Google Scholar 

  30. Verma, K., Gomadam, K., Sheth, A.P., Miller, J.A., Wu, Z.: The METEOR-S Approach for Configuring and Executing Dynamic Web Processes. LSDSIS technical report http://lsdis.cs.uga.edu/projects/meteor-s/. Cited 10 May 2012 (2005)

  31. Wallace, C.: Using Alloy in process modelling. Information and Software Technology, 45(15), pp. 1031–1043. (2003)

    Article  Google Scholar 

  32. Wang, H. H., Saleh, A., Payne, T., Gibbins, N.: Formal specification of OWL-S with object-Z: The static aspect. In: IEEE/WIC/ACM International Conference on Web Intelligence, WI 2007, pp. 431–434. (2007)

    Google Scholar 

  33. Wegmann, A., Lł, L. -., De La Cruz, J. D., Rychkova, I., Regev, G.: An example of a hierarchical system model using SEAM and its formalization in Alloy.In: Proceedings - IEEE International Enterprise Distributed Object Computing Workshop, EDOC. (2007)

    Google Scholar 

  34. Wu, D., Parsia, B., Sirin, E. Hendler, J., Nau, D.: Automating DAML-S Web Services Composition using SHOP2. In: Proc. of the Second International Semantic Web Conference (ISWC2003), 2003

    Google Scholar 

  35. Yang, B., Qin, Z.: Composing semantic web services with PDDL. Information Technology Journal 9 (1), 48–54. (2010)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. INSA de Rouen, LITIS Laboratory, BP08 Avenue de l’Université, 76801, Saint-Étienne-deRouvray, France

    Habib Abdulrab

  2. National Research University Higher School of Economics, B. Pechorskaya 25/12, 603155, Nizhny Novgorod, Russia

    Eduard Babkin

  3. EADS Defence & Security, Information Processing Control and Cognition, Parc d’Affaire des Portes BP 613, 27106, Val De Reuil, France

    Jeremie Doucy

Authors
  1. Habib Abdulrab
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Eduard Babkin
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jeremie Doucy
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Eduard Babkin .

Editor information

Editors and Affiliations

  1. Innovative Scheduling, Inc., Gainesville, Florida, USA

    Alexey Sorokin

  2. Department of Industrial and Systems Eng, University of Florida, Gainesville, Florida, USA

    Panos M. Pardalos

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer Science+Business Media New York

About this paper

Cite this paper

Abdulrab, H., Babkin, E., Doucy, J. (2013). Dynamic Composition and Analysis of Modern Service-Oriented Information Systems. In: Sorokin, A., Pardalos, P. (eds) Dynamics of Information Systems: Algorithmic Approaches. Springer Proceedings in Mathematics & Statistics, vol 51. Springer, New York, NY. https://doi.org/10.1007/978-1-4614-7582-8_2

Download citation

Publish with us

Policies and ethics

Search

Navigation