Adaptation of service protocols using process algebra and on-the-fly reduction techniques

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5364 LNCS, Issue , 2008, Pages 84-99

  Mateescu, Radu ^a   Poizat, Pascal ^b,c   Salaün, Gwen ^d  

^a UNIVERSITÉ DE BOURGOGNE   (France)

^b INRIA/ARLES Project Team   (France)

^c UNIVERSITY OF EVRY   (France)

^d UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

ADAPTATION TECHNIQUES; BEHAVIORAL DESCRIPTIONS; BLACK-BOX COMPONENTS; PROCESS ALGEBRAS; REDUCTION TECHNIQUES; SERVICE INTERFACES; SERVICE PROTOCOLS; SOFTWARE ADAPTATION;

SOFTWARE ENGINEERING;

EID: 58049104785     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-89652-4_10     Document Type: Conference Paper

References (21)

1. Arnold, A.: Finite Transition Systems. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1994)
2. Autili, M., Inverardi, P., Navarra, A., Tivoli, M.: SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-based Systems. In: Proc. of ICSE 2007, pp. 784-787. IEEE Computer Society, Los Alamitos (2007)
3. Becker, S., Brogi, A., Gorton, I., Overhage, S., Romanovsky, A., Tivoli, M.: Towards an Engineering Approach to Component Adaptation. In: Reussner, R., Stafford, J.A., Szyperski, C. (eds.) Architecting Systems with Trustworthy Components. LNCS, vol. 3938, pp. 193-215. Springer, Heidelberg (2006)
4. Bracciali, A., Brogi, A., Canal, C.: A Formal Approach to Component Adaptation. Journal of Systems and Software 74(1), 45-54 (2005)
5. Brogi, A., Popescu, R.: Automated Generation of BPEL Adapters. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 27-39. Springer, Heidelberg (2006)
6. Canal, C., Poizat, P., Salaün, G.: Model-Based Adaptation of Behavioural Mismatching Components. IEEE Transactions on Software Engineering 34(4), 546-563 (2008)
7. Dumas, M., Wang, KAV.S., Spork, M.L.: Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 65-80. Springer, Heidelberg (2006)
8. Fischer, M.J., Ladner, R.E.: Propositional Dynamic Logic of Regular Programs. Journal of Computer and System Sciences 18(2), 194-211 (1979)
9. Foster, H., Uchitel, S., Kramer, J.: LTSA-WS: A Tool for Model-based Verification of Web Service Compositions and Choreography. In: Proc. of ICSE 2006, pp. 771-774. ACM Press, New York (2006)
10. Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: Proc. of WWW 2004, pp. 621-630. ACM Press, New York (2004)
11. Garavel, H.: Open/Cæesar: An Open Software Architecture for Verification, Simulation, and Testing. In: Steffen, B. (ed.) TACAS 1998. LNCS, vol. 1384, pp. 68-84. Springer, Heidelberg (1998)
12. Garavel, H., Lang, F.: SVL: a Scripting Language for Compositional Verification. In: Proc. of FORTE 2001, IFIP, pp. 377-392. Kluwer Academic, Dordrecht (2001)
13. Garavel, H., Mateescu, R., Lang, F., Serwe, W.: CADP 2006: A Toolbox for the Construction and Analysis of Distributed Processes. In: Damm, W., Hermanns, H. (eds.) CAV 2007. LNCS, vol. 4590, pp. 158-163. Springer, Heidelberg (2007)
14. ISO/TEC LOTOS -A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard 8807, ISO (1989)
15. Mateescu, R.: On-the-fly State Space Reductions for Weak Equivalences. In: Proc. of FMICS 2005, pp. 80-89. ACM Computer Society Press, New York (2005)
16. Mateescu, R.: CAESAR-SOLVE: A Generic Library for On-the-Fly Resolution of Alternation-Free Boolean Equation Systems. STTT Journal 8(1), 37-56 (2006)
17. Mateescu, R., Poizat, P., Salaün, G.: Behavioral Adaptation of Component Compositions based on Process Algebra Encodings. In: Proc. of ASE 2007, pp. 385-388. IEEE Computer Society, Los Alamitos (2007)
18. Mateescu, R., Sighireanu, M.: Efficient On-the-Fly Model-Checking for Regular Alternation-Free Mu-Calculus. Science of Computer Programming 46(3), 255-281 (2003)
19. Moser, O., Rosenberg, F., Dustdar, S.: Non-Intrusive Monitoring and Adaptation for WS-BPEL. In: Proc. of WWW 2008, pp. 815-824 (2008)
20. Motahari-Nezhad, H.R., Benatallah, B., Martens, A., Curbera, F., Casati, F.: SemiAutomated Adaptation of Service Interactions. In: Proc. of WWW 2007, pp. 9931002 (2007)
21. Salaün, G., Bordeaux, L., Schaerf, M.: Describing and Reasoning on Web Services using Process Algebra. International Journal of Business Process Integration and Management 1(2), 116-128 (2006)