{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T08:37:59Z","timestamp":1761986279793,"version":"build-2065373602"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,5]]},"DOI":"10.1109\/rcis.2015.7128859","type":"proceedings-article","created":{"date-parts":[[2015,6,24]],"date-time":"2015-06-24T15:56:17Z","timestamp":1435161377000},"page":"7-18","source":"Crossref","is-referenced-by-count":11,"title":["Social specifications of business processes with Azzurra"],"prefix":"10.1109","author":[{"given":"Fabiano","family":"Dalpiaz","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evellin","family":"Cardoso","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giulia","family":"Canobbio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Giorgini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref33","first-page":"944","article-title":"Reconciling Pairs of Concurrently Used Clinical Practice Guidelines Using Constraint Logic Programming","author":"wilk","year":"2011","journal-title":"Proc of AMIA"},{"doi-asserted-by":"publisher","key":"ref32","DOI":"10.1155\/2013\/507984"},{"key":"ref31","doi-asserted-by":"crossref","first-page":"99","DOI":"10.1007\/s00450-009-0057-9","article-title":"Declarative Workflows: Balancing between Flexibility and Support","volume":"23","author":"van","year":"2009","journal-title":"Computer Science-Research and Development"},{"key":"ref30","first-page":"35","article-title":"Life After BPEL?","author":"van","year":"2005","journal-title":"Proc of WS-FM workshop"},{"doi-asserted-by":"publisher","key":"ref36","DOI":"10.1007\/978-3-319-13281-5_3"},{"doi-asserted-by":"publisher","key":"ref35","DOI":"10.1145\/544865.544867"},{"year":"2005","journal-title":"Web Services Choreography Description Language Version 1 0","key":"ref34"},{"doi-asserted-by":"publisher","key":"ref10","DOI":"10.1109\/TSE.2005.140"},{"key":"ref11","first-page":"33","article-title":"Knowledge-Intensive Processes: An Overview of Contemporary Approaches","author":"di ciccio","year":"2012","journal-title":"Proc of KiBP workshop"},{"key":"ref12","first-page":"452","article-title":"Cognitive Complexity in Business Process Modeling","author":"fig","year":"2011","journal-title":"Proc of CAiSE"},{"doi-asserted-by":"publisher","key":"ref13","DOI":"10.1145\/45941.45943"},{"key":"ref14","first-page":"169","article-title":"Auditing Business Process Compliance","author":"ghose","year":"2007","journal-title":"Proc of ICSOC"},{"year":"2014","author":"greenhalgh","journal-title":"How to read a paper The Basics of Evidence-Based Medicine","key":"ref15"},{"year":"1990","author":"jones","journal-title":"Systematic Software Development Using VDM","key":"ref16"},{"key":"ref17","article-title":"Semantische Prozessmodel-lierung auf der Grundlage “Ereignisgesteuerter Prozessketten (EPK)","volume":"89","author":"keller","year":"1992","journal-title":"Veröffentlichungen des Instituts für Wirtschaftsinformatik"},{"doi-asserted-by":"publisher","key":"ref18","DOI":"10.1016\/j.datak.2006.04.006"},{"key":"ref19","first-page":"467","article-title":"Commitments with Regulations: Reasoning about Safety and Control in REGULA","author":"marengo","year":"2011","journal-title":"Proc of AAMAS"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"40","DOI":"10.1049\/sej.1989.0006","article-title":"an introduction to z and formal specifications","volume":"4","author":"spivey","year":"1989","journal-title":"Software Engineering Journal"},{"doi-asserted-by":"publisher","key":"ref4","DOI":"10.1007\/978-3-540-75183-0_21"},{"doi-asserted-by":"publisher","key":"ref27","DOI":"10.1145\/860575.860721"},{"key":"ref3","first-page":"449","article-title":"Conceptual Modeling of Web Service Conversations","author":"benatallah","year":"0","journal-title":"Proc of CAISE 2003"},{"key":"ref6","first-page":"101","article-title":"Designing Business Processes with History-Aware Resource Assignments","author":"cabanillas","year":"2012","journal-title":"Proc of BPM Workshops (BPD'12)"},{"doi-asserted-by":"publisher","key":"ref29","DOI":"10.1016\/j.jbi.2010.08.002"},{"key":"ref5","first-page":"88","article-title":"A Notation for Supporting Social Business Process Modeling","author":"brambilla","year":"2011","journal-title":"Proc BPM Workshops"},{"doi-asserted-by":"publisher","key":"ref8","DOI":"10.1016\/j.datak.2009.04.003"},{"doi-asserted-by":"publisher","key":"ref7","DOI":"10.1007\/978-3-642-13094-6_10"},{"doi-asserted-by":"publisher","key":"ref2","DOI":"10.1086\/222820"},{"doi-asserted-by":"publisher","key":"ref9","DOI":"10.1145\/1571629.1571632"},{"key":"ref1","article-title":"Business Process Execution Language for Web Services","author":"andrews","year":"2003","journal-title":"IBM Tech Rep"},{"doi-asserted-by":"publisher","key":"ref20","DOI":"10.1109\/CBI.2013.72"},{"doi-asserted-by":"publisher","key":"ref22","DOI":"10.1007\/978-3-642-30409-5"},{"year":"2011","journal-title":"Business Process Model and Notation (BPMN) 2 0","key":"ref21"},{"doi-asserted-by":"publisher","key":"ref24","DOI":"10.1109\/TII.2011.2166795"},{"doi-asserted-by":"publisher","key":"ref23","DOI":"10.1109\/MS.2009.48"},{"doi-asserted-by":"publisher","key":"ref26","DOI":"10.1023\/A:1008319631231"},{"doi-asserted-by":"publisher","key":"ref25","DOI":"10.1007\/978-3-540-75183-0_12"}],"event":{"name":"2015 IEEE 9th International Conference on Research Challenges in Information Science (RCIS)","start":{"date-parts":[[2015,5,13]]},"location":"Athens, Greece","end":{"date-parts":[[2015,5,15]]}},"container-title":["2015 IEEE 9th International Conference on Research Challenges in Information Science (RCIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7121393\/7128853\/07128859.pdf?arnumber=7128859","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T14:27:06Z","timestamp":1498228026000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7128859\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,5]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/rcis.2015.7128859","relation":{},"subject":[],"published":{"date-parts":[[2015,5]]}}}