Automatic skeleton generation for data-aware service choreographies

2013 IEEE 24th International Symposium on Software Reliability Engineering, ISSRE 2013

Volumn , Issue , 2013, Pages 320-329

  Nguyen, Huu Nghia ^a   Poizat, Pascal ^b   Zaidi, Fatiha ^a  

^a UNIVERSITÉ PARIS SACLAY   (France)

^b CNRS   (France)

Author keywords

Contract Compliance; Contract Projections; Service Choreography; Symbolic Transition Systems; Tool; Value Passing Processes

Indexed keywords

BOTTOM UP APPROACH; DEVELOPMENT PROCESS; DISTRIBUTED APPLICATIONS; GLOBAL PERSPECTIVE; SERVICE CHOREOGRAPHIES; SYMBOLIC TRANSITION SYSTEMS; TOP-DOWN APPROACH; VALUE PASSING PROCESS;

DISTRIBUTED COMPUTER SYSTEMS; SOFTWARE RELIABILITY; TOOLS;

MUSCULOSKELETAL SYSTEM;

EID: 84893273039     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISSRE.2013.6698885     Document Type: Conference Paper

References (33)

1. G. Decker, O. Kopp, and A. Barros, "An Introduction to Service Choreographies", Information Technology, vol. 50, no. 2, pp. 122-127, 2008.
2. D. Knuplesch, R. Pryss, and M. Reichert, "Data-aware Interaction in Distributed and Collaborative Workflows: Modeling, Semantics, Correctness", in Proc. of CollaborateCom'12, 2012.
3. S. Pavel, J. Noyé, P. Poizat, and J.-C. Royer, "A Java Implementation of a Component Model with Explicit Symbolic Protocols", in Proc. of SC'05, 2005.
4. F. Fernandes and J.-C. Royer, "The STSLib Project: Towards a Formal Component Model Based on STS", in Proc. of FACS'07, 2007.
5. F. Fernandes, R. Passama, and J.-C. Royer, "Components with Symbolic Transition Systems: a Java Implementation of Rendezvous", in Proc. of CAP'07, 2007.
6. L. Bentakouk, P. Poizat, and F. Zäidi, "A Formal Framework for Service Orchestration Testing based on Symbolic Transition Systems", in Proc. of TESTCOM'09, 2009.
7. R. Mateescu, P. Poizat, and G. Salaün, "Adaptation of service protocols using process algebra and on-the-fly reduction techniques", IEEE Transactions on Software Engineering, vol. 38, no. 4, pp. 755-777, 2012.
8. J. Cámara, G. Salaün, C. Canal, and M. Ouederni, "Interactive Specification and Verification of Behavioral Adaptation Contracts", Information & Software Technology, vol. 54, no. 7, pp. 701-723, 2012.
9. H. N. Nguyen, P. Poizat, and F. Zäidi, "A Symbolic Framework for the Conformance Checking of Value-Passing Choreographies", in Proc. of ICSOC'2012, 2012.
10. O. Kopp and F. Leymann, "Do We Need Internal Behavior in Choreography Models?" in Proc. of ZEUS'09, 2009.
11. M. Hennessy and H. Lin, "Symbolic bisimulations", Theoretical Computer Science, vol. 138, no. 2, 1995.
12. R. Van Glabbeek and W. Weijland, "Branching Time and Abstraction in Bisimulation Semantics", Journal of the ACM, vol. 43, no. 3, pp. 555-600, 1996.
13. W. Deng and H. Lin, "Extended Symbolic Transition Graphs with Assignment", Proc. of COMPSAC'05, 2005.
14. J. Pathak, S. Basu, R. Lutz, and V. Honavar, "MoSCoE: An Approach for Composing Web Services through Interative Reformulation of Functional Specification", International Journal on Artificial Intelligence Tools, vol. 17, no. 1, pp. 109-138, 2008.
15. C. Gaston, P. L. Gall, and N. Rapin, "Symbolic Execution Techniques for Test Purpose Definition", in Proc. of TESTCOM'06, 2006.
16. H. N. Nguyen, P. Poizat, and F. Zäidi, "Online Verification of Value-Passing Choreographies through Property-Oriented Passive Testing", in Proc. of HASE'2012, 2012.
17. I. Lanese, C. Guidi, F. Montesi, and G. Zavattaro, "Bridging the Gap between Interaction- and Process-Oriented Choreographies", in Proc. of SEFM'08, 2008.
18. H. N. Nguyen, P. Poizat, and F. Zäidi, "Passive Conformance Testing of Service Choreographies", in Proc. of SAC'12, 2012.
19. R. Kazhamiakin and M. Pistore, "Choreography Conformance Analysis: Asynchronous Communications and Information Alignment", in Proc. of WS-FM'06, 2006.
20. G. Salaün, T. Bultan, and N. Roohi, "Realizability of Choreographies Using Process Algebra Encodings", IEEE Transactions on Services Computing, vol. 5, no. 3, pp. 290-304, 2012.
21. N. Busi, R. Gorrieri, C. Guidi, R. Lucchi, and G. Zavattaro, "Choreography and Orchestration Conformance for System Design", in Proc. of COORDINATION'06, 2006.
22. Z. Qiu, X. Zhao, C. Cai, and H. Yang, "Towards The Theoretical Foundation of Choreography", in Proc. of WWW'07, 2007.
23. M. Bravetti and G. Zavattaro, "Towards a Unifying Theory for Choreography Conformance and Contract Compliance", in Proc. of SC'07, 2007.
24. G. Diaz and I. Rodriguez, "Automatically Deriving Choreography-Conforming Systems of Services", in Proc. of SCC'09, 2009.
25. H. Yang, X. Zhao, Z. Qiu, G. Pu, and S. Wang, "A Formal Model for Web Service Choreography Description Language (WS-CDL)", in Proc. of ICWS'06, 2006.
26. J. Li, H. Zhu, and G. Pu, "Conformance Validation between Choreography and Orchestration", in Proc. of TASE'07, 2007.
27. Z. Xiangpeng, Y. Hongli, and Q. Zongyan, "Towards the Formal Model and Verification of Web Service Choreography Description Language", in Proc. of WS-FM'06, 2006.
28. J. Sun, Y. Liu, J. S. Dong, G. Pu, and T. H. Tan, "Model-Based Methods for Linking Web Service Choreography and Orchestration", in Proc. of APSEC'10, 2010.
29. M. Autili, D. Di Ruscio, A. Di Salle, P. Inverardi, and M. Tivoli, "A Model-Based Synthesis Process for Choreography Realizability Enforcement", in Proc. of FASE'13, 2013.
30. F. Paci, M. Ouzzani, and M. Mecella, "Verification of access control requirements in web services choreography", in Proc. of SCC'08, 2008.
31. T. Bultan, C. Ferguson, and X. Fu, "A Tool for Choreography Analysis Using Collaboration Diagrams", in Proc. of ICWS'09, 2009.
32. P. Poizat and G. Salaün, "Checking the Realizability of BPMN 2.0 Choreographies", in Proc. of SAC'12, 2012.
33. S. Basu, T. Bultan, and M. Ouederni, "Deciding Choreography Realizability", in Proc. of POPL'12, 2012.