TY - GEN
T1 - Towards an approach of formal verification of mediation protocol based on Web services
AU - Graiet, Mohamed
AU - Maraoui, Raoudha
AU - Kmimech, Mourad
AU - Bhiri, Mohamed Tahar
AU - Gaaloul, Walid
PY - 2010/12/1
Y1 - 2010/12/1
N2 - SOA (Service Oriented Architecture) defines a new Web services cooperation paradigm in order to develop distributed applications using reusable services. The handling of such collaboration has different problems that lead to many research efforts. In this paper, we address the problem of Web service composition. Indeed, various heterogeneities can arise during the composition. The resolution of these heterogeneities, called mediation, is needed to achieve a service composition. In this paper, we propose a sound approach to formalize Web services composition mediation with the ADL (Architecture Description Language) ACME. To do so, we first model the meta model of composite service manager and mediation. Then we specify semi formal properties associated with this meta model using OCL (Object Constraint Language). Afterwards, we formalize the mediation protocol using Armani, which provides a powerful predicate language in order to ensure service execution reliability.
AB - SOA (Service Oriented Architecture) defines a new Web services cooperation paradigm in order to develop distributed applications using reusable services. The handling of such collaboration has different problems that lead to many research efforts. In this paper, we address the problem of Web service composition. Indeed, various heterogeneities can arise during the composition. The resolution of these heterogeneities, called mediation, is needed to achieve a service composition. In this paper, we propose a sound approach to formalize Web services composition mediation with the ADL (Architecture Description Language) ACME. To do so, we first model the meta model of composite service manager and mediation. Then we specify semi formal properties associated with this meta model using OCL (Object Constraint Language). Afterwards, we formalize the mediation protocol using Armani, which provides a powerful predicate language in order to ensure service execution reliability.
KW - ACME/ARMANI
KW - ADL
KW - Formalization
KW - Mediation
KW - Reliability
KW - Transactional Web services
KW - Web services composition
U2 - 10.1145/1967486.1967502
DO - 10.1145/1967486.1967502
M3 - Conference contribution
AN - SCOPUS:79955981334
SN - 9781450304214
T3 - iiWAS2010 - 12th International Conference on Information Integration and Web-Based Applications and Services
SP - 75
EP - 82
BT - iiWAS2010 - 12th International Conference on Information Integration and Web-Based Applications and Services
T2 - 12th International Conference on Information Integration and Web-Based Applications and Services, iiWAS2010
Y2 - 8 November 2010 through 10 November 2010
ER -