skip to main content
10.1145/1967486.1967502acmotherconferencesArticle/Chapter ViewAbstractPublication PagesiiwasConference Proceedingsconference-collections
research-article

Towards an approach of formal verification of mediation protocol based on web services

Published: 08 November 2010 Publication History

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.

References

[1]
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)
[2]
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).
[3]
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).
[4]
Heckel, R. 2005. Towards contract based testing of web service. In Electronic Notes in Theoretical Computer Science 116 (2005) 145--156.
[5]
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).
[6]
Graiet, M. 2007. Contribution à une démarche de vérification formelle d'architectures logicielles. Thèse de doctorat, Université Joseph Fourier, (25 Octobre 2007).
[7]
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).
[8]
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).
[9]
OASIS 2008: Service component architecture assembly model specification version 1.1. http://www.oasis-opencsa.org/.
[10]
OpenGroup(2009).Soa source book. http://www.opengroup.org/projects/soa-book.
[11]
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).
[12]
Athanasopoulos, G., Tsalgatidou, A. and Pantazoglou. M 2006. Interoperability among heterogeneous services. In Services Computing, SCC '06. 174--181, Chicago, USA, (September 2006).
[13]
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).
[14]
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.
[15]
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).
[16]
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).
[17]
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).
[18]
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).
[19]
Warmer, J., Kleppe. A. 1998. The Object Constraint Language: Precise Modeling with UML, Addison-Wesley, (1998).
[20]
Meyer, B. 1992. Applying Design by Contract, IEEE Computer, vol, 25, pp 40--51, 1992.
[21]
Garlan, D., Monroe R. T., Wile D 1997. Acme: An Architecture Description Interchange Language. Proceedings of CASCON 97, Toronto, Ontario, November, 169--183,(1997).
[22]
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.
[23]
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)
[24]
Group2006, http://www.cs.cmu.edu/~acme/Acme Studio/.
[25]
Gacek, C. andGamble, C. 2008. Mismatch Avoidance in Web Services Software Architectures. Journal of Universal Computer Science, vol. 14, no. 8 (2008), 1285--1313.
[26]
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).

Cited By

View all
  • (2021)Systematic Literature Review on Service Oriented Architecture ModelingComputational Science and Its Applications – ICCSA 202110.1007/978-3-030-86970-0_15(201-210)Online publication date: 13-Sep-2021
  • (2017)Behavioral Verification of Service Component Architecture2017 IEEE 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)10.1109/WETICE.2017.65(239-241)Online publication date: Jun-2017
  • (2017)A mediation based approach for formal verification of web services composition2017 International Conference on Engineering & MIS (ICEMIS)10.1109/ICEMIS.2017.8272975(1-6)Online publication date: May-2017
  • Show More Cited By

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences
iiWAS '10: Proceedings of the 12th International Conference on Information Integration and Web-based Applications & Services
November 2010
895 pages
ISBN:9781450304214
DOI:10.1145/1967486
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

  • IIWAS: International Organization for Information Integration
  • Web-b: Web-b

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 November 2010

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. ACME/ARMANI ADL
  2. formalization
  3. mediation
  4. reliability
  5. transactional web services
  6. web services composition

Qualifiers

  • Research-article

Conference

iiWAS '10
Sponsor:
  • IIWAS
  • Web-b

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)0
  • Downloads (Last 6 weeks)0
Reflects downloads up to 13 Feb 2025

Other Metrics

Citations

Cited By

View all
  • (2021)Systematic Literature Review on Service Oriented Architecture ModelingComputational Science and Its Applications – ICCSA 202110.1007/978-3-030-86970-0_15(201-210)Online publication date: 13-Sep-2021
  • (2017)Behavioral Verification of Service Component Architecture2017 IEEE 26th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises (WETICE)10.1109/WETICE.2017.65(239-241)Online publication date: Jun-2017
  • (2017)A mediation based approach for formal verification of web services composition2017 International Conference on Engineering & MIS (ICEMIS)10.1109/ICEMIS.2017.8272975(1-6)Online publication date: May-2017
  • (2015)Integrating the SysML and ACME in a Model Driven Engineering Approach to Verify the Web Service CompositionProceedings of the 2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises10.1109/WETICE.2015.41(183-189)Online publication date: 15-Jun-2015
  • (2015)Towards a Practical Approach to Check Service Component ArchitectureProceedings of the 2015 11th International Conference on Semantics, Knowledge and Grids (SKG)10.1109/SKG.2015.38(65-72)Online publication date: 19-Aug-2015
  • (2013)A Model-Driven Engineering Approach for the Formal Verification of Composite Web ServicesProceedings of the 2013 Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises10.1109/WETICE.2013.20(266-271)Online publication date: 17-Jun-2013
  • (2011)Towards a transformation of composite web service with QoS extension into ACME\ArmaniProceedings of the 13th International Conference on Information Integration and Web-based Applications and Services10.1145/2095536.2095601(349-352)Online publication date: 5-Dec-2011
  • (2011)Towards an IDM Approach of Transforming Web Services into ACME Providing Quality of Service2011 Seventh International Conference on Semantics, Knowledge and Grids10.1109/SKG.2011.38(187-190)Online publication date: Oct-2011

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media