{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,2]],"date-time":"2025-08-02T18:05:16Z","timestamp":1754157916277,"version":"3.41.2"},"reference-count":35,"publisher":"Emerald","issue":"1","license":[{"start":{"date-parts":[[2012,3,30]],"date-time":"2012-03-30T00:00:00Z","timestamp":1333065600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.emerald.com\/insight\/site-policies"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,3,30]]},"abstract":"<jats:sec><jats:title content-type=\"abstract-heading\">Purpose<\/jats:title><jats:p>The purpose of this paper is to formally verify the composition of web services to reduce inconsistencies in software architectures.<\/jats:p><\/jats:sec><jats:sec><jats:title content-type=\"abstract-heading\">Design\/methodology\/approach<\/jats:title><jats:p>In order to check the web services composition, the authors use a model\u2010driven engineering (MDE)\u2010based approach and to achieve the formalization of web service composition in ACME and check the consistency of this composition, the authors introduce the pattern mediation to formalize web services composition with the ADL ACME, using the concept of architectural style of ACME. Subsequently, a scenario shows how this style can be used in ACMEStudio to detect inconsistencies. The example shows a web travel organization application.<\/jats:p><\/jats:sec><jats:sec><jats:title content-type=\"abstract-heading\">Findings<\/jats:title><jats:p>The authors ensure reliability defined through non\u2010functional properties. To do so, use ACME was used to check assembling consistency of web service composition. In a second part, a SWC2ACME tool was designed and implemented to check if the web services meta\u2010model conforms to ACME model.<\/jats:p><\/jats:sec><jats:sec><jats:title content-type=\"abstract-heading\">Originality\/value<\/jats:title><jats:p>The paper describes a framework which has proven to be useful to ensure a safe design and execution of software architectures, specifically web services composition.<\/jats:p><\/jats:sec>","DOI":"10.1108\/17440081211222582","type":"journal-article","created":{"date-parts":[[2012,3,24]],"date-time":"2012-03-24T08:53:01Z","timestamp":1332579181000},"page":"32-54","source":"Crossref","is-referenced-by-count":5,"title":["Towards an approach of formal verification of mediation protocol based on web services of MDE type"],"prefix":"10.1108","volume":"8","author":[{"given":"Mohamed","family":"Graiet","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Raoudha","family":"Maraoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mourad","family":"Kmimech","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Tahar Bhiri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walid","family":"Gaaloul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"140","reference":[{"key":"key2022031620015468300_b1","doi-asserted-by":"crossref","unstructured":"Andries, M., Engels, G., Habel, A., Hoffmann, B., Kreowski, H.\u2010J., Kuske, S., Pump, D., Sch\u00fcrr, A. and Taentzer, G. (1999), \u201cGraph transformation for specification and programming\u201d, Science of Computer Programming, Vol. 34 No. 1, pp. 1\u201054.","DOI":"10.1016\/S0167-6423(98)00023-9"},{"key":"key2022031620015468300_b2","doi-asserted-by":"crossref","unstructured":"Athanasopoulos, G., Tsalgatidou, A. and Pantazoglou, M. (2006), \u201cInteroperability among heterogeneous services\u201d, pp. 174\u201081.","DOI":"10.1109\/SCC.2006.59"},{"key":"key2022031620015468300_b3","doi-asserted-by":"crossref","unstructured":"Baudry, B., Ghosh, S., Fleurey, F., France, R., Le Traon, Y. and Mottu, J.M. (2009), \u201cBarries to systematic model transformation testing\u201d, Communications of the ACM, Vol. 53 No. 6.","DOI":"10.1145\/1743546.1743583"},{"key":"key2022031620015468300_b4","doi-asserted-by":"crossref","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G., Lenzerini, M. and Mecella, M. (2003), \u201cAutomatic composition of e\u2010services\u201d, Proc. of the First Int. Conf. on Service\u2010oriented Comp. (ICSOC\u2009), pp. 43\u201058.","DOI":"10.1007\/978-3-540-24593-3_4"},{"key":"key2022031620015468300_b5","doi-asserted-by":"crossref","unstructured":"Bhiri, S., Godart, C. and Perrin, O. (2009), \u201cPatrons transactionnels pour assurer des compositions fiables de services web\u201d, Technique et Science Informatiques, Vol. 28 No. 3, pp. 301\u201030.","DOI":"10.3166\/tsi.28.301-330"},{"key":"key2022031620015468300_b33","unstructured":"Bhiri, T.M., Kmimech, M. and Graiet, M. (2011), \u201cDe wright vers Ada\u201d, paper presented at Conf\u00e9rence des Architectures logicielles."},{"key":"key2022031620015468300_b10","unstructured":"Cariou, E., Belloir, N., Barbier, F. and Djemam, N. (2009), \u201cOCL contracts for the verification of model transformations\u201d, Proceedings of the Workshop \u2013 The Pragmatics of OCL and Other Textual Specification Languages at MoDELS 2009, Electronic Communications of the EASST, Vol. 24."},{"key":"key2022031620015468300_b6","unstructured":"Combemale, B. (2008), \u201cApproche de m\u00e9ta\u2010mod\u00e9lisation pour la simulation et la v\u00e9rification de mod\u00e8le, application \u00e0 l'ing\u00e9nierie des proc\u00e9d\u00e9s\u201d, Th\u00e8se de Doctorat, Toulouse."},{"key":"key2022031620015468300_b7","unstructured":"Cuadrado, J.S., Jouault, F., Molina, J.G. and B\u00e9zivin, J. (2009), \u201cOptimization patterns for OCL\u2010based model transformations\u201d, Models in Software Engineering, Springer, Berlin."},{"key":"key2022031620015468300_b8","unstructured":"Curbera, F., Silva\u2010Lepe, I. and Weerawarana, S. (2001), On the Integration of Heterogeneous Web Service Partners, IBM T.J. Watson Research Center, Yorktown Heights, NY, 9 August."},{"key":"key2022031620015468300_b9","doi-asserted-by":"crossref","unstructured":"Dumas, M., Spork, M. and Wang, K. (2006), \u201cAdapt or perish: algebra and visual notation for service interface adaptation\u201d, in Dustdar, S., Fiadeiro, J.L. and Sheth, A.P. (Eds), Business Process Management, Lecture Notes in Computer Science, Springer, Berlin, pp. 65\u201080.","DOI":"10.1007\/11841760_6"},{"key":"key2022031620015468300_b11","unstructured":"Elmansouri, R. (2007), \u201cTowards a full automatic approach to use in a Petri nats environnement for business process modeling\u201d, Proceedings of ACIT'2007, Lattakia, Syria."},{"key":"key2022031620015468300_b12","unstructured":"Gacek, C. and Gamble, C. (2008), \u201cMismatch avoidance in web services software architectures\u201d, Journal of Universal Computer Science, Vol. 14 No. 8, pp. 1285\u2010313."},{"key":"key2022031620015468300_b13","unstructured":"Garlan, D., Monroe, R.T. and Wile, D. (1997), \u201cACME: an architecture description interchange language\u201d, Proceedings of CASCON 97, Toronto, ON, November, pp. 169\u201083."},{"key":"key2022031620015468300_b14","unstructured":"Garlan, D., Monroe, R.T. and Wile, D. (2000), \u201cACME: architectural description of composed\u2010based systems\u201d, in Gary, L. and Murali, S. (Eds), Foundations of Component\u2010based Systems, Kluwer, Boston, MA."},{"key":"key2022031620015468300_b15","unstructured":"Garlan, D., Monroe, R.T. and Wile, D. (2001), \u201cACME: architectural description of component\u2010based: capturing software architecture design expertise with ARMANI\u201d, Technical Report CMU\u2010CS\u201098\u2010163, Carnegie Mellon University School of Computer Science, Pittsburgh, PA."},{"key":"key2022031620015468300_b16","unstructured":"Graiet, M. (2007), \u201cContribution \u00e0 une d\u00e9marche de v\u00e9rification formelle d'architectures logicielles\u201d, th\u00e8se de doctorat, Universit\u00e9 Joseph Fourier, Grenoble."},{"key":"key2022031620015468300_b17","unstructured":"Group (2006), available at: www.cs.cmu.edu\/\u02dcACME\/ACME Studio\/."},{"key":"key2022031620015468300_b18","unstructured":"Hamadi, R. and Benatallah, B. (2003), \u201cA Petri net\u2010based model for web service composition\u201d, School of Computer Science and Engineering, The University of New South Wales, In Proceedings of the 14th Australasian Database Conference (ADC'03), CRPIT 17, Australian Computer Society, Adelaide, pp. 191\u2010200."},{"key":"key2022031620015468300_b19","doi-asserted-by":"crossref","unstructured":"Heckel, R. (2005), \u201cTowards contract based testing of web service\u201d, Electronic Notes in Theoretical Computer Science, Vol. 116, pp. 145\u201056.","DOI":"10.1016\/j.entcs.2004.02.073"},{"key":"key2022031620015468300_b20","unstructured":"Jouault, F. (2006), \u201cContribution \u00e0 l'\u00e9tude des languages de transformation de mod\u00e8les\u201d, th\u00e8se de doctorat, Ecole Dotorale sciences et technologies de l'information et des mat\u00e9riaux."},{"key":"key2022031620015468300_b21","doi-asserted-by":"crossref","unstructured":"Kmimech, M., Tahar Bhiri, M., Graiet, M. and Aniort\u00e9, P. (2009), \u201cChecking component assembly in ACME: an approach applied on UML 2.0 components model\u201d, paper presented at 4th IEEE International Conference on Software Engineering Advances (ICSEA'2009), Portugal, IEEE CS Press.","DOI":"10.1109\/ICSEA.2009.78"},{"key":"key2022031620015468300_b22","doi-asserted-by":"crossref","unstructured":"K\u00fcster, J.M. (2006), \u201cDefinition and validation of model transformations\u201d, Software and Systems Modeling, Vol. 5.","DOI":"10.1007\/s10270-006-0018-8"},{"key":"key2022031620015468300_b23","doi-asserted-by":"crossref","unstructured":"Medvidovic, N. and Taylor, R.N. (2000), \u201cA classification and comparison framework for software architecture description languages\u201d, IEEE Transactions on Software Engineering, Vol. 26 No. 1, pp. 70\u201093.","DOI":"10.1109\/32.825767"},{"key":"key2022031620015468300_b24","unstructured":"Mottu, J.M., Baudry, B.E. and LeTrao, Y. (2005), \u201cG\u00e9n\u00e9ration automatique de tests pour les transformartions de mod\u00e8les\u201d, Premi\u00e8re journ\u00e9e sur IDM, Paris."},{"key":"key2022031620015468300_b25","unstructured":"Mrissa, M. (2007), \u201cM\u00e9diation S\u00e9mantique Orient\u00e9e Contexte pour la Composition de Services Web\u201d, th\u00e8se de doctorat, Universit\u00e9 Claude Bernard Lyon IUFR Informatique, pp. 15\u201036."},{"key":"key2022031620015468300_b26","unstructured":"Muzzamil, L.M., Brouard, T., Ramel, J.Y. and Liados, J. (2010), \u201cVers une approche floue d'encapsulation de graphes: Application \u00e0 la reconnaissance de symboles\u201d."},{"key":"key2022031620015468300_b29","unstructured":"OMG (2006), Object Management Group: Meta Object Facility (MOF) 2.0 Core Specification, Final Adopted Specification."},{"key":"key2022031620015468300_b28","unstructured":"OMG04 (2004), Object Management Group (OMG), Model Driven Architecture (MDA), avialable at: www.omg.org\/mda."},{"key":"key2022031620015468300_b30","unstructured":"OpenGroup (2009), Soa Source Book, available at: www.opengroup.org\/projects\/soa\u2010book."},{"key":"key2022031620015468300_b27","unstructured":"Organization for the Advancement of Structured Information Standards (2008), Service Component Architecture Assembly Model Specification Version 1.1, OASIS, available at: www.oasis\u2010opencsa.org\/."},{"key":"key2022031620015468300_b31","unstructured":"Oussalah, M. (2010), \u201cune meilleure compr\u00e9hension de la composition de services par M\u00e9ta Mod\u00e9lisation d'un service composite\u201d, paper presented at Conf\u00e9rence Architecture Logicielle (CAL 2010)."},{"key":"key2022031620015468300_b32","unstructured":"Rouachid, M. (2008), \u201cUne approche rigoureuse pour l'ing\u00e9nierie de compositions de services Web\u201d, th\u00e8se de doctorat, Universit\u00e9 Henri Poincar\u00e9, Nancy 1, pp. 31\u20104."},{"key":"key2022031620015468300_b34","doi-asserted-by":"crossref","unstructured":"Van der Aalst, W.M.P., Barros, A.P., ter Hofstede, A.H.M. and Kiepuszewski, B. (2000), \u201cAdvanced workflow patterns\u201d, in Etzion, O. and Peter, S. (Eds), 5th IFCIS Int. Conf. on Cooperative Information Systems, Number 190 in LNCS, Eilat, Israel, 6\u20108 September, pp. 18\u201029.","DOI":"10.1007\/10722620_2"},{"key":"key2022031620015468300_b35","unstructured":"Warmer, J. and Kleppe, A. (1998), The Object Constraint Language: Precise Modeling with UML, Addison\u2010Wesley, Boston, MA."}],"container-title":["International Journal of Web Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.emerald.com\/insight\/content\/doi\/10.1108\/17440081211222582\/full\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.emerald.com\/insight\/content\/doi\/10.1108\/17440081211222582\/full\/html","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,7,25]],"date-time":"2025-07-25T00:25:05Z","timestamp":1753403105000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.emerald.com\/ijwis\/article\/8\/1\/32-54\/164087"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,3,30]]},"references-count":35,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2012,3,30]]}},"alternative-id":["10.1108\/17440081211222582"],"URL":"https:\/\/doi.org\/10.1108\/17440081211222582","relation":{},"ISSN":["1744-0084"],"issn-type":[{"type":"print","value":"1744-0084"}],"subject":[],"published":{"date-parts":[[2012,3,30]]}}}