The Community for Technology Leaders
2013 IEEE 20th International Conference on Web Services (2007)
Salt Lake City, Utah, USA
July 9, 2007 to July 13, 2007
ISBN: 0-7695-2924-0
pp: 735-742
Tan Phan , Swinburne University of Technology, Hawthorn, VIC 3122, Australia
Jun Han , Swinburne University of Technology, Hawthorn, VIC 3122, Australia
Yan Jin , Swinburne University of Technology, Hawthorn, VIC 3122, Australia
Zheng Li , Swinburne University of Technology, Hawthorn, VIC 3122, Australia
Jian Yu , Politecnico di Torino, Turin, 10129, Italy
ABSTRACT
Service composition has become an important paradigm for building distributed applications and e-business processes. While effort has been reported to verify a posteriori whether a given composition such as a BPEL schema satisfies the predefined behavioural properties, little effort has been made to utilise the properties to assist the designer in developing a correct service composition in the first place. This paper reports our first attempt towards this goal by presenting a framework and associated techniques to provide automated guidance to the designer during the composition design process. The guidance can be suggestions on the next valid steps in the business process, identifications of missing/misplaced steps, and/or propositions for inserting, deleting or reordering activities. The guidance is provided based on the temporal business rules which state the temporal/sequential relationships between business activities.
INDEX TERMS
CITATION
Tan Phan, Jun Han, Yan Jin, Zheng Li, Jian Yu, "Guiding the Service Composition Process with Temporal Business Rules", 2013 IEEE 20th International Conference on Web Services, vol. 00, no. , pp. 735-742, 2007, doi:10.1109/ICWS.2007.94
90 ms
(Ver )