Automatic Generation of Adaptation Contracts

Electronic Notes in Theoretical Computer Science

Volumn 229, Issue 2, 2009, Pages 115-131

  Martín, José Antonio ^a   Pimentel, Ernesto ^a  

^a UNIVERSITY OF MÁLAGA   (Spain)

Author keywords

A* algorithm; adapter specification; behavioral adaptation; expert system

Indexed keywords

ADAPTER SPECIFICATION; AUTOMATED GENERATION; AUTOMATIC GENERATION; BEHAVIORAL ADAPTATION; BEHAVIORAL DESCRIPTIONS; BEHAVIORAL LEVEL; BLACK BOXES; PROTOTYPE TOOLS; SOFTWARE ADAPTATION; SOFTWARE COMPONENT; SOFTWARE DEVELOPMENT;

COMPUTER SOFTWARE; EXPERT SYSTEMS; SPECIFICATIONS; WORLD WIDE WEB;

SOFTWARE ARCHITECTURE;

EID: 67650002763     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2009.06.032     Document Type: Article

References (20)

1. Andrews, T. et al., "Business Process Execution Language for Web Services (WSBPEL)," BEA Systems, IBM, Microsoft, SAP AG, and Siebel Systems (2005)
2. Aumueller, D., H. Do, S. Massmann and E. Rahm, Schema and ontology matching with COMA++, in: Proc. of SIGMOD'05 (2005), pp. 906-908
3. Autili, M., P. Inverardi, A. Navarra and M. Tivoli, SYNTHESIS: A Tool for Automatically Assembling Correct and Distributed Component-Based Systems, in: Proc. of ICSE'07 (2007), pp. 784-787
4. Becker S., Brogi A., Gorton I., Overhage S., Romanovsky A., and Tivoli M. Towards an engineering approach to component adaptation. In: Heidelberg S.B. (Ed). Architecting Systems with Trustworthy Components. LNCS 3938 (2006), Springer 193-215
5. Boreale M., Bruni R., De Nicola R., Lanese I., Loreti M., Martins F., Montanari U., Ravara A., Sangiorgi D., Vasconcelos V., and Zavattaro G. SCC: A Service Centered Calculus. LNCS 4184 (2006), Springer 38-57
6. Bracciali A., Brogi A., and Canal C. A formal approach to component adaptation. The Journal of Systems & Software 74 (2005) 45-54
7. Brogi A., Canal C., and Pimentel E. On the semantics of software adaptation. Science of Computer Programming 61 (2006) 136-151
8. Brogi A., and Popescu R. Automated Generation of BPEL Adapters. Proc. of ICSOC'06. LNCS 4294 (2006) 27-39
9. Canal, C., P. Poizat and G. Salaun, Model-Based Adaptation of Behavioural Mismatching Components, IEEE Trans. on Softw. Eng. (2008), to appear
10. Cubo, J., 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, ENTCS (2007), to appear
11. Friedman-Hill E. Jess in Action: Java Rule-Based Systems (2003), Manning Publications Co.
12. Ingolfsdottir A., and Lin H. A symbolic approach to value-passing processes. Handbook of Process Algebra (2001), Elsevier
13. Milner R. A Calculus of Communicating Systems (1982), Springer
14. Moser, O., F. Rosenberg and S. Dustdar, Non-Intrusive Monitoring and Adaptation for WS-BPEL, in: Proc. of WWW'08, 2008, to appear
15. Motahari Nezhad, H. R., B. Benatallah, A. Martens, F. Curbera and F. Casati, Semi-automated adaptation of service interactions, in: Proc. of WWW'07 (2007), pp. 993-1002
16. Pedersen, T., S. Patwardhan and J. Michelizzi, Word-Net::Similarity - Measuring the relatedness of concepts, in: Proc. of Intelligent Systems Demonstrations, held in AAAI (2004), pp. 267-270
17. Russel S., and Norvig P. Artificial Intelligence: a Modern Approach (1995), Prentice-Hall
18. Salaün G., Bordeaux L., and Schaerf M. Describing and Reasoning on Web Services using Process Algebra. International Journal of Business Process Integration and Management 1 (2006) 116-128
19. Schmidt, H. and R. Reussner, Generating adapters for concurrent component protocol synchronisation, in: Proc. of FMOODS'02 (2002), pp. 213-229
20. Yellin D., and Strom R. Protocol Specifications and Component Adaptors. ACM Trans. Program. Lang. Syst. 19 (1997) 292-333