{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T05:20:09Z","timestamp":1730265609559,"version":"3.28.0"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,8]]},"DOI":"10.1109\/iisa.2017.8316371","type":"proceedings-article","created":{"date-parts":[[2018,3,15]],"date-time":"2018-03-15T20:46:49Z","timestamp":1521146809000},"page":"1-6","source":"Crossref","is-referenced-by-count":1,"title":["Towards a formal approach for the verification of SCA\/BPEL software architectures"],"prefix":"10.1109","author":[{"given":"Sakka Rouis","family":"Taoufik","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bhiri Mohamed","family":"Tahar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sliman","family":"Layth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kmimech","family":"Mourad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref31","article-title":"Wr2Fdr Tool Maintenance for Models Checking","author":"sakka rouis","year":"0","journal-title":"Proceeding in 16th International Conference on Intelligent Software Methodologies Tools and Techniques (SoMeT'2017)"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13688-7_9"},{"journal-title":"A Formal Approach to Software Architecture","year":"1997","author":"allen","key":"ref10"},{"journal-title":"FDR2 User Manual","article-title":"Formal Systems (Europe) Ltd., -. O. U","year":"2010","key":"ref11"},{"key":"ref12","first-page":"246","article-title":"Behavioral verification of UML2.0\/PoSM components","author":"sakka rouis","year":"2016","journal-title":"Proceeding in 15th International Conference on Intelligent Software Methodologies Tools and Techniques (SoMeT'2016)"},{"key":"ref13","first-page":"115","article-title":"Behavioral verification of UML2.0 software architecture","author":"sakka rouis","year":"0","journal-title":"Proceeding in 12th International Conference on Semantics Knowledge and Grids (SKG '2016)"},{"key":"ref14","article-title":"Enhancing component behavior specifications with port state machines","author":"mencl","year":"2003","journal-title":"Technical Report Citeseer"},{"key":"ref15","article-title":"Extending B without changing it (for developing distributed systems)","volume":"11","author":"abrial","year":"1996","journal-title":"1st Conference on the B method"},{"key":"ref16","volume":"178","author":"hoare","year":"1985","journal-title":"Communicating Sequential Processes"},{"journal-title":"State models and java programs","year":"1999","author":"magee","key":"ref17"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ECOWS.2006.26"},{"key":"ref19","first-page":"152","article-title":"Model-based veri_cation of web service compositions","author":"foster","year":"2003","journal-title":"Proceedings of 18th IEEE International Conference on Automated Software Engineering"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2004.1347546"},{"journal-title":"Web services ow language (WSFL 1 0)","year":"2001","author":"leymann","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-004-0191-7"},{"journal-title":"OSOA Open Service Oriented Architecture the Home Page","year":"2007","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/2.774917"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/606612.606614"},{"key":"ref5","article-title":"XLANG: Web Services for Business Process Desig","author":"thatte","year":"2001","journal-title":"Corporation"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/SKG.2015.38"},{"key":"ref7","first-page":"1285","article-title":"Mismatch avoidance in web services software architectures","volume":"14","author":"gacek","year":"2008","journal-title":"J UCS"},{"journal-title":"Business Process Execution Language for Web Services","year":"2005","author":"andrews","key":"ref2"},{"key":"ref9","first-page":"73","article-title":"Towards specifying contracts and protocols for web services","author":"tremblay","year":"2005","journal-title":"Proceedings of the MCeTech Montreal Conference on ETechnologies"},{"journal-title":"SCA Service Component Architecture - Assembly Model Specification","year":"2007","key":"ref1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICWS.2004.1314806"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/NWESP.2005.77"},{"key":"ref21","first-page":"59","article-title":"Analyzing BPEL processes using Petri nets","author":"verbeek","year":"2005","journal-title":"Proceedings of the Second International Workshop on Applications of Petri Nets to Coordination Workow and Business Process Management"},{"key":"ref24","first-page":"193","article-title":"Formal modeling for verifying SCA composion","author":"hamel","year":"2015","journal-title":"RCIS’"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018954709174"},{"key":"ref26","first-page":"95","article-title":"Requirements-driven veri_cation of web services","volume":"105","author":"pistore","year":"2004","journal-title":"Proceedings of the 1st International Workshop on Web Services and Formal Method"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1108\/14637150710721122"}],"event":{"name":"2017 8th International Conference on Information, Intelligence, Systems & Applications (IISA)","start":{"date-parts":[[2017,8,27]]},"location":"Larnaca","end":{"date-parts":[[2017,8,30]]}},"container-title":["2017 8th International Conference on Information, Intelligence, Systems & Applications (IISA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8308011\/8316350\/08316371.pdf?arnumber=8316371","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T21:08:15Z","timestamp":1523308095000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8316371\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/iisa.2017.8316371","relation":{},"subject":[],"published":{"date-parts":[[2017,8]]}}}