{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:16:04Z","timestamp":1725466564572},"reference-count":49,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1109\/mesoca.2012.6392600","type":"proceedings-article","created":{"date-parts":[[2013,1,4]],"date-time":"2013-01-04T23:27:58Z","timestamp":1357342078000},"page":"27-36","source":"Crossref","is-referenced-by-count":1,"title":["Policy modeling and compliance verification in enterprise software systems: A survey"],"prefix":"10.1109","author":[{"given":"G.","family":"Chatzikonstantinou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"K.","family":"Kontogiannis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"35","doi-asserted-by":"publisher","DOI":"10.1145\/2070425.2070451"},{"key":"36","doi-asserted-by":"publisher","DOI":"10.1145\/1160633.1160674"},{"key":"33","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2003.1206958"},{"key":"34","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI.2010.31"},{"key":"39","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985840"},{"key":"37","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2004.1347504"},{"key":"38","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68265-3_16"},{"key":"43","doi-asserted-by":"publisher","DOI":"10.1007\/s10207-006-0005-7"},{"key":"42","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom.2011.61"},{"key":"41","doi-asserted-by":"publisher","DOI":"10.1109\/ASWEC.2000.844572"},{"key":"40","doi-asserted-by":"publisher","DOI":"10.1109\/ICICSE.2009.46"},{"journal-title":"Tropos An Agent-Oriented Software Development Methodology","year":"2003","author":"bresciani","key":"22"},{"key":"23","doi-asserted-by":"publisher","DOI":"10.1109\/ISRE.1997.566873"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/EDOCW.2010.59"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13094-6_10"},{"key":"26","first-page":"457","article-title":"Reasoning about agents and protocols via goals and commitments","author":"chopra","year":"0","journal-title":"Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS '10) 2010"},{"key":"27","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1007\/978-3-642-00590-9_24","article-title":"Tisa: A language design and modular verification technique for temporal policies in web services","author":"rajan","year":"2009","journal-title":"Programming Languages and Systems"},{"key":"28","first-page":"1","article-title":"Policy monitoring in first-order temporal logic","author":"basin","year":"2010","journal-title":"CAV"},{"key":"29","doi-asserted-by":"publisher","DOI":"10.1109\/POLICY.2011.26"},{"journal-title":"Service Level Agreements Based on Business Process Modeling","year":"2000","author":"schmidt","key":"3"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/65.993218"},{"key":"1","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-44569-2_2","article-title":"The ponder policy specification language","author":"damianou","year":"2001","journal-title":"Proceedings of 6th International Workshop on Policies for Distributed Systems and Networks (Policy'05)"},{"key":"7","doi-asserted-by":"crossref","first-page":"33","DOI":"10.1007\/978-3-642-15898-8_3","article-title":"Formal analysis of bpmn models using event-b","author":"bryans","year":"2010","journal-title":"Proceedings of the 15th International Conference on Formal Methods for Industrial Critical Systems (FMICS'10)"},{"key":"30","first-page":"156","article-title":"Pattern based property specification and verification for service composition","author":"yu","year":"0","journal-title":"In Proceedings of 7th International Conference on Web Information Systems Engineering (WISE) 2006"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.02.006"},{"journal-title":"SOA Design Patterns","year":"2009","author":"erl","key":"5"},{"key":"32","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2009.21"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2003.1235425"},{"journal-title":"Pattern Based Property Specification and Verification for Service Composition","year":"2006","author":"yu","key":"31"},{"journal-title":"The Unified Modeling Language Reference Manual","year":"1999","author":"rumbaugh","key":"9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/32.738343"},{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.131"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/1138953.1138959"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2004.1317439"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSC.2010.95"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.82"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10383-4_34"},{"key":"14","first-page":"77","article-title":"Message sequence charts","author":"harel","year":"2003","journal-title":"UML for Real Design of Embedded Real-Time Systems"},{"key":"11","first-page":"426","author":"lodderstedt","year":"2002","journal-title":"SecureUML A UML-Based Modeling Language for Model-Driven Security"},{"key":"12","first-page":"24","article-title":"A uml 2 profile for business process modelling","author":"list","year":"2005","journal-title":"Proceedings of the 1st International Workshop on Best Practices of UML at the 24th International Conference on Conceptual Modeling ER 2005"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2004.02.002"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2008.50"},{"key":"49","first-page":"1","article-title":"Optimizing runtime soa governance through context-driven slas and dynamic monitoring","author":"villegas","year":"0","journal-title":"International Workshop on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems (MESOCA) 2011 Sept 2011"},{"key":"48","doi-asserted-by":"publisher","DOI":"10.1109\/MIC.2010.66"},{"key":"45","doi-asserted-by":"publisher","DOI":"10.1147\/sj.462.0335"},{"key":"44","doi-asserted-by":"publisher","DOI":"10.1109\/ICMSS.2009.5304743"},{"key":"47","doi-asserted-by":"publisher","DOI":"10.1109\/APSEC.2005.9"},{"key":"46","article-title":"A security protocol animator tool for avispa","author":"glouche","year":"0","journal-title":"In ARTIST-2 Workshop 2006"},{"journal-title":"Case Tools - Computer-aided Software Engineering Tools Community Uml [Online]","year":"2012","key":"10"}],"event":{"name":"2012 IEEE 6th International Workshop on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems (MESOCA)","start":{"date-parts":[[2012,9,24]]},"location":"Trento, Italy","end":{"date-parts":[[2012,9,24]]}},"container-title":["2012 IEEE 6th International Workshop on the Maintenance and Evolution of Service-Oriented and Cloud-Based Systems (MESOCA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6380663\/6392594\/06392600.pdf?arnumber=6392600","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,8]],"date-time":"2019-07-08T00:05:21Z","timestamp":1562544321000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6392600\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":49,"URL":"https:\/\/doi.org\/10.1109\/mesoca.2012.6392600","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}