Realizability and dynamic reconfiguration of chor specifications

Informatica (Ljubljana)

Volumn 35, Issue 1, 2011, Pages 39-49

  Roohi, Nima ^a   Salaün, Gwen ^b  

^a SHARIF UNIVERSITY OF TECHNOLOGY   (Iran)

^b INRIA RHÔNE ALPES   (France)

Author keywords

Choreography; Dynamic reconfiguration; Labeled transition systems; Process calculus; Realizability

Indexed keywords

CHOREOGRAPHY; DYNAMIC RE-CONFIGURATION; LABELED TRANSITION SYSTEMS; PROCESS CALCULUS; REALIZABILITY;

CALCULATIONS; DYNAMIC MODELS;

SPECIFICATIONS;

EID: 79953308277     PISSN: 03505596     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (22)

1. N. Aguirre and T. Maibaum. A Logical Basis for the Specification of Reconfigurable Component-Based Systems. In Proc. of FASE'03, volume 2621 of LNCS, pages 37-51. Springer, 2003.
2. T. Bultan and X. Fu. Specification of Realizable Service Conversations using Collaboration Diagrams. Service Oriented Computing and Applications, 2(1):27-39, 2008.
3. 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, 2006. (Pubitemid 44098379)
4. 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, 2007. (Pubitemid 350262657)
5. X. Fu, T. Bultan, and J. Su. WSAT: A Tool for Formal Analysis of Web Services. In Proc. of CAV'04, volume 3114 of LNCS, pages 510-514. Springer, 2004.
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. R. Kazhamiakin and M. Pistore. Analysis of Realizability Conditions for Web Service Choreographies. In Proc. of FORTE'06, volume 4229 of LNCS, pages 61-76. Springer, 2006. (Pubitemid 44670663)
8. A. Ketfi and N. Belkhatir. A Metamodel-Based Approach for the Dynamic Reconfiguration of Component-Based Software. In Proc. of ICSR'04, volume 3107 of LNCS, pages 264-273. Springer, 2004.
9. J. Kramer and J. Magee. The Evolving Philosophers Problem: Dynamic Change Management. IEEE Transactions on Software Engineering, 16(11):1293-1306, 1990.
10. J. Kramer and J. Magee. Analysing Dynamic Change in Distributed Software Architectures. IEE Proceedings -Software, 145(5):146-154, 1998. (Pubitemid 128735624)
11. 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. (Pubitemid 47447906)
12. J. Magee and J. Kramer. Concurrency: State Models & Java Programs, 2nd edition. Wiley, 2006.
13. J. Matevska-Meyer,W. Hasselbring, and R. Reussner. Software Architecture Description Supporting Component Deployment and System Runtime Reconfiguration. In Proc. of WCOP'04, 2004.
14. N. Medvidovic. ADLs and Dynamic Architecture Changes. In SIGSOFT 96 Workshop, pages 24-27. ACM, 1996.
15. J. Mendling and M. Hafner. From InterorganizationalWorkflows to Process Execution: Generating BPEL from WS-CDL. In Proc. of OTM'05 Workshops, volume 3762 of LNCS, pages 506-515. Springer, 2005. (Pubitemid 43735224)
16. P. Poizat and G. Salaün. Adaptation of Open Component-based Systems. In Proc. of FMOODS'07, volume 4468 of LNCS, pages 141-156. Springer, 2007. (Pubitemid 350259399)
17. P. Poizat, G. Salaün, and M. Tivoli. On Dynamic Reconfiguration of Software Adaptations. In Proc. of WCAT'06, 2006.
18. 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. (Pubitemid 47582327)
19. N. Roohi, G. Salaün, and S. H. Mirian. Analyzing Chor Specifications by Translation into FSP. In Proc. of FOCLASA'09, volume 255 of ENTCS, pages 159-176, 2009.
20. G. Salaün and T. Bultan. Realizability of Choreographies using Process Algebra Encodings. In Proc. of IFM'2009, volume 5423 of LNCS, pages 167-182. Springer, 2009.
21. M. Wermelinger, A. Lopes, and J. L. Fiadeiro. A Graph Based Architectural (Re)configuration Language. In Proc. of ESEC / SIGSOFT FSE 2001, pages 21-32. ACM, 2001. (Pubitemid 35466907)
22. J. Maria Zaha, M. Dumas, A. H. M. ter Hofstede, A. P. Barros, and G. Decker. Service Interaction Modeling: Bridging Global and Local Views. In Proc. of EDOC'06, pages 45-55. IEEE Computer Society, 2006. (Pubitemid 351175435)