{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T18:15:00Z","timestamp":1725387300374},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1109\/noms.2006.1687654","type":"proceedings-article","created":{"date-parts":[[2006,9,8]],"date-time":"2006-09-08T17:17:52Z","timestamp":1157735872000},"page":"1-4","source":"Crossref","is-referenced-by-count":0,"title":["GOREMOCH: A Distributed Goal-oriented Policy Refinement Environment"],"prefix":"10.1109","author":[{"given":"J.","family":"Rubio-Loyola","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J.","family":"Serrat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Charalambides","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P.","family":"Flegkas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Pavlou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4612-0931-7"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1145\/239098.239131"},{"journal-title":"POWER prototype Towards integrated policy-based management","year":"2000","author":"casassa","key":"10"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2004.1309175"},{"key":"7","article-title":"Interactive verification of UML state machines","author":"baiser","year":"0","journal-title":"Intl Conference on Formal Engineering Methods 2004"},{"journal-title":"A system of specification patterns","year":"0","author":"dwyer","key":"6"},{"year":"0","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2005.38"},{"key":"9","article-title":"Software quality starts with the modelling of goal-oriented requirements","author":"delor","year":"2003","journal-title":"Proc of International Conference on Software and Systems Engineering"},{"key":"8","article-title":"Tools for doamin-based policy management of distributed systems","author":"damianou","year":"2002","journal-title":"NOMS Friorence"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2005.10"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2005.24"}],"event":{"name":"2006 IEEE\/IFIP Network Operations and Management Symposium NOMS 2006","start":{"date-parts":[[2006,4,3]]},"location":"Vancouver, BC, Canada","end":{"date-parts":[[2006,4,7]]}},"container-title":["2006 IEEE\/IFIP Network Operations and Management Symposium NOMS 2006"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/11101\/35594\/01687654.pdf?arnumber=1687654","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,15]],"date-time":"2017-03-15T13:41:37Z","timestamp":1489585297000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1687654\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/noms.2006.1687654","relation":{},"subject":[],"published":{"date-parts":[[2006]]}}}