Synthesizing service composition models on the basis of temporal business rules

Journal of Computer Science and Technology

Volumn 23, Issue 6, 2008, Pages 885-894

  Yu, Jian ^a,b   Han, Yan Bo ^c   Han, Jun ^d   Jin, Yan ^d   Falcarin, Paolo ^a   Morisio, Maurizio ^a  

^a POLITECNICO DI TORINO   (Italy)

^b UNIVERSITY OF ADELAIDE   (Australia)

^c INSTITUTE OF COMPUTING TECHNOLOGY   (China)

^d SWINBURNE UNIVERSITY OF TECHNOLOGY   (Australia)

Author keywords

Behavioral model; Composition synthesis; Service composition; Temporal patterns

Indexed keywords

BEHAVIORAL MODEL; BRANCHING STRUCTURES; BUSINESS RULES; COMPOSITION SYNTHESIS; DOMAIN KNOWLEDGES; E BUSINESSES; FINITE STATE AUTOMATONS; IMPLEMENTATION MODELS; PARALLEL STRUCTURES; PATH FINDINGS; PROCESS MODELS; SERVICE COMPOSITION; SERVICE COMPOSITION MODELS; SERVICE COMPOSITIONS; SOFTWARE DEVELOPMENTS; TEMPORAL PATTERNS; TRANSFORMATIONAL APPROACHES;

ELECTRONIC COMMERCE; FINITE AUTOMATA; INFORMATION THEORY; PROCESS MONITORING; STRUCTURE (COMPOSITION);

QUALITY OF SERVICE;

EID: 57049183634     PISSN: 10009000     EISSN: None     Source Type: Journal    
DOI: 10.1007/s11390-008-9196-x     Document Type: Article

References (28)

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, verīcation and composition. In Proc. the 2nd Int. Conference on Service Oriented Computing, New York, USA, 2004, pp.232-241.
27. S Uchitel J Kramer J Magee 2003 Synthesis of behavioral models from scenarios IEEE Trans. Software Engineering 29 2 99 115
28. ActiveBPEL Designer. http://www.activenedpoints.com/products/ activebpeldes/.