论文信息 - Analyzing Chor Specifications by Translation into FSP - 字舞流文

Analyzing Chor Specifications by Translation into FSP

Gwen Salaün | Seyed-Hassan Mirian-Hosseinabadi | Nima Roohi | Nima Roohi | Gwen Salaün | S. Mirian-Hosseinabadi

[1] Jeff Magee,et al. Concurrency - state models and Java programs , 2006 .

[2] Xiang Fu,et al. WSAT: A Tool for Formal Analysis of Web Services , 2004, CAV.

[3] Jan Mendling,et al. From Inter-organizational Workflows to Process Execution: Generating BPEL from WS-CDL , 2005, OTM Workshops.

[4] Raman Kazhamiakin,et al. Analysis of Realizability Conditions for Web Service Choreographies , 2006, FORTE.

[5] Marlon Dumas,et al. Service Interaction Modeling: Bridging Global and Local Views , 2006, 2006 10th IEEE International Enterprise Distributed Object Computing Conference (EDOC'06).

[6] Roberto Gorrieri,et al. Choreography and Orchestration Conformance for System Design , 2006, COORDINATION.

[7] Jan Friso Groote,et al. The Formal Specification Language mCRL2 , 2006, MMOSS.

[8] Nobuko Yoshida,et al. Structured Communication-Centred Programming for Web Services , 2007, ESOP.

[9] Xiang Fu,et al. Specification of Realizable Service Conversations Using Collaboration Diagrams , 2007, SOCA.

[10] Li Jing,et al. Conformance Validation between Choreography and Orchestration , 2007 .

[11] Chao Cai,et al. Towards the theoretical foundation of choreography , 2007, WWW '07.