ABSTRACT
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.
- Curbera, F., Silva-Lepe, I. and Weerawarana, S. 2001. On the integration of heterogeneous web service partners. IBM T. J. Watson Research Center (August 9, 2001)Google Scholar
- Hamadi, R. and Benatallah. B. 2003. A Petri Net-based Model for Web Service Composition. In School of Computer Science and Engineering, The University of New South Wales. In Proceedings of the 14th Australasian Database Conference (ADC'03), CRPIT 17, pp. 191--200, Australian Computer Society, Adelaide, Australia, February (2003). Google ScholarDigital Library
- Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini M. and Mecella, M. 2003. Automatic Compositionof e-Services, Proc. of the First Int. Conf. on Service-Oriented Comp. (ICSOC) 43--58 (2003).Google Scholar
- Heckel, R. 2005. Towards contract based testing of web service. In Electronic Notes in Theoretical Computer Science 116 (2005) 145--156.Google ScholarDigital Library
- N. Medvidovic, Taylor, R. N. 2000. A classification and comparison framework for software architecture description languages. IEEE Transactions on Software Engineering, 26 (1): 70--93, (January 2000). Google ScholarDigital Library
- Graiet, M. 2007. Contribution à une démarche de vérification formelle d'architectures logicielles. Thèse de doctorat, Université Joseph Fourier, (25 Octobre 2007).Google Scholar
- M. Kmimech, M. Tahar Bhiri and P. Aniorté.: Checking component assembly in Acme: an approach applied on UML 2.0 components model. In 4nd IEEE International Conference on Software Engineering Advances (ICSEA'2009), Portugal, IEEE CS Press. Septembre (2009). Google ScholarDigital Library
- M. Rouachid.: Une approche rigoureuse pour l'ingénierie de compositions de services Web; Thèse de doctorat, Université Henri Poincaré, Nancy1. 31--34, (2008).Google Scholar
- OASIS 2008: Service component architecture assembly model specification version 1.1. http://www.oasis-opencsa.org/.Google Scholar
- OpenGroup(2009).Soa source book. http://www.opengroup.org/projects/soa-book.Google Scholar
- Oussalah, M. 2010. Vers une meilleure compréhension de la composition de services par Méta Modélisation d'un service composite. Conférence Architecture Logicielle (CAL 2010), Pau (2010).Google Scholar
- Athanasopoulos, G., Tsalgatidou, A. and Pantazoglou. M 2006. Interoperability among heterogeneous services. In Services Computing, SCC '06. 174--181, Chicago, USA, (September 2006). Google ScholarDigital Library
- Mrissa, M. 2007. Médiation Sémantique Orientée Contexte pour la Composition de Services Web. Thèse de doctorat, Université Claude Bernard Lyon IUFR Informatique, 15--36, (2007).Google Scholar
- Dumas, M., Spork, M. and Wang, K. 2006. Adapt or Perish: Algebra and Visual Notation for Service Interface Adaptation. Proceedings of the 4th International Conference on Business Process Management (BPM), Springer Verlag, Vienna, Austria, September 2006. Google ScholarDigital Library
- Xitong, L., Fan, Y., Madnick, S. and Sheng, Z. 2008. A pattern based protocol Mediation for web services Composition, Composite Information Systems Laboratory (CISL) Sloan School of Management, Room E53--320 Massachusetts Institute of Technology Cambridge, MA 02142 (2008).Google Scholar
- Bhiri, S., Godart, C. and Perrin, O. 2009.Patrons transactionnels pour assurer des compositions fiables de services web. Technique et Science Informatiques 28(3): 301--330 (2009).Google ScholarCross Ref
- van der Aalst, W. M. P., Barros, A. P., ter Hofstede, A. H. M. and Kiepuszewski, B. 2000. Advanced Workflow Patterns. In O. Etzion and Peter Scheuermann, editors. 5th IFCIS Int. Conf. on Cooperative Information Systems, number 190 in LNCS, pages 18--29, Eilat, Israel, September 6--8, (2000). Google ScholarDigital Library
- Bhiri. S. 2005. A Transactional Approach to Ensure Reliable Web Services Compositions 22--30. Thèse de doctorat, Université Henri Poincaré - Nancy I (Juin 2005).Google Scholar
- Warmer, J., Kleppe. A. 1998. The Object Constraint Language: Precise Modeling with UML, Addison-Wesley, (1998). Google ScholarDigital Library
- Meyer, B. 1992. Applying Design by Contract, IEEE Computer, vol, 25, pp 40--51, 1992. Google ScholarDigital Library
- Garlan, D., Monroe R. T., Wile D 1997. Acme: An Architecture Description Interchange Language. Proceedings of CASCON 97, Toronto, Ontario, November, 169--183,(1997). Google ScholarDigital Library
- Garlan, D., Monroe, R., Wile D. 2000. ACME: Architectural Description of Component-Based Systems. Foundations of Component-Based Systems, Leavens G. T, and Sitaraman M. (Eds.), Cambridge University, Press, 2000. Google ScholarDigital Library
- Garlan, D., Monroe, R. and Wile. D. 2001. ACME: Architectural Description of Component-based. Capturing software architecture design expertise with Armani. Technical Report CMU-CS-98-163, Carnegie Mellon University School of Computer Science.(2001)Google Scholar
- Group2006, http://www.cs.cmu.edu/~acme/Acme Studio/.Google Scholar
- Gacek, C. andGamble, C. 2008. Mismatch Avoidance in Web Services Software Architectures. Journal of Universal Computer Science, vol. 14, no. 8 (2008), 1285--1313.Google Scholar
- Gamble, C. and Gacek, C. 2008. Minimal Web Services Style Architectural Style Description and Example Instantiation. Technical Report CS-TR-1078, Newcastle University, Newcastle upon Tyne, United Kingdom, (2008).Google Scholar
Index Terms
- Towards an approach of formal verification of mediation protocol based on web services
Recommendations
Towards a transformation of composite web service with QoS extension into ACME\Armani
iiWAS '11: Proceedings of the 13th International Conference on Information Integration and Web-based Applications and ServicesIn this paper, the work developed aims at contributing to the research related to the Quality of Service (QoS) for Web services. The aim of this research is twofold, first, it helps the designers and developers to provide better web services and second, ...
Event-Based Design and Runtime Verification of Composite Service Transactional Behavior
Different from process components, Web services are defined independently from any execution context. A key challenge of (Web) service compositions is how to ensure reliable execution. Due to their inherent autonomy and heterogeneity, it is difficult to ...
A QoS-Based Web Services Selection Method for Dynamic Web Service Composition
ETCS '09: Proceedings of the 2009 First International Workshop on Education Technology and Computer Science - Volume 03Web Services provided a new way of distributed computing that achieve the interoperability between heterogonous application through platform and language independent interfaces.The creation of value-added services by composition of existing ones is ...
Comments