Using Temporal Business Rules to Synthesize Service Composition Process Models

Jian Yu, Jun Han, Paolo Falcarin, Maurizio Morisio

2007

Abstract

Based on our previous work on the conformance verification of service compositions, in this paper we present a framework and associated techniques to generate the process models of a service composition from a set of temporal business rules. Dedicated techniques including path-finding, branch structure introduction, and parallel structure introduction are used to semi-automatically synthesize the process models 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.

References

  1. Alonso, G., Casati, F., Grigori, Kuno H., Machiraju, V.: Web Services Concepts, Architectures and Applications. Springer-Verlag (2004).
  2. Arkin, A., Askary, S., Bloch, B., Curbera, F., Goland, Y., Kartha, N., Liu, C.K., Thatte, S., Yendluri, P., Yiu, A.: Web Services Business Process Execution Language Version 2.0 Workgraft. http://www.oasisopen.org/committees/download.php/10347/wsbpelspecificationdraft-120204.htm (2004)
  3. BPMI: Business Process Modeling Language. http://www.bpmi.org/ (2002).
  4. Foster, H.: A Rigorous Approach to Engineering Web Services Compositions. PhD thesis, Imperial College London. http://www.doc.ict.ac.uk/hf1 (2006).
  5. Stahl C.: A Petri Net Semantics for BPEL. Informatik-Berichte 188, Humboldt-Universitat zu Berlin, June 2005 (2005).
  6. Fu, X., Bultan T., Su J.: Analysis of Interacting BPEL Web Services. In Proc. 13th World Wide Web Conf. New York, NY, USA (2004) 621-630.
  7. Yu, J., Phan, T., Han, J., Jin, Y., et al: Pattern Based Property Specification and Verification for Service Composition. In Proc. 7th Int. Conf. on Web Information Systems Engineering. Springer-Verlag, LNCS 4255. Wuhan, China (2006) 156-168.
  8. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in Property Specifications for Finite state Verification. In Proc. 21th Int. Conf. on Software Engineering. Los Angeles, CA, USA (1999) 411-420.
  9. Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: A System of Specification Patterns. http://www.cis.ksu.edu/santos/spec-patterns (1997).
  10. Yu, J., Phan, T., Han, J., Jin, Y.: Pattern based Property Specification and Verification for Service Composition. Technical Report SUT.CeCSES-TR010. CeCSES, Swinburne University of Technology, http://www.it.swin.edu.au/centres/cecses/trs.htm (2006).
  11. Sedgewick, R.: Algorithms in Java, Thrid Edition, Part 5: Graph Algorithms. Addison Wesley (2003).
  12. Milner, R.: Communication and Concurrency. Prentice-Hall (1989).
  13. Berardi, D., Calvanese, D., Giuseppe, G., Lenzerini, M., Mecella, M.: Automatic composition of e-services that export their behavior. In Proc. 1st Int. Conf. on Service Oriented Computing. Trento, Italy (2003).
  14. Berardi, D., Glancomo, G., Lenzerini, M., Mecella, M., Calvanese, D.: Synthesis of Underspecified Composite e-Services based on Automated Reasoning. In Proc. 2st Int. Conf. on Service Oriented Computing. . New York, USA (2004).
  15. Wu, D., Parsia, B., Sirin, E., Hendler, J., Nau, D.: Automating DAML-S web services composition using SHOP2. In Proc. 2nd Int. Semantic Web Conf. Florida (2003).
  16. Duan, Z., Bernstein, A., Lewis, P., Lu, S.: A Model for Abstract Process Specification, Verification and Composition. In proc. of the 2nd Int. Conf. on Service Oriented Computing. New York, USA (2004).
  17. Beeck, M., Margaria, T., Steffen, B.: A Formal Requirements Engineering Method for Specification, Synthesis, and Verification. In Proc. 8th Int. Conf. on Software Engineering Environment. Washington, DC, USA (1997).
  18. Uchitel, S., Kramer, J., Magee, J.: Synthesis of Behavioral Models from Scenarios. IEEE Trans. On Software Engineering Vol.29 2 (2003) 99-115.
  19. ActiveBPEL Designer. http://www.activenedpoints.com/products/activebpeldes/ (2007).
Download


Paper Citation


in Harvard Style

Yu J., Han J., Falcarin P. and Morisio M. (2007). Using Temporal Business Rules to Synthesize Service Composition Process Models . In Proceedings of the 1st International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing - Volume 1: ACT4SOC, (ICSOFT 2007) ISBN 978-989-8111-08-1, pages 85-94. DOI: 10.5220/0001346600850094


in Bibtex Style

@conference{act4soc07,
author={Jian Yu and Jun Han and Paolo Falcarin and Maurizio Morisio},
title={Using Temporal Business Rules to Synthesize Service Composition Process Models},
booktitle={Proceedings of the 1st International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing - Volume 1: ACT4SOC, (ICSOFT 2007)},
year={2007},
pages={85-94},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001346600850094},
isbn={978-989-8111-08-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 1st International Workshop on Architectures, Concepts and Technologies for Service Oriented Computing - Volume 1: ACT4SOC, (ICSOFT 2007)
TI - Using Temporal Business Rules to Synthesize Service Composition Process Models
SN - 978-989-8111-08-1
AU - Yu J.
AU - Han J.
AU - Falcarin P.
AU - Morisio M.
PY - 2007
SP - 85
EP - 94
DO - 10.5220/0001346600850094