{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,19]],"date-time":"2026-01-19T12:16:40Z","timestamp":1768825000883,"version":"3.49.0"},"reference-count":43,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2016,9,1]],"date-time":"2016-09-01T00:00:00Z","timestamp":1472688000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Artif Intell Law"],"published-print":{"date-parts":[[2016,9]]},"DOI":"10.1007\/s10506-016-9185-2","type":"journal-article","created":{"date-parts":[[2016,9,16]],"date-time":"2016-09-16T07:15:35Z","timestamp":1474010135000},"page":"203-243","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Contract automata"],"prefix":"10.1007","volume":"24","author":[{"given":"Shaun","family":"Azzopardi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gordon J.","family":"Pace","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fernando","family":"Schapachnik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerardo","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,16]]},"reference":[{"key":"9185_CR1","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/S0304-3975(02)00006-3","volume":"281","author":"A Arnold","year":"2002","unstructured":"Arnold A (2002) Nivat\u2019s processes and their synchronization. Theor Comput Sci 281:31\u201336","journal-title":"Theor Comput Sci"},{"key":"9185_CR2","doi-asserted-by":"crossref","unstructured":"Azzopardi S (2014) Extending contract automata with reparation, hypothetical and conditional clauses. Technical report University of Malta","DOI":"10.3233\/978-1-61499-468-8-49"},{"key":"9185_CR3","unstructured":"Azzopardi S, Pace GJ, Schapachnik F (2014) Contract automata with reparations. In: Legal knowledge and information systems\u2014JURIX 2014: the twenty-seventh annual conference, Jagiellonian University, Krakow, Poland, 10\u201312 December 2014, Frontiers in artificial intelligence and applications, vol 271, pp 49\u201354. IOS Press"},{"key":"9185_CR4","doi-asserted-by":"crossref","unstructured":"Basile D, Degano P, Ferrari GL (2014) Automata for analysing service contracts. In: Trustworthy global computing\u20149th international symposium, TGC 2014, Rome, Italy, 5\u20136 Sept, 2014. Revised Selected Papers, Lecture notes in computer science, vol 8902, pp 34\u201350. Springer","DOI":"10.1007\/978-3-662-45917-1_3"},{"key":"9185_CR5","unstructured":"Bench-Capon TJM (2014) Analysing norms with transition systems. In: Legal knowledge and information systems\u2014JURIX 2014: the twenty-seventh annual conference, Jagiellonian University, Krakow, Poland, 10\u201312 Dec 2014, Frontiers in artificial intelligence and applications, vol 271, pp 29\u201338. IOS Press"},{"key":"9185_CR6","doi-asserted-by":"crossref","unstructured":"D\u00edaz G, Cambronero ME, Mart\u00ednez E, Schneider G (2011) Timed automata semantics for visual e-contracts. In: 5th international workshop on formal languages and analysis of contract-oriented software (FLACOS\u201911), electronic proceedings in theoretical computer science, vol\u00a068, pp 7\u201321. M\u00e1laga, Spain","DOI":"10.4204\/EPTCS.68.3"},{"key":"9185_CR7","first-page":"1","volume":"99","author":"G D\u00edaz","year":"2013","unstructured":"D\u00edaz G, Cambronero ME, Mart\u00ednez E, Schneider G (2013) Specification and verification of normative texts using C-O diagrams. IEEE Trans Softw Eng 99:1","journal-title":"IEEE Trans Softw Eng"},{"key":"9185_CR8","doi-asserted-by":"crossref","unstructured":"Fasli M (2002) On commitments, roles, and obligations. In: Revised papers from the second international workshop of central and eastern Europe on multi-agent systems: from theory to practice in multi-agent systems, CEEMAS \u201901, pp 93\u2013102. Springer","DOI":"10.1007\/3-540-45941-3_10"},{"key":"9185_CR9","doi-asserted-by":"crossref","unstructured":"Fenech S, Pace GJ, Schneider G (2009) Automatic conflict detection on contracts. In: ICTAC\u201909, LNCS, vol 5684, pp 200\u2013214. Springer","DOI":"10.1007\/978-3-642-03466-4_13"},{"key":"9185_CR10","doi-asserted-by":"crossref","unstructured":"Fenech S, Pace GJ, Schneider G (2009) CLAN: a tool for contract analysis and conflict discovery. In: ATVA\u201909, LNCS, vol 5799, pp 90\u201396. Springer","DOI":"10.1007\/978-3-642-04761-9_8"},{"key":"9185_CR11","unstructured":"Flood MD, Goodenough OR (2014) Contract as automaton: the computational representation of financial agreements. Available at SSRN 2538224"},{"issue":"2\u20133","key":"9185_CR12","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1142\/S0218843005001092","volume":"14","author":"G Governatori","year":"2005","unstructured":"Governatori G (2005) Representing business contracts in RuleML. Int J Coop Inf Syst 14(2\u20133):181\u2013216","journal-title":"Int J Coop Inf Syst"},{"key":"9185_CR13","doi-asserted-by":"crossref","unstructured":"Governatori G, Milosevic Z (2005) Dealing with contract violations: formalism and domain specific language. In: EDOC enterprise computing conference, 2005 ninth IEEE international, pp 46\u201357. IEEE","DOI":"10.1109\/EDOC.2005.13"},{"key":"9185_CR14","unstructured":"Hage J (2001) Contrary to duty obligations\u2014a study in legal ontology. In: Legal knowledge and information systems (JURIX 2001)"},{"key":"9185_CR15","unstructured":"Herrestad H, Krogh C (1995) Deontic logic relativised to bearers and counterparties. Anniv Anthol Comput Law 453\u2013522"},{"key":"9185_CR16","doi-asserted-by":"crossref","first-page":"16","DOI":"10.2307\/785533","volume":"23","author":"W Hohfeld","year":"1913","unstructured":"Hohfeld W (1913) Some fundamental legal conceptions as applied in judicial reasoning. Yale Lj 23:16","journal-title":"Yale Lj"},{"issue":"2","key":"9185_CR17","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1111\/j.1755-2567.1966.tb00594.x","volume":"32","author":"S Kanger","year":"1966","unstructured":"Kanger S, Kanger H (1966) Rights and parliamentarism. Theoria 32(2):85\u2013115","journal-title":"Theoria"},{"key":"9185_CR18","first-page":"83","volume":"16","author":"S Kripke","year":"1963","unstructured":"Kripke S (1963) Semantical considerations on modal logic. Acta Philos Fenn 16:83\u201394","journal-title":"Acta Philos Fenn"},{"key":"9185_CR19","doi-asserted-by":"crossref","unstructured":"Kyas M, Prisacariu C, Schneider G (2008) Run-time monitoring of electronic contracts. In: 6th international symposium on automated technology for verification and analysis (ATVA\u201908), LNCS, vol 5311. Springer, Seoul, pp 397\u2013407","DOI":"10.1007\/978-3-540-88387-6_34"},{"issue":"5","key":"9185_CR20","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2009","unstructured":"Leucker M, Schallhart C (2009) A brief account of runtime verification. J Log Algebr Program 78(5):293\u2013303","journal-title":"J Log Algebr Program"},{"key":"9185_CR21","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-010-1202-7","volume-title":"Position and change: a study in law and logic","author":"L Lindahl","year":"1977","unstructured":"Lindahl L (1977) Position and change: a study in law and logic, vol 112. Springer, Berlin"},{"issue":"4","key":"9185_CR22","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/BF00243391","volume":"15","author":"D Makinson","year":"1986","unstructured":"Makinson D (1986) On the formal representation of rights relations. J Philos Log 15(4):403\u2013425","journal-title":"J Philos Log"},{"key":"9185_CR23","doi-asserted-by":"crossref","unstructured":"Marjanovic O, Milosevic Z (2001) Towards formal modeling of e-contracts. In: Proceedings of the 5th IEEE international conference on enterprise distributed object computing, EDOC \u201901, pp 59\u201368. IEEE Computer Society, Washington","DOI":"10.1109\/EDOC.2001.950423"},{"key":"9185_CR24","doi-asserted-by":"crossref","unstructured":"Mart\u00ednez E, D\u00edaz G, Cambronero M (2011) Contractually compliantservice compositions. In: Proceedings of the 9th international conference on service-oriented computing (ICSOC\u201911), Lecture notes in computer science, vol 7084, pp 636\u2013644. Springer, Berlin, Paphos","DOI":"10.1007\/978-3-642-25535-9_50"},{"key":"9185_CR25","doi-asserted-by":"crossref","unstructured":"Mart\u00ednez E, D\u00edaz G, Cambronero ME, Schneider G (2010) A modelfor visual specification of e-contracts. In: The 7th IEEE international conference on services computing (IEEE SCC\u201910), pp 1\u20138. IEEE Computer Society, Miami","DOI":"10.1109\/SCC.2010.32"},{"key":"9185_CR26","first-page":"197","volume-title":"Handbook of the history of logic","author":"P McNamara","year":"2006","unstructured":"McNamara P (2006) Deontic logic. In: Gabbay DM, Woods J (eds) Handbook of the history of logic, vol 7. North-Holland Publishing, Amsterdam, pp 197\u2013289"},{"key":"9185_CR27","doi-asserted-by":"crossref","unstructured":"Mikk E, Lakhnech Y, Siegel M (1997) Hierarchical automata as model for statecharts. In: Third Asian computing science conference. Advances in computing science\u2014ASIAN\u201997, Lecture notes in computer science, vol 1345. Springer","DOI":"10.1007\/3-540-63875-X_52"},{"key":"9185_CR28","unstructured":"Pace GJ, Schapachnik F (2011) Permissions in contracts, a logical insight. In: The 24th international conference on legal knowledge and information systems (JURIX\u201911), Frontiers in artificial intelligence and applications, vol 235. IOS Press, University of Vienna, Austria"},{"key":"9185_CR29","unstructured":"Pace GJ, Schapachnik F (2011) Permissions in contracts, a logical insight. In: JURIX, pp 140\u2013144"},{"key":"9185_CR30","doi-asserted-by":"crossref","unstructured":"Pace GJ, Schapachnik F (2012) Contracts for interacting two-party systems. In: FLACOS\u201912, ENTCS, vol\u00a094","DOI":"10.4204\/EPTCS.94.3"},{"key":"9185_CR31","unstructured":"Pace GJ, Schapachnik F (2012) Types of rights in two-party systems: a formal analysis. In: Legal knowledge and information systems\u2014JURIX 2012: the twenty-fifth annual conference, University of Amsterdam, The Netherlands, 17\u201319 Dec 2012, Frontiers in artificial intelligence and applications, vol 250, pp 105\u2013114. IOS Press"},{"key":"9185_CR32","doi-asserted-by":"crossref","unstructured":"Pace GJ, Schapachnik F (2013) Synthesising implicit contracts. In:ICAIL\u201913. ACM, New York, pp 217\u2013221","DOI":"10.1145\/2514601.2514630"},{"key":"9185_CR33","doi-asserted-by":"crossref","unstructured":"Pardo R, Colombo C, Pace G, Schneider G (2016) An automata-based approach to evolving privacy policies for social networks. In: 16th international conference on runtime verification (RV) (Madrid, Spain, 2016), LNCS","DOI":"10.1007\/978-3-319-46982-9_18"},{"key":"9185_CR34","doi-asserted-by":"crossref","unstructured":"Prisacariu C, Schneider G (2007) A formal language for electronic contracts. In: FMOODS, LNCS, vol 4468, pp 174\u2013189. Springer","DOI":"10.1007\/978-3-540-72952-5_11"},{"key":"9185_CR35","doi-asserted-by":"crossref","unstructured":"Prisacariu C, Schneider G (2009) CL: an action-based logic for reasoning about contracts. In: WOLLIC\u201909, LNCS, vol 5514, pp 335\u2013349. Springer","DOI":"10.1007\/978-3-642-02261-6_27"},{"issue":"4","key":"9185_CR36","doi-asserted-by":"crossref","first-page":"458","DOI":"10.1016\/j.jlap.2012.03.003","volume":"81","author":"C Prisacariu","year":"2012","unstructured":"Prisacariu C, Schneider G (2012) A dynamic deontic logic for complex contracts. J Log Algebr Program 81(4):458\u2013490","journal-title":"J Log Algebr Program"},{"issue":"3","key":"9185_CR37","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1016\/S0169-023X(97)00048-7","volume":"26","author":"Y Ryu","year":"1998","unstructured":"Ryu Y (1998) Specification of contractual obligations in formal business communication. Data Knowl Eng 26(3):309\u2013326","journal-title":"Data Knowl Eng"},{"key":"9185_CR38","doi-asserted-by":"crossref","unstructured":"Salcianu A, Rinard M (2001) Pointer and escape analysis for multithreaded programs. In: ACM SIGPLAN notices, vol\u00a036, pp 12\u201323. ACM","DOI":"10.1145\/568014.379553"},{"key":"9185_CR39","doi-asserted-by":"crossref","unstructured":"Santos F, Jones A, Carmo J (1997) Action concepts for describing organised interaction. In: Proceedings of the thirtieth Hawaii international conference on system sciences, 1997, vol\u00a05, pp 373\u2013382. IEEE","DOI":"10.1109\/HICSS.1997.663195"},{"key":"9185_CR40","first-page":"629","volume":"46","author":"H Surdan","year":"2012","unstructured":"Surdan H (2012) Computable contracts. UCDL Rev 46:629","journal-title":"UCDL Rev"},{"key":"9185_CR41","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1080\/10864415.1998.11518335","volume":"3","author":"YH Tan","year":"1998","unstructured":"Tan YH, Thoen W (1998) A logical model of directed obligations and permissions to support electronic contracting. Int J Electron Commer 3:87\u2013104","journal-title":"Int J Electron Commer"},{"key":"9185_CR42","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1111\/1467-9337.00106","volume":"12","author":"G Wright Von","year":"1999","unstructured":"Von Wright G (1999) Deontic logic: a personal view. Ratio Juris 12:26\u201338","journal-title":"Ratio Juris"},{"issue":"1","key":"9185_CR43","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1145\/1120694.1120697","volume":"5","author":"L Xu","year":"2004","unstructured":"Xu L (2004) A multi-party contract model. SIGecom Exch 5(1):13\u201323","journal-title":"SIGecom Exch"}],"container-title":["Artificial Intelligence and Law"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-016-9185-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10506-016-9185-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10506-016-9185-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,10]],"date-time":"2025-06-10T19:13:28Z","timestamp":1749582808000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10506-016-9185-2"}},"subtitle":["An operational view of contracts between interactive parties"],"short-title":[],"issued":{"date-parts":[[2016,9]]},"references-count":43,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2016,9]]}},"alternative-id":["9185"],"URL":"https:\/\/doi.org\/10.1007\/s10506-016-9185-2","relation":{},"ISSN":["0924-8463","1572-8382"],"issn-type":[{"value":"0924-8463","type":"print"},{"value":"1572-8382","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,9]]}}}