{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T14:19:44Z","timestamp":1730297984845,"version":"3.28.0"},"reference-count":24,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/sose.2011.6139120","type":"proceedings-article","created":{"date-parts":[[2012,1,31]],"date-time":"2012-01-31T21:50:17Z","timestamp":1328046617000},"page":"297-304","source":"Crossref","is-referenced-by-count":8,"title":["A high-level model-checking tool for verifying service agreements"],"prefix":"10.1109","author":[{"given":"Abubkr","family":"Abdelsadiq","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Carlos","family":"Molina-Jimenez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Santosh","family":"Shrivastava","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88808-6_11"},{"key":"ref11","first-page":"96","article-title":"Implementing a rule-based contract compliance checker","author":"strano","year":"2009","journal-title":"Proc 9th IFIP Conf on E-Business E-Services and E-Society (I3E'2009)"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75596-8_8"},{"year":"2006","key":"ref13","article-title":"ebxml business process specification schema technical specification v2.0.4, OASIS standard, 21 dec"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04761-9_8"},{"key":"ref15","article-title":"Towards effective model checking","author":"ruys","year":"2001","journal-title":"Ph D Dissertation"},{"key":"ref16","article-title":"A high-level model-checking tool for verifying electronic contracts","author":"abdelsadiq","year":"2011","journal-title":"Tech Rep CS-TR-1279"},{"journal-title":"Systems and Software Verification","year":"1999","author":"berard","key":"ref17"},{"key":"ref18","first-page":"1","article-title":"Slicing promela and its applications to model checking, simulation, and protocol understanding","author":"millett","year":"1998","journal-title":"Proc SPI Workshop"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-77351-1_4"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.elerap.2010.09.005"},{"key":"ref3","article-title":"A survey of formal languages for contracts","author":"hvitved","year":"2010","journal-title":"Fourth Workshop on Formal Languages and Analysis OfContract-Oriented Software (FLACOS'10)"},{"journal-title":"Principles of the Spin Model Checker","year":"2008","author":"ben-ari","key":"ref6"},{"journal-title":"The SPIN Model Checker Primer and Reference Manual","year":"2003","author":"holzmann","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2010.35"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-24593-3_21"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1657755.1657758"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/SOCA.2011.6166218"},{"key":"ref9","article-title":"A model for checking contractual compliance of business interactions","author":"molina-jimenez","year":"2011","journal-title":"IEEE Trans on Service Computing"},{"key":"ref20","first-page":"18","article-title":"Cc-pi: A constraint-based language for specifying service level agreements","volume":"4421","author":"buscemi","year":"2007","journal-title":"Proc 16th European Symposium on Programming (ESOP'07) LNCS"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72952-5_11"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1013367.1013391"},{"key":"ref24","article-title":"Model checking contractual protocols","volume":"cs se 106009","author":"daskalopulu","year":"2001","journal-title":"CoRR"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2010.32"}],"event":{"name":"2011 IEEE 6th International Symposium on Service Oriented System Engineering (SOSE)","start":{"date-parts":[[2011,12,12]]},"location":"Irvine, CA, USA","end":{"date-parts":[[2011,12,14]]}},"container-title":["Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6132474\/6139076\/06139120.pdf?arnumber=6139120","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,21]],"date-time":"2017-03-21T19:43:53Z","timestamp":1490125433000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6139120\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":24,"URL":"https:\/\/doi.org\/10.1109\/sose.2011.6139120","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}