{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T11:40:06Z","timestamp":1756208406011,"version":"3.44.0"},"reference-count":45,"publisher":"SAGE Publications","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SW"],"published-print":{"date-parts":[[2018,1,24]]},"DOI":"10.3233\/sw-170262","type":"journal-article","created":{"date-parts":[[2017,1,27]],"date-time":"2017-01-27T11:19:47Z","timestamp":1485515987000},"page":"257-290","source":"Crossref","is-referenced-by-count":0,"title":["ServLog: A unifying logical framework for service modeling and contracting"],"prefix":"10.1177","volume":"9","author":[{"given":"Dumitru","family":"Roman","sequence":"first","affiliation":[{"name":"SINTEF, Forskningsveien 1, 0314 Oslo, Norway. E-mail:\u00a0dumitru.roman@sintef.no"}]},{"given":"Michael","family":"Kifer","sequence":"additional","affiliation":[{"name":"Stony Brook University, Stony Brook, NY 11794-2424, USA. E-mail:\u00a0kifer@cs.stonybrook.edu"}]}],"member":"179","reference":[{"doi-asserted-by":"publisher","key":"10.3233\/SW-170262_ref1","DOI":"10.1145\/1938551.1938564"},{"unstructured":"M.\u00a0Alberti, F.\u00a0Chesani, M.\u00a0Gavanelli, E.\u00a0Lamma, P.\u00a0Mello, M.\u00a0Montali and P.\u00a0Torroni, Expressing and verifying business contracts with abductive logic programming, in: Normative Multi-Agent Systems, 18.03\u201323.03.2007, G.\u00a0Boella, L.W.N.\u00a0van der Torre and H.\u00a0Verhagen, eds, Dagstuhl Seminar Proceedings, Vol. 07122, Internationales Begegnungs- und Forschungszentrum f\u00fcr Informatik (IBFI), Schloss Dagstuhl, Germany, 2007, http:\/\/drops.dagstuhl.de\/opus\/volltexte\/2007\/901.","key":"10.3233\/SW-170262_ref2"},{"issue":"6","key":"10.3233\/SW-170262_ref3","doi-asserted-by":"publisher","first-page":"485","DOI":"10.1007\/s10009-006-0010-1","article-title":"Compositional specification of commercial contracts","volume":"8","author":"Andersen","year":"2006","journal-title":"International Journal on Software Tools for Technology Transfer"},{"doi-asserted-by":"publisher","key":"10.3233\/SW-170262_ref4","DOI":"10.1007\/978-3-319-10512-3_2"},{"doi-asserted-by":"publisher","key":"10.3233\/SW-170262_ref6","DOI":"10.1007\/978-3-319-11113-1_3"},{"issue":"3","key":"10.3233\/SW-170262_ref7","doi-asserted-by":"publisher","first-page":"20:1","DOI":"10.1145\/1805974.1805976","article-title":"A logic for state-modifying authorization policies","volume":"13","author":"Becker","year":"2010","journal-title":"ACM Transactions on Information and System Security"},{"doi-asserted-by":"publisher","key":"10.3233\/SW-170262_ref8","DOI":"10.1145\/303976.304005"},{"issue":"2","key":"10.3233\/SW-170262_ref9","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1016\/0304-3975(94)90190-2","article-title":"An overview of transaction logic","volume":"133","author":"Bonner","year":"1994","journal-title":"Theoretical Computer Science"},{"unstructured":"A.J.\u00a0Bonner and M.\u00a0Kifer, Concurrency and communication in transaction logic, in: Logic Programing, Proceedings of the 1996 Joint International Conference and Syposium on Logic Programming, Bonn, Germany, September 2\u20136, 1996, M.J.\u00a0Maher, ed., MIT Press, 1996, pp.\u00a0142\u2013156.","key":"10.3233\/SW-170262_ref11"},{"doi-asserted-by":"crossref","unstructured":"A.J.\u00a0Bonner and M.\u00a0Kifer, A logic for programming database transactions, in: Logics for Databases and Information Systems (the Book Grow Out of the Dagstuhl Seminar 9529: Role of Logics in Information Systems, 1995), J.\u00a0Chomicki and G.\u00a0Saake, eds, Kluwer, 1998, pp.\u00a0117\u2013166.","key":"10.3233\/SW-170262_ref12","DOI":"10.1007\/978-1-4615-5643-5_5"},{"doi-asserted-by":"publisher","key":"10.3233\/SW-170262_ref13","DOI":"10.1145\/2463664.2467796"},{"doi-asserted-by":"publisher","key":"10.3233\/SW-170262_ref14","DOI":"10.1007\/11841197_10"},{"issue":"3","key":"10.3233\/SW-170262_ref15","doi-asserted-by":"publisher","first-page":"10:1","DOI":"10.1145\/1541822.1541825","article-title":"A framework for qos-based web service contracting","volume":"3","author":"Comuzzi","year":"2009","journal-title":"ACM Transactions on the Web"},{"issue":"3","key":"10.3233\/SW-170262_ref16","doi-asserted-by":"publisher","first-page":"22:1","DOI":"10.1145\/2338626.2338628","article-title":"Artifact systems with data dependencies and arithmetic","volume":"37","author":"Damaggio","year":"2012","journal-title":"ACM Transactions on Database Systems"},{"doi-asserted-by":"publisher","key":"10.3233\/SW-170262_ref17","DOI":"10.1145\/275487.275491"},{"doi-asserted-by":"publisher","key":"10.3233\/SW-170262_ref18","DOI":"10.1145\/1013367.1013391"},{"issue":"3","key":"10.3233\/SW-170262_ref19","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/2694428.2694430","article-title":"Automatic verification of database-centric systems","volume":"43","author":"Deutsch","year":"2014","journal-title":"SIGMOD Record"},{"issue":"2","key":"10.3233\/SW-170262_ref20","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/S1567-4223(02)00015-7","article-title":"The web service modeling framework WSMF","volume":"1","author":"Fensel","year":"2002","journal-title":"Electronic Commerce Research and Applications"},{"doi-asserted-by":"publisher","key":"10.3233\/SW-170262_ref21","DOI":"10.1145\/1836089.1836114"},{"doi-asserted-by":"publisher","key":"10.3233\/SW-170262_ref22","DOI":"10.4230\/LIPIcs.ICLP.2011.162"},{"doi-asserted-by":"publisher","key":"10.3233\/SW-170262_ref23","DOI":"10.1145\/2790449.2790518"},{"unstructured":"A.S.\u00a0Gomes and J.J.\u00a0Alferes, Extending transaction logic with external actions, Theory and Practice of Logic Programming 13(4\u20135 online supplement) (2013). http:\/\/journals.cambridge.org\/downloadsup.php?file=\/tlp2013020.pdf.","key":"10.3233\/SW-170262_ref24"},{"doi-asserted-by":"crossref","unstructured":"G.\u00a0Governatori and S.\u00a0Sadiq, The journey to business process compliance, in: Handbook of Research on BPM, IGI Global, 2008, pp.\u00a0426\u2013454, http:\/\/espace.library.uq.edu.au\/eserv\/UQ:159187\/main.pdf.","key":"10.3233\/SW-170262_ref26","DOI":"10.4018\/978-1-60566-288-6.ch020"},{"doi-asserted-by":"publisher","key":"10.3233\/SW-170262_ref27","DOI":"10.1109\/ICEBE.2005.110"},{"unstructured":"M.\u00a0Hepp and D.\u00a0Roman, An ontology framework for semantic business process management, in: eOrganisation: Service-, Prozess-, Market-Engineering: 8. Internationale Tagung Wirtschaftsinformatik \u2013 Band 1, WI 2007, Karlsruhe, Germany, February 28\u2013March 2, 2007, A.\u00a0Oberweis, C.\u00a0Weinhardt, H.\u00a0Gimpel, A.\u00a0Koschmider, V.\u00a0Pankratius and B.\u00a0Schnizler, eds, Universitaetsverlag, 2007, pp.\u00a0423\u2013440, http:\/\/aisel.aisnet.org\/wi2007\/27.","key":"10.3233\/SW-170262_ref28"},{"doi-asserted-by":"publisher","key":"10.3233\/SW-170262_ref29","DOI":"10.1007\/978-3-540-88873-4_17"},{"unstructured":"M.\u00a0Kifer, R.\u00a0Lara, A.\u00a0Polleres, C.\u00a0Zhao, U.\u00a0Keller, H.\u00a0Lausen and D.\u00a0Fensel, A logical framework for web service discovery, in: Proceedings of the ISWC 2004 Workshop on Semantic Web Services: Preparing to Meet the World of Business Applications, Hiroshima, Japan, November 8, 2004, D.\u00a0Martin, R.\u00a0Lara and T.\u00a0Yamaguchi, eds, CEUR Workshop Proceedings, Vol.\u00a0119, CEUR-WS.org, 2004, http:\/\/ceur-ws.org\/Vol-119\/paper3.pdf.","key":"10.3233\/SW-170262_ref30"},{"issue":"4\u20135","key":"10.3233\/SW-170262_ref31","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1017\/S1471068413000446","article-title":"A practical analysis of non-termination in large logic programs","volume":"13","author":"Liang","year":"2013","journal-title":"Theory and Practice of Logic Programming"},{"doi-asserted-by":"publisher","key":"10.3233\/SW-170262_ref32","DOI":"10.1007\/978-3-540-30581-1_4"},{"doi-asserted-by":"publisher","key":"10.3233\/SW-170262_ref33","DOI":"10.1145\/2480362.2480624"},{"issue":"1","key":"10.3233\/SW-170262_ref34","doi-asserted-by":"publisher","first-page":"3:1","DOI":"10.1145\/1658373.1658376","article-title":"Declarative specification and verification of service choreographiess","volume":"4","author":"Montali","year":"2010","journal-title":"ACM Transactions on the Web"},{"unstructured":"S.\u00a0Newman, Building Microservices, O\u2019Reilly Media, Inc., 2015.","key":"10.3233\/SW-170262_ref35"},{"doi-asserted-by":"publisher","key":"10.3233\/SW-170262_ref36","DOI":"10.1109\/WISE.2003.1254461"},{"issue":"2","key":"10.3233\/SW-170262_ref37","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s13740-012-0007-8","article-title":"Transaction logic with partially defined actions","volume":"1","author":"Rezk","year":"2012","journal-title":"J. Data Semantics"},{"issue":"1","key":"10.3233\/SW-170262_ref38","doi-asserted-by":"crossref","first-page":"77","DOI":"10.3233\/APO-2005-000008","article-title":"Web service modeling ontology","volume":"1","author":"Roman","year":"2005","journal-title":"Applied Ontology"},{"unstructured":"D.\u00a0Roman and M.\u00a0Kifer, Reasoning about the behavior of semantic web services with concurrent transaction logic, in: Proceedings of the 33rd International Conference on Very Large Data Bases, University of Vienna, Austria, September 23\u201327, 2007, C.\u00a0Koch, J.\u00a0Gehrke, M.N.\u00a0Garofalakis, D.\u00a0Srivastava, K.\u00a0Aberer, A.\u00a0Deshpande, D.\u00a0Florescu, C.Y.\u00a0Chan, V.\u00a0Ganti, C.-C.\u00a0Kanne, W.\u00a0Klas and E.J.\u00a0Neuhold, eds, ACM, 2007, pp.\u00a0627\u2013638, http:\/\/www.vldb.org\/conf\/2007\/papers\/research\/p627-roman.pdf.","key":"10.3233\/SW-170262_ref39"},{"doi-asserted-by":"publisher","key":"10.3233\/SW-170262_ref40","DOI":"10.1007\/978-3-540-88564-1_35"},{"key":"10.3233\/SW-170262_ref41","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.websem.2014.11.006","article-title":"WSMO-Lite and hRESTS: Lightweight semantic annotations for Web services and RESTful APIs","volume":"31","author":"Roman","year":"2015","journal-title":"Journal of Web Semantics"},{"doi-asserted-by":"publisher","key":"10.3233\/SW-170262_ref42","DOI":"10.1016\/B978-155860869-6\/50067-6"},{"doi-asserted-by":"publisher","key":"10.3233\/SW-170262_ref43","DOI":"10.1007\/978-1-4419-1153-7_1175"},{"issue":"2","key":"10.3233\/SW-170262_ref45","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s00450-009-0057-9","article-title":"Declarative workflows: Balancing between flexibility and support","volume":"23","author":"van der Aalst","year":"2009","journal-title":"Computer Science \u2013 Research and Development"},{"unstructured":"L.\u00a0Vasiliu, S.\u00a0Harand and E.\u00a0Cimpian, The DIP project: Enabling systems & solutions for processing digital content with semantic web services, in: Knowledge-Based Media Analysis for Self-Adaptive and Agile Multi-Media, Proceedings of the European Workshop for the Integration of Knowledge, Semantics and Digital Media Technology, EWIMT 2004, London, UK, November 25\u201326, 2004, P.\u00a0Hobson, E.\u00a0Izquierdo, I.\u00a0Kompatsiaris and N.E.\u00a0O\u2019Connor, eds, QMUL, 2004, pp.\u00a025\u201326.","key":"10.3233\/SW-170262_ref46"},{"doi-asserted-by":"publisher","key":"10.3233\/SW-170262_ref47","DOI":"10.1145\/1514894.1514896"},{"doi-asserted-by":"publisher","key":"10.3233\/SW-170262_ref48","DOI":"10.1007\/978-3-642-38697-8_22"},{"doi-asserted-by":"publisher","key":"10.3233\/SW-170262_ref49","DOI":"10.1007\/978-3-642-40176-3_24"}],"container-title":["Semantic Web"],"original-title":[],"link":[{"URL":"https:\/\/content.iospress.com\/download?id=10.3233\/SW-170262","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,8,26]],"date-time":"2025-08-26T11:02:26Z","timestamp":1756206146000},"score":1,"resource":{"primary":{"URL":"https:\/\/journals.sagepub.com\/doi\/full\/10.3233\/SW-170262"}},"subtitle":[],"editor":[{"given":"Axel","family":"Polleres","sequence":"additional","affiliation":[{"name":"Wirtschaftsuniversit\u00e4t Wien, Austria"}]}],"short-title":[],"issued":{"date-parts":[[2018,1,24]]},"references-count":45,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.3233\/sw-170262","relation":{},"ISSN":["2210-4968","1570-0844"],"issn-type":[{"type":"electronic","value":"2210-4968"},{"type":"print","value":"1570-0844"}],"subject":[],"published":{"date-parts":[[2018,1,24]]}}}