{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:00:00Z","timestamp":1730296800251,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,10]]},"DOI":"10.1109\/sita.2015.7358410","type":"proceedings-article","created":{"date-parts":[[2016,5,5]],"date-time":"2016-05-05T15:06:34Z","timestamp":1462460794000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Modeling and simulation of Web Services composition based on MARDS model"],"prefix":"10.1109","author":[{"given":"N.","family":"Adadi","sequence":"first","affiliation":[]},{"given":"M.","family":"Berrada","sequence":"additional","affiliation":[]},{"given":"D.","family":"Chenouni","sequence":"additional","affiliation":[]},{"given":"B.","family":"Bounabat","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref13","article-title":"The Role of Planning in Grid Computing","author":"blythe","year":"2003","journal-title":"Proceedings of International Conference on Al Planning and Scheduling"},{"key":"ref12","article-title":"Estimated-Regression Planning for Interactions with Web Services","author":"mcdermott","year":"2002","journal-title":"Proceeding of AIPS"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2005.82"},{"key":"ref14","first-page":"467","article-title":"Automatic Web Services Composition Using Planning","author":"srivastava","year":"2002","journal-title":"Proceedings of KBCS Mumbai"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61474-5_97"},{"journal-title":"W3C OWL-S Semantic Markup for Web Services","year":"2004","key":"ref11"},{"journal-title":"W3C Web services choreography description language version 1 0","year":"2002","key":"ref10"},{"journal-title":"Méthode d'analyse et de conception orientée objet décisionnel Application aux langages synchrones et aux systèmes rep artis doctoraldiss","year":"2000","author":"bounabat","key":"ref2"},{"journal-title":"OASIS Standard Web Services Business Process Execution Language Version 2 0","year":"2007","key":"ref1"},{"journal-title":"Service Retrieval Based on Behavioral Specification Proceedings of IEEE International Conference on Services Computing","year":"2005","author":"grigori","key":"ref17"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.4304\/jsw.8.4.900-907"},{"key":"ref19","first-page":"23","author":"bolognesi","year":"1989","journal-title":"Introduction to the ISO Specification Language LOTOS The Formal Description Technique LOTOS"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/511455.511457"},{"journal-title":"Web Services Concepts Architectures and Applications","year":"2004","author":"alonso","key":"ref8"},{"key":"ref7","article-title":"User's behaviouralrequirements specification for a reactive","author":"bounabat","year":"1998","journal-title":"agent IEEE publication-CESA'98 Nabeul-Hammamet"},{"journal-title":"A Survey on Services Composition Languages and Models","year":"2006","author":"bucchiarone","key":"ref9"},{"journal-title":"Design of GSM handover using MARDS model Proceedings of the IEEE Conf International Conference for Information Technologies and Application (ICITA)","year":"2004","author":"aaroud","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.2316\/Journal.205.2005.2.205-4136"},{"key":"ref6","first-page":"27","article-title":"Process management oriented qualitative verification for multi-agents reactive decisional systems","volume":"6","author":"berrada","year":"2007","journal-title":"INFOCOMP Journal of Computer Science"},{"key":"ref5","first-page":"159","article-title":"Modeling and simulation of Multi-Agent reactif decisionnal systems using business process management concepts","volume":"2","author":"berrada","year":"2007","journal-title":"International Review on Computers and Software (IRECOS)"}],"event":{"name":"2015 10th International Conference on Intelligent Systems: Theories and Applications (SITA)","start":{"date-parts":[[2015,10,20]]},"location":"Rabat","end":{"date-parts":[[2015,10,21]]}},"container-title":["2015 10th International Conference on Intelligent Systems: Theories and Applications (SITA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7352613\/7358370\/07358410.pdf?arnumber=7358410","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,27]],"date-time":"2023-04-27T15:32:46Z","timestamp":1682609566000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7358410\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,10]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/sita.2015.7358410","relation":{},"subject":[],"published":{"date-parts":[[2015,10]]}}}