A formal modeling platform for composing web services

Expert Systems with Applications

Volumn 34, Issue 2, 2008, Pages 1500-1507

  Chi, Yu Liang ^a   Lee, Hsun Ming ^b  

^a CHUNG YUAN CHRISTIAN UNIVERSITY   (Taiwan)

^b TEXAS STATE UNIVERSITY   (United States)

Author keywords

Formal model; Petri Nets; Service composition; Web service; Workflow

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; COMPUTER SIMULATION; INTERNET; MATHEMATICAL MODELS; PETRI NETS; ROBUSTNESS (CONTROL SYSTEMS);

FORMAL MODEL; SERVICE COMPOSITION; WORKFLOW;

WEB SERVICES;

EID: 36148932609     PISSN: 09574174     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.eswa.2007.01.022     Document Type: Article

References (15)

1. Aalst W.M.P., van der Hofstede A.H.M., Kiepuszewski B., and Barros A.P. Workflow patterns. Distributed and Parallel Databases 14 (2003) 5-51
2. Benatallah B., Sheng Q.Z., and Dumas M. The self-serve environment for Web Services composition. IEEE Internet Computing 7 (2003) 40-48
3. Casati F., and Shan M. Event-based interaction management for composite E-Services in eflow. Information Systems Frontiers 4 (2002) 19-31
4. Curbera M., Duftler M., Khalaf R., Nagy W., Mukhi N., and Weerawarana S. Unraveling the Web Services Web: an introduction to SOAP, WSDL, and UDDI. IEEE Internet Computing 6 (2002) 86-93
5. Florescu D., and Kossmann D. An XML programming language for Web Services specification and composition. IEEE Data Engineering Bulletin 24 (2001) 48-56
6. Heckel R., and Voigt H. Model-based development of executable business process for Web Services. Lecture Notes in Computer Science 3098 (2004) 559-584
7. Ko I., and Neches R. Composing Web Services for large-scale tasks. IEEE Internet Computing 7 (2003) 52-59
8. Kristensen L.M., Christensen S., and Jensen K. The practitioner's guide to coloured Petri Nets. International Journal on Software Tools for Technology Transfer 2 (1998) 98-132
9. Medjahed B., Benatallah B., Bouguettaya A., Ngu A.H.H., and Elmagarmid A.K. business-to-business interactions: issues and enabling technologies. The VLDB Journal 12 (2003) 59-85
10. Menascé D.A. Composing Web Services: a QoS view. IEEE Internet Computing 8 (2004) 88-90
11. Milanovic N., and Malek M. Current solutions for Web Service composition. IEEE Internet Computing 8 (2004) 51-59
12. Murata T. Petri Nets: properties, analysis and applications. Proceedings of the IEEE 77 (1989) 541-580
13. van der Aalst W.M.P. Don't go with the flow: Web Services composition standards exposed. IEEE Intelligent Systems 18 (2003) 72-76
14. Weber M., and Kindler E. The Petri Net Markup Language. Lecture Notes in Computer Science 2472 (2003) 124-144
15. WfMC, 1999. Workflow Management Coalition Terminology & Glossary, Workflow Management Coalition, Doc. No. WfMC TC-1011.