• Distributed Computing and Systems •     Next Articles

Synthesizing Service Composition Models on the Basis of Temporal Business Rules

Jian Yu1,2, Yan-Bo Han3, Jun Han4, Yan Jin4, Paolo Falcarin1, and Maurizio Morisio1   

  1. 1Department of Automation and Information, Politecnico di Torino, Torino 10129, Italy 2School of Computer Science, The University of Adelaide, SA5005, Australia 3Grid and Service Computing Research Center, Institute of Computing Technology, Chinese Academy of Sciences, Beijing 100190, China 4Faculty of ICT, Swinburne University of Technology, Hawthorn 3122, Australia
  • Received:2007-11-14 Revised:2008-06-09 Online:2008-11-10 Published:2008-11-10

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.

[1] Alonso G, Casati F, Grigori K H \it et al. \rm %, Machiraju V. 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 {\it 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 \it et al. \rm %, Lovell D. Bite: Workflow composition for the web. In {\it Proc. 6th Int. Conf. Service-Oriented Computing}, Vienna, Austria, {\it 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/$\sim$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 {\it Proc. 13th World Wide Web Conference}, New York, USA, 2004, pp.621--630.
[10]} Yu J, Phan T, Han J {\it et al}. \rm %, Jin Y Pattern based property specification and verification for service composition. In {\it Proc. 7th Int. Conf. Web Information Systems Engineering}, Wuhan, China, {\it 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 {\it Proc. 8th Int. Conference on Software Engineering Environment}, Washington DC, USA, 1997, pp.131--144.
[13]} Yu J, Wang J, Han Y {\it 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\"onk\"oping 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 {\it 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. {\it 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/ce\-n\-tres/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 \it et al. \rm %, Lenzerini M, Mecella M. Automatic composition of e-services that export their behavior. In {\it Proc. 1st Int. Conf. Service Oriented Computing}, Trento, Italy, 2003, pp.43--48.
[24]} Berardi D, Glancomo G, Lenzerini M \it et al. \rm %, Mecella M, Calvanese D. Synthesis of underspecified composite e-services based on automated reasoning. In {\it 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 {\it 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, verification and composition. In {\it 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. {\it IEEE Trans. Software Engineering}, 2003, 29(2): 99--115.
[28]} ActiveBPEL Designer.http://www.activenedpoints.com/pro\-ducts/activebpeldes/.
No related articles found!
Full text



[1] Li Tao;. Competition Based Neural Networks for Assignment Problems[J]. , 1991, 6(4): 305 -315 .
[2] Ewen Denney;. Simply-typed Underdeterminism[J]. , 1998, 13(6): 491 -508 .
[3] Jing-Yu Song, Jun Wei, Shu-Chao Wan, and Tao Huang. Extending Interactive Web Services for Improving Presentation Level Integration in Web Portals[J]. , 2006, 21(4): 620 -629 .
[4] Ian Foster. Globus Toolkit Version 4: Software for Service-Oriented Systems[J]. , 2006, 21(4): 513 -520 .
[5] Nan Ding, Shu-De Zhou, and Zeng-Qi Sun. Histogram-Based Estimation of Distribution Algorithm: A Competent Method for Continuous Optimization[J]. , 2008, 23(1): 35 -43 .
[6] Daniel Kunkle, Donghui Zhang, and Gene Cooperman. Mining Frequent Generalized Itemsets and Generalized Association Rules Without Redundancy[J]. , 2008, 23(1): 77 -02 .
[7] Feng Zeng, Student Member, CCF, and Zhi-Gang Chen, Member, CCF. Cost-Sensitive and Load-Balancing Gateway Placement in Wireless Mesh Networks with QoS Constraints[J]. , 2009, 24(4): 775 -785 .
[8] Lu Wang (王璐), Hong-Yan Zhang (张鸿燕), and Si-Long Peng (彭思龙). New Explorations on Cannon's Contributions and Generalized Solutions for Uniform Linear Motion Blur Identification[J]. , 2012, 27(1): 174 -186 .
[9] Liang-Jun Zang, Cong Cao, Ya-Nan Cao, Yu-Ming Wu, and Cun-Gen Cao. A Survey of Commonsense Knowledge Acquisition[J]. , 2013, 28(4): 689 -719 .
[10] Mao-Lin Yang, Hang Lei, Yong Liao, Furkan Rabee. Improved Blocking Time Analysis and Evaluation for the Multiprocessor Priority Ceiling Protocol[J]. , 2014, 29(6): 1003 -1013 .

ISSN 1000-9000(Print)

CN 11-2296/TP

Editorial Board
Author Guidelines
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
E-mail: jcst@ict.ac.cn
  Copyright ©2015 JCST, All Rights Reserved