{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T02:47:56Z","timestamp":1649040476569},"reference-count":28,"publisher":"International Academy Publishing (IAP)","issue":"12","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JSW"],"DOI":"10.4304\/jsw.7.12.2874-2885","type":"journal-article","created":{"date-parts":[[2012,12,28]],"date-time":"2012-12-28T21:06:02Z","timestamp":1356728762000},"source":"Crossref","is-referenced-by-count":0,"title":["WS-mcv: An Efficient Model Driven Methodology for Web Services Composition"],"prefix":"10.17706","volume":"7","author":[{"given":"Fay\u00e7al","family":"Bachtarzi","sequence":"first","affiliation":[]},{"given":"Allaoua","family":"Chaoui","sequence":"additional","affiliation":[]},{"given":"Elhillali","family":"Kerkouche","sequence":"additional","affiliation":[]}],"member":"7163","published-online":{"date-parts":[[2012,12,1]]},"reference":[{"issue":"Number 7","key":"ref1","first-page":"10671075","article-title":"A cp-net model and operation properties for web service composition","volume":"29","author":"Yubin","year":"2006","unstructured":"[5] G. Yubin, D. Yuyue, and X. Jianqing, \"A cp-net model and operation properties for web service composition,\" Chinese Journal of Computers (Chinese edition), vol. 29, Number 7, p. 10671075, 2006.","journal-title":"Chinese Journal of Computers"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s11741-008-0409-2"},{"key":"ref3","first-page":"206","article-title":"Integrating software engineering methods and petri nets for the specification and prototyping of complex information systems","volume-title":"Proc The 14th International Conference on Application and Theory of Petri Nets","author":"Deng","year":"1993","unstructured":"[11] Y. Deng, S. K. Chang, J. C. A. De Figueiredo, and A. Psrkusich, \"Integrating software engineering methods and petri nets for the specification and prototyping of complex information systems,\" in Proc. The 14th International Conference on Application and Theory of Petri Nets, Chicago, June21\u201325, 1993, pp. 206\u2013223."},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(81)90113-4"},{"key":"ref5","first-page":"1069","volume-title":"Issue 7","volume":"07","author":"He","year":"2012","unstructured":"[14] T. He and L. Li, \"Research on verification tool for software requirements,\" JOURNAL OF SOFTWARE, vol. 07, Issue 7, pp. 1069\u20131616, JULY 2012."},{"issue":"Issue 5","key":"ref6","first-page":"1","article-title":"Formal methods for service composition","volume":"1","author":"Ter Beek","year":"2007","unstructured":"[15] M. Ter Beek, A. Bucchiarone, and S. Gnesi, \"Formal methods for service composition,\" Annals of Mathematics, Computing and Teleinformatics, vol. 1, Issue 5, pp. 1\u201310, 2007.","journal-title":"Annals of Mathematics Computing and Teleinformatics"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2007.129"},{"key":"ref8","first-page":"149","volume-title":"Issue 1","volume":"07","author":"Li","year":"2012","unstructured":"[19] B. Li, Y. Xu, J. Wu, and J. Zhu, \"A petri-net and qos based model for automatic web service composition,\" JOURNAL OF SOFTWARE, vol. 07, Issue 1, pp. 149\u2013155, JANUARY 2012."},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/S0164-1212(96)00162-8"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S1389-1286(03)00228-7"},{"key":"ref10","doi-asserted-by":"crossref","unstructured":"[1] F. Curbera, M. Duftler, R. Khalaf, W. Nagy, N. Mukhi, and S.Weerawarana, \"Unraveling the web services web an introduction to soap, wsdl, and uddi,\" IEEE INTERNET COMPUTING.","DOI":"10.1016\/S1389-1286(03)00228-7"},{"key":"ref10","doi-asserted-by":"crossref","unstructured":"[2] E. Christensen, F. Curbera, G. Meredith, and S. Weerawarana, \"Web services description language (wsdl) 1.1,\" Mar 2001, [Online]. Available: http:\/\/www.w3.org\/TR\/wsdl.","DOI":"10.1016\/S1389-1286(03)00228-7"},{"key":"ref10","doi-asserted-by":"crossref","unstructured":"[3] D. Box, D. Ehnebuske, G. Kakivaya, A. Layman, N. Mendelsohn, H. F. Nielsen, S. Thatte, and D. Winer, \"Simple object access protocol (soap) 1.1,\" May 2000, [Online]. Available: http:\/\/www.w3.org\/TR\/2000\/NOTESOAP-20000508\/.","DOI":"10.1016\/S1389-1286(03)00228-7"},{"key":"ref10","doi-asserted-by":"crossref","unstructured":"[4] R. Hamadi and B. Benatallah, \"A petri net based-model for web service composition,\" in proc. the 14th australasian database conference, adelaide. Darlinghurst: Australian Computer Society, 2003, pp. 191\u2013200.","DOI":"10.1016\/S1389-1286(03)00228-7"},{"key":"ref10","doi-asserted-by":"crossref","unstructured":"[7] X. Feng, Q. Liu, and Z. Wang, \"A web service composition modeling and evaluation method used petri net,\" in Proc. APWeb Workshops, 2006, pp. 905\u2013911.","DOI":"10.1016\/S1389-1286(03)00228-7"},{"key":"ref10","doi-asserted-by":"crossref","unstructured":"[8] R. Akkiraju and B. Sapkota, \"Semantic annotations for wsdl and xml schema usage guide,\" (2007), [Online]. Available: http:\/\/www.w3.org\/TR\/sawsdl-guide\/.","DOI":"10.1016\/S1389-1286(03)00228-7"},{"key":"ref10","doi-asserted-by":"crossref","unstructured":"[9] J. Bruijn, D. Fensel, U. Keller, H. M Lausen, R. Krummenacher, A. Polleres, and L. Predoiu, \"The web service modeling language wsml,\" 2005, [Online]. Available: http:\/\/www.wsmo.org\/wsml\/.","DOI":"10.1016\/S1389-1286(03)00228-7"},{"key":"ref10","doi-asserted-by":"crossref","unstructured":"[10] D. Martin, M. Burstein, J. Hobbs, and al, \"Owl-s: Semantic markup for web services,\" [Online]. Available: http:\/\/www.w3.org\/Submission\/OWL-S\/.","DOI":"10.1016\/S1389-1286(03)00228-7"},{"key":"ref10","doi-asserted-by":"crossref","unstructured":"[12] E. H. Kerkouche and A. Chaoui, \"A formal framework and a tool for the specification and analysis of g-nets models based on graph transformation,\" in proc. of International Conference on Distributed Computing and Networking CDCN09, India, January 2009, p. 206211.","DOI":"10.1016\/S1389-1286(03)00228-7"},{"key":"ref10","doi-asserted-by":"crossref","unstructured":"[16] F. Curbera, Y. Goland, J. Klein, F. Leymann, D. Roller, S. Thatte, and S. Weerawarana, . Business Process Execution Language for Web Service (BPEL4WS) 1.0. Published on the World Wide Web by BEA Corp, IBM Corp and Microsoft Corp, Aug 2002.","DOI":"10.1016\/S1389-1286(03)00228-7"},{"key":"ref10","doi-asserted-by":"crossref","unstructured":"[18] B. Srivastava and J. Koehler, \"Web service composition - current solutions and open problems,\" in ICAPS 2003 workshop on Planning for Web Services, July22 2003.","DOI":"10.1016\/S1389-1286(03)00228-7"},{"key":"ref10","doi-asserted-by":"crossref","unstructured":"[20] K. Jensen, \"Coloured petri nets- a high level language for system design and analysis,\" in Lecture Notes in Computer Science 483. Advances in Petri Nets 1990 Springer-verlag, 1990.","DOI":"10.1016\/S1389-1286(03)00228-7"},{"key":"ref10","doi-asserted-by":"crossref","unstructured":"[21] C. A. Petri, \"Kommunikation mit automaten (in german),\" Ph.D. dissertation, University of Bonn, Germany, 1962.","DOI":"10.1016\/S1389-1286(03)00228-7"},{"key":"ref10","doi-asserted-by":"crossref","unstructured":"[23] J. De Lara and H. Vangheluwe, \"Atom3: A tool for multiformalism modelling and meta-modelling,\" in proc. of European Conferences on Theory And Practice of Software Engineering ETAPS02, 2002, p. 174 188.","DOI":"10.1016\/S1389-1286(03)00228-7"},{"key":"ref10","doi-asserted-by":"crossref","unstructured":"[24] Google, \"Google maps api web service,\" (2005), [Online]. Available: From: http:\/\/code.google.com\/intl\/com\/apis\/maps\/.","DOI":"10.1016\/S1389-1286(03)00228-7"},{"key":"ref10","doi-asserted-by":"crossref","unstructured":"[26] D. Zhovtobryukh, \"Context-aware web service composition,\" Ph.D. dissertation, University of Jyvaskyla, Finland, 2006.","DOI":"10.1016\/S1389-1286(03)00228-7"},{"key":"ref10","doi-asserted-by":"crossref","unstructured":"[27] PROD, \"Prod: An advanced tool for efficient reachability analysis, version 3.4.01.\" 1995, [Online]. Available: http:\/\/www.tcs.hut.fi\/Software\/prod\/.","DOI":"10.1016\/S1389-1286(03)00228-7"},{"key":"ref10","doi-asserted-by":"crossref","unstructured":"[28] K. Varpaaniemi, J. Halme, K. Hiekkanen, and T. Pyssysalo, Helsinki University of technology, Tech. Rep.","DOI":"10.1016\/S1389-1286(03)00228-7"}],"container-title":["Journal of Software"],"original-title":[],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T04:58:16Z","timestamp":1498021096000},"score":1,"resource":{"primary":{"URL":"http:\/\/ojs.academypublisher.com\/index.php\/jsw\/article\/view\/7843"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12,1]]},"references-count":28,"journal-issue":{"issue":"12","published-online":{"date-parts":[[2012,12,1]]}},"URL":"https:\/\/doi.org\/10.4304\/jsw.7.12.2874-2885","relation":{},"ISSN":["1796-217X"],"issn-type":[{"value":"1796-217X","type":"print"}],"subject":[],"published":{"date-parts":[[2012,12,1]]}}}