A cooperative service composition language and its formal semantics

Parallel and Distributed Computing, Applications and Technologies, PDCAT Proceedings

Volumn , Issue , 2006, Pages 333-338

  Zhang, Xiuguo ^a,b   Zhang, Weishi ^a  

^a DALIAN MARITIME UNIVERSITY   (China)

^b SHANDONG UNIVERSITY OF SCIENCE AND TECHNOLOGY   (China)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL COMPLEXITY; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; SEMANTICS;

COMMUNICATION PATTERNS; INTERACTION RULES; KAHN PROCESS NETWORKS; LABELED TRANSITION SYSTEMS;

OBJECT ORIENTED PROGRAMMING;

EID: 38949174248     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PDCAT.2006.2     Document Type: Conference Paper

References (11)

1. Antonio Bucchiarone, Stefania Gnesi. A Survey on Services Composition Languages and Models. In Proc.of International Workshop on Web Services Modeling and Testing (WS-MaTe 2006), June 9, 2006, Palermo, Sicily (ITALY).
2. C.Peltz. Web services orchestration, a review of emerging technologies, tools and standards. January 2003. http://devresource.hp.com/drc/ technical_white_papers/WSOrch/WSOrcherst ration.pdf.
3. Muhammad Adeel Talib, Yang Zongkai and Qazi Mudassar Ilyas. "Modeling the Flow in Dynamic Web Services Composition", Information Technology Journal 3 (2): 184-187, 2004.
4. Tony Andrews et al. Business Process Execution Language for Web Services (BPEL4WS) 1.1. Online: http://www-106.ibm.com/developerworks/webservices/ library/wsbpel, May 2003.
5. F. Leymann, Web Services Flow Language (WSFL 1.0), www-3.ibm.com/ software/solutions/webservices/pdf/WSFL. pdf, May 2001.
6. David Martin et al. DAML-S (and OWL-S) 0.9 draft release. Online: http://www.daml.org/services/daml-s/0.9/, May 2003.
7. K. Fujii, T. Suda, "Dynamic Service Composition Using Semantic Information", 2nd ACM. International Conference on Service Oriented Computing (ICSOC '04), November 2004.
8. Twan Basten 1, Jan Hoogerbrugge. Efficient Execution of Process Networks, http://www.ics.ele.tue.nl/~tbasten/papers/eepn.pdf.
9. Hylke W. van Dijk, Henk J. Sips, Context-Aware Process Networks, http://www.pds.ewi.tudelft.nl/pubs/papers/capn_ijes20 05.pdf, February 2005.
10. R. Milner. Communication and Concurrency. International Series in Computer Science. Prentice Hall, 1989.
11. Ranee Cleaveland, Tan Li, Steve Sims. The Concurrency Workbench of the New Century. User's Manual, version 1.2 July 6, 2000. wwwtcs.inf.tudresden.de/ ~morgen/fmc/manual-cwb-nc.ps.