Generation of service wrapper protocols from choreography specifications

Proceedings - 6th IEEE International Conference on Software Engineering and Formal Methods, SEFM 2008

Volumn , Issue , 2008, Pages 313-322

  Salaün, Gwen ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; FLOW INTERACTIONS; LINGUISTICS; QUERY LANGUAGES; SOFTWARE ENGINEERING;

DESCRIPTION LANGUAGES; DISTRIBUTED INTERACTIONS; DISTRIBUTED SYSTEMS; ENCODINGS; PROCESS ALGEBRAS; PROTOTYPE TOOLS; SERVICE PROTOCOLS; SYSTEM DEPLOYMENTS; SYSTEM EXECUTIONS;

FORMAL METHODS;

EID: 58049157998     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SEFM.2008.42     Document Type: Conference Paper

References (24)

1. A. Arnold. Finite Transition Systems. International Series in Computer Science. 1994.
2. M. Autili, M. Flammini, P. Inverardi, A. Navarra, and M. Tivoli. Synthesis of Concurrent and Distributed Adaptors for Component-based Systems. In Proc. of EWSA'06, volume 4344 of LNCS, pages 17-32. Springer-Verlag, 2006.
3. S. Becker, A. Brogi, I. Gorton, S. Overhage, A. Romanovsky, and M. Tivoli. Architecting Systems with Trustworthy Components, volume 3938 of LNCS, chapter Towards an Engineering Approach to Component Adaptation. Springer-Verlag, 2006.
4. D. Bergamini, N. Descoubes, C. Joubert, and R. Mateescu. BISIMULATOR: A Modular Tool for On-the-Fly Equivalence Checking. In Proc. of TACAS'05, volume 3440 of LNCS, pages 581-585. Springer-Verlag, 2005.
5. T. Bultan and X. Fu. Specification of Realizable Service Conversations Using Collaboration Diagrams. Service Oriented Computing and Applications, 2(1):27-39, 2008.
6. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro. Choreography and Orchestration Conformance for System Design. In Proc. of Coordination'06, volume 4038 of LNCS, pages 63-81. Springer-Verlag, 2006.
7. C. Canal, P. Poizat, and G. Salaün. Synchronizing Behavioural Mismatch in Software Composition. In Proc. of FMOODS'06, volume 4037 of LNCS, pages 63-77. Springer-Verlag, 2006.
8. M. Carbone, K. Honda, and N. Yoshida. Structured Communication-Centred Programming for Web Services. In Proc. of ESOP'07, volume 4421 of LNCS, pages 2-17. Springer-Verlag, 2007.
9. J. Cubo, G. Salaün, C. Canal, E. Pimentel, and P. Poizat. A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. In Proc. of FACS'07, volume 215 of ENTCS, pages 39-55. Elsevier, 2007.
10. H. Foster, S. Uchitel, and J. Kramer. LTSA-WS: A Tool for Model-based Verification of Web Service Compositions and Choreography. In Proc. of ICSE'06, pages 771-774. ACM Press, 2006.
11. X. Fu, T. Bultan, and J. Su. Analysis of Interacting BPEL Web Services. In Proc. of WWW'04, pages 621-630. ACM Press, 2004.
12. H. Garavel and F. Lang. SVL: A Scripting Language for Compositional Verification. In Proc. FORTE'01, pages 377-392. IFIP, Kluwer Academic Publishers, 2001.
13. H. Garavel, R. Mateescu, F. Lang, and W. Serwe. CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. In Proc. of CAV'07, volume 4590 of LNCS, pages 158-163. Springer-Verlag, 2007.
14. A. Ingolfsdottir and H. Lin. A Symbolic Approach to Value-passing Processes, pages 427-478. Handbook of Process Algebra. Elsevier, 2001.
15. ISO/IEC. LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807, ISO, 1989.
16. J. Li, H. Zhu, and G. Pu. Conformance Validation between Choreography and Orchestration. In Proc. of TASE'07, pages 473-482. IEEE Computer Society, 2007.
17. R. Mateescu, P. Poizat, and G. Salaün. Behavioral Adaptation of Component Compositions based on Process Algebra Encodings. In Proc. of ASE'07, pages 385-388. IEEE Computer Society, 2007.
18. R. Mateescu and M. Sighireanu. Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus. Sci. Comput. Programming, 46(3):255-281, 2003.
19. T. Melliti, P. Poizat, and S. B. Mokhtar. Distributed Behavioural Adaptation for the Automatic Composition of Semantic Services. In Proc. of FASE'08, volume 4961 of LNCS, pages 146-162. Springer-Verlag, 2008.
20. J. Mendling and M. Hafner. From Inter-organizational Workflows to Process Execution: Generating BPEL from WS-CDL. In Proc. of OTM'05 Workshops, volume 3762 of LNCS, pages 506-515. Springer-Verlag, 2005.
21. R. Milner. Communication and Concurrency. PH, 1989.
22. Z. Qiu, X. Zhao, C. Cai, and H. Yang. Towards the Theoretical Foundation of Choreography. In Proc. of WWW'07, pages 973-982. ACM Press, 2007.
23. G. Salaün, L. Bordeaux, and M. Schaerf. Describing and Reasoning on Web Services using Process Algebra. IJBPIM, 1(2):116-128, 2006.
24. J. Su, T. Bultan, X. Fu, and X. Zhao. Towards a Theory of Web Service Choreographies. In Proc. of WS-FM'07, volume 4937 of LNCS, pages 1-16. Springer-Verlag.