Skip to main content
Log in

Synthesizing Service Composition Models on the Basis of Temporal Business Rules

  • Regular Paper
  • Published:
Journal of Computer Science and Technology Aims and scope Submit manuscript

Abstract

Transformational approaches to generating design and implementation models from requirements can bring effectiveness and quality to software development. In this paper we present a framework and associated techniques to generate the process model of a service composition from a set of temporal business rules. Dedicated techniques including path-finding, branching structure identification and parallel structure identification are used for semi-automatically synthesizing the process model from the semantics-equivalent Finite State Automata of the rules. These process models naturally satisfy the prescribed behavioral constraints of the rules. With the domain knowledge encoded in the temporal business rules, an executable service composition program, e.g., a BPEL program, can be further generated from the process models. A running example in the e-business domain is used for illustrating our approach throughout this paper.

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

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Alonso G, Casati F, Grigori K H et al. Web Services Concepts, Architectures and Applications. Springer-Verlag, 2004.

  2. Yu J, Han Y. Service Oriented Computing: Principle and Applications. Tsinghua University Press, 2006.

  3. Jordan D, Evdemon J et al. Web Services Business Process Execution Language, Version 2.0. 2007, http://docs.oasis-open.org/wsbpel/2.0/CS01/wsbpel- v2.0-CS01.pdf.

  4. BPMI. Business Process Modeling Language. 2002, http://www.bpmi.org/.

  5. ProgrammableWeb. http://www.programmableweb.com.

  6. Curbera F, Duftler M, Khalaf R et al. Bite: Workflow composition for the web. In Proc. 6th Int. Conf. Service-Oriented Computing, Vienna, Austria, LNCS 4749, 2007, pp.94–106.

  7. Foster H. A rigorous approach to engineering web services compositions [Dissertation]. Imperial College London, 2006, http://www.doc.ict.ac.uk/~hf1.

  8. Stahl C. A petri net semantics for BPEL. Informatik-Berichte 188, Humboldt-Universitat zu Berlin, June 2005.

  9. Fu X, Bultan T, Su J. Analysis of interacting BPEL web services. In Proc. 13th World Wide Web Conference, New York, USA, 2004, pp.621–630.

  10. Yu J, Phan T, Han J et al. Pattern based property specific-cation and verification for service composition. In Proc. 7th Int. Conf. Web Information Systems Engineering, Wuhan, China, LNCS 4255, 2006, pp.156–168.

  11. Vienneau L. A Review of Formal Methods. Software Engineering, Computer Society Press, 1996.

  12. Beeck M, Margaria T, Steffen B. A formal requirements engineering method for specification, synthesis, and verification. In Proc. 8th Int. Conference on Software Engineering Environment, Washington DC, USA, 1997, pp.131–144.

  13. Yu J, Wang J, Han Y et al. Developing End-User Programmable Service-Oriented Applications with VINCA. The Knowledge Gap in Enterprise Information Flow: Information Logistic Concepts and Technologies for Improving Information Flow in Networked Organizations, Sandkuhl K, Smirnov A, Weber H (eds.), Jönköping University, Ljungby, Sweden, 2005, pp.47–68.

  14. Yu J, Han J, Falcarin P, Morisio M. Using temporal business rules to synthesize service composition process models. In Proc. 1st Int. Workshop on Architectures, Concepts and Technologies for Service Oriented Computing, Barcelona, Spain, 2007, pp.85–94.

  15. Dwyer M B, Avrunin G S, Corbett J C. Patterns in property specifications for finite state verification. In Proc. 21st Int. Conf. Software Engineering, Los Angeles, CA, USA, 1999, pp.411–420.

  16. Dwyer M B, Avrunin G S, Corbett J C. A System of Specification Patterns. http://www.cis.ksu.edu/santos/spec-patterns.

  17. Yu J, Phan T, Han J, Jin Y. Pattern based property specification and verification for service composition. Technical Report, SUT.CeCSES-TR010, Swinburne University of Technology, 2006, http://www.it.swin.edu.au/centres/ce-cses/trs.htm.

  18. Sedgewick R. Algorithms in Java, Thrid Edition, Part 5: Graph Algorithms. Addison Wesley, 2003.

  19. Milner R. Communication and Concurrency. Prentice-Hall, 1989.

  20. OPUCE: Open platform for user centric service creation and execution. http://www.opuce.tid.es/.

  21. Microsoft Popfly. http://www.popfly.ms/.

  22. Yahoo Pipes. http://pipes.yahoo.com/pipes/.

  23. Berardi D, Calvanese D, Giuseppe G et al. Automatic composition of e-services that export their behavior. In Proc. 1st Int. Conf. Service Oriented Computing, Trento, Italy, 2003, pp.43–48.

  24. Berardi D, Glancomo G, Lenzerini M et al. Synthesis of underspecified composite e-services based on automated reasoning. In Proc. 2nd Int. Conf. Service Oriented Computing, New York, USA, 2004, pp.105–114.

  25. Wu D, Parsia B, Sirin E, Hendler J, Nau D. Automating DAML-S web services composition using SHOP2. In Proc. 2nd Int. Semantic Web Conference, Florida, USA, 2003, pp.195–210.

  26. Duan Z, Bernstein A, Lewis P, Lu S. A model for abstract process specification, veri¯cation and composition. In Proc. the 2nd Int. Conference on Service Oriented Computing, New York, USA, 2004, pp.232–241.

  27. Uchitel S, Kramer J, Magee J. Synthesis of behavioral models from scenarios. IEEE Trans. Software Engineering, 2003, 29(2): 99–115.

    Article  Google Scholar 

  28. ActiveBPEL Designer. http://www.activenedpoints.com/products/activebpeldes/.

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Jian Yu.

Additional information

This work is supported by the European IST-FP6 Project OPUCE under Grant No. 34101, the National Natural Science Foundation of China under Grant No. 60573117, the National Basic Research 973 Program of China under Grant No. 2007CB310804, and the Australian Research Council under Grant No. LP0775188.

Electronic supplementary material

Below is the link to the electronic supplementary material.

(PDF 62.3 kb).

Rights and permissions

Reprints and permissions

About this article

Cite this article

Yu, J., Han, YB., Han, J. et al. Synthesizing Service Composition Models on the Basis of Temporal Business Rules. J. Comput. Sci. Technol. 23, 885–894 (2008). https://doi.org/10.1007/s11390-008-9196-x

Download citation

  • Received:

  • Revised:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11390-008-9196-x

Keywords

Navigation