Analyzing Chor Specifications by Translation into FSP

Electronic Notes in Theoretical Computer Science

Volumn 255, Issue , 2009, Pages 159-176

  Roohi, Nima ^a   Salaün, Gwen ^b   Mirian, Seyyed Hassan ^a  

^a SHARIF UNIVERSITY OF TECHNOLOGY   (Iran)

^b UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

Chor; Choreography; FSP; WS CDL

Indexed keywords

AUTOMATICALLY GENERATED; JAVA CODES; PROCESS ALGEBRAS; PROTOTYPE TOOLS; REALIZABILITY;

CONCURRENT ENGINEERING; ENCODING (SYMBOLS); JOB ANALYSIS; RAPID PROTOTYPING;

SPECIFICATIONS;

EID: 71849110341     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.10.030     Document Type: Article

References (14)

1. Pi4SOA Project. www.pi4soa.org
2. Bultan T., and Fu X. Specification of RealizableService Conversations using Collaboration Diagrams. Service Oriented Computing and Applications 2 1 (2008) 27-39
3. Busi N., Gorrieri R., Guidi C., Lucchi R., and Zavattaro G. Choreography and Orchestration Conformance for System Design. Proc. of Coordination'06. LNCS vol. 4038 (2006), Springer 63-81
4. Carbone M., Honda K., and Yoshida N. Structured Communication-Centred Programming for Web Services. Proc. of ESOP'07. LNCS vol. 4421 (2007), Springer 2-17
5. Fu X., Bultan T., and Wsat J.Su. A Tool for Formal Analysis of Web Services. Proc. of CAV'04. LNCS vol. 3114 (2004), Springer 510-514
6. J. F. Groote, A. Mathijssen, M. Reniers, Y. Usenko, and M. van Weerdenburg. The Formal Specification Language mCRL2. In Proc.of MMOSS'07, Dagstuhl seminar, 2007
7. Kazhamiakin R., and Pistore M. Analysis of Realizability Conditions for Web Service Choreographies. Proc. of FORTE'06. LNCS vol. 4229 (2006), Springer 61-76
8. Li J., Zhu H., and Pu G. Conformance Validation between Choreography and Orchestration. Proc. of TASE'07 (2007), IEEE Computer Society 473-482
9. Magee J., and Kramer J. Concurrency: State Models & Java Programs. 2nd edition (2006), Wiley
10. Mateescu R., Poizat P., and Salaün G. Adaptation of Service Protocols using Process Algebra and On-the-Fly Reduction Techniques. Proc. of ICSOC'08. LNCS vol. 5364 (2008), Springer 84-99
11. Mendling J., and Hafner M. From Inter-organizational Workflows to Process Execution: Generating BPEL from WS-CDL. Proc. of OTM'05 Workshops. LNCS vol. 3762 (2005), Springer 506-515
12. Qiu Z., Zhao X., Cai C., and Yang H. Towards the Theoretical Foundation of Choreography. Proc. of WWW'07 (2007), ACM Press 973-982
13. Salaün G., and Bultan T. Realizability of Choreographies using Process Algebra Encodings. Proc. of IFM'09. LNCS (2009), Springer 167-182
14. Maria Zaha J., Dumas M., ter Hofstede A.H.M., Barros A.P., and Decker G. Service Interaction Modeling: Bridging Global and Local Views. Proc. of EDOC'06 (2006), IEEE Computer Society 45-55