{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,6]],"date-time":"2026-06-06T19:07:08Z","timestamp":1780772828608,"version":"3.54.1"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783031342400","type":"print"},{"value":"9783031342417","type":"electronic"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-34241-7_9","type":"book-chapter","created":{"date-parts":[[2023,5,30]],"date-time":"2023-05-30T17:02:50Z","timestamp":1685466170000},"page":"121-135","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Time-Aware Model for\u00a0Legal Smart Contracts"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2343-9863","authenticated-orcid":false,"given":"Josef","family":"Lubas","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6050-468X","authenticated-orcid":false,"given":"Johann","family":"Eder","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2023,5,31]]},"reference":[{"key":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/978-3-030-17138-4_10","volume-title":"Principles of Security and Trust","author":"M Bartoletti","year":"2019","unstructured":"Bartoletti, M., Zunino, R.: Verifying liquidity of bitcoin contracts. In: Nielson, F., Sands, D. (eds.) POST 2019. LNCS, vol. 11426, pp. 222\u2013247. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-17138-4_10"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2018.11.005","volume":"797","author":"M Cairo","year":"2019","unstructured":"Cairo, M., Rizzi, R.: Dynamic controllability of simple temporal networks with uncertainty: simple rules and fast real-time execution. Theor. Comput. Sci. 797, 2\u201316 (2019)","journal-title":"Theor. Comput. Sci."},{"issue":"4","key":"9_CR3","doi-asserted-by":"crossref","first-page":"338","DOI":"10.69554\/XYVT7035","volume":"2","author":"CD Clack","year":"2018","unstructured":"Clack, C.D.: Smart contract templates: legal semantics and code validation. J. Digit. Bank. 2(4), 338\u2013352 (2018)","journal-title":"J. Digit. Bank."},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/978-3-030-03427-6_26","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice","author":"CD Clack","year":"2018","unstructured":"Clack, C.D., Vanca, G.: Temporal aspects of smart contracts for financial derivatives. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11247, pp. 339\u2013355. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03427-6_26"},{"key":"9_CR5","unstructured":"Daskalopulu, A.: Model checking contractual protocols. arXiv cs\/0106009 (2001)"},{"issue":"1\u20133","key":"9_CR6","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/0004-3702(91)90006-6","volume":"49","author":"R Dechter","year":"1991","unstructured":"Dechter, R., Meiri, I., Pearl, J.: Temporal constraint networks. Artif. Intell. 49(1\u20133), 61\u201395 (1991)","journal-title":"Artif. Intell."},{"key":"9_CR7","volume":"26","author":"A Dixit","year":"2022","unstructured":"Dixit, A., Deval, V., Dwivedi, V., Norta, A., Draheim, D.: Towards user-centered and legally relevant smart-contract development: a systematic literature review. J. Ind. Inf. Integr. 26, 100314 (2022)","journal-title":"J. Ind. Inf. Integr."},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Eder, J., Franceschetti, M., K\u00f6pke, J.: Controllability of business processes with temporal variables. In: Proceedings of the 34th ACM\/SIGAPP Symposium on Applied Computing, pp. 40\u201347 (2019)","DOI":"10.1145\/3297280.3297286"},{"key":"9_CR9","doi-asserted-by":"publisher","unstructured":"Eder, J., Franceschetti, M., Lubas, J.: Time and processes: towards engineering temporal requirements. In: Proceedings of the 16th International Conference on Software Technologies - ICSOFT, pp. 9\u201316. INSTICC, SciTePress (2021). https:\/\/doi.org\/10.5220\/0010625400090016","DOI":"10.5220\/0010625400090016"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/11908883_22","volume-title":"Advances in Conceptual Modeling - Theory and Practice","author":"J Eder","year":"2006","unstructured":"Eder, J., Lehmann, M., Tahamtan, A.: Choreographies as federations of choreographies and orchestrations. In: Roddick, J.F., et al. (eds.) ER 2006. LNCS, vol. 4231, pp. 183\u2013192. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11908883_22"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-642-03466-4_13","volume-title":"Theoretical Aspects of Computing - ICTAC 2009","author":"S Fenech","year":"2009","unstructured":"Fenech, S., Pace, G.J., Schneider, G.: Automatic conflict detection on contracts. In: Leucker, M., Morgan, C. (eds.) ICTAC 2009. LNCS, vol. 5684, pp. 200\u2013214. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-03466-4_13"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1007\/s10506-021-09300-9","volume":"30","author":"MD Flood","year":"2022","unstructured":"Flood, M.D., Goodenough, O.R.: Contract as automaton: representing a simple financial agreement in computational form. Artif. Intell. Law 30, 391\u2013416 (2022). https:\/\/doi.org\/10.1007\/s10506-021-09300-9","journal-title":"Artif. Intell. Law"},{"issue":"4","key":"9_CR13","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/s10506-018-9223-3","volume":"26","author":"G Governatori","year":"2018","unstructured":"Governatori, G., Idelberger, F., Milosevic, Z., Riveret, R., Sartor, G., Xu, X.: On legal contracts, imperative and declarative smart contracts, and blockchain systems. Artif. Intell. Law 26(4), 377\u2013409 (2018). https:\/\/doi.org\/10.1007\/s10506-018-9223-3","journal-title":"Artif. Intell. Law"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Hunsberger, L., Posenato, R.: Speeding up the RUL$$^-$$ dynamic-controllability-checking algorithm for simple temporal networks with uncertainty. In: Proceedings of the AAAI Conference on Artificial Intelligence, vol.\u00a036, pp. 9776\u20139785 (2022)","DOI":"10.1609\/aaai.v36i9.21213"},{"key":"9_CR15","doi-asserted-by":"publisher","unstructured":"Hunsberger, L., Posenato, R., Combi, C.: A sound-and-complete propagation-based algorithm for checking the dynamic consistency of conditional simple temporal networks. In: 2015 22nd International Symposium on Temporal Representation and Reasoning (TIME), pp. 4\u201318 (2015). https:\/\/doi.org\/10.1109\/TIME.2015.26","DOI":"10.1109\/TIME.2015.26"},{"key":"9_CR16","unstructured":"Hvitved, T.: Contract formalisation and modular implementation of domain-specific languages. Ph.D. thesis, Citeseer (2011)"},{"key":"9_CR17","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1007\/978-3-030-37453-2_52","volume-title":"Business Process Management Workshops","author":"J Ladleif","year":"2019","unstructured":"Ladleif, J., Weske, M.: A legal interpretation of choreography models. In: Di Francescomarino, C., Dijkman, R., Zdun, U. (eds.) BPM 2019. LNBIP, vol. 362, pp. 651\u2013663. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-37453-2_52"},{"issue":"1","key":"9_CR18","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1016\/0167-9236(88)90096-6","volume":"4","author":"RM Lee","year":"1988","unstructured":"Lee, R.M.: A logic model for electronic contracting. Decis. Support Syst. 4(1), 27\u201344 (1988)","journal-title":"Decis. Support Syst."},{"key":"9_CR19","unstructured":"Lubas, J., Franceschetti, M., Eder, J.: Resolving conflicts in process models with temporal constraints. In: Proceedings of the ER Forum and PhD Symposium 2022. CEUR Workshop Proceedings, vol.\u00a03211. CEUR-WS.org (2022). http:\/\/ceur-ws.org\/Vol-3211\/CR_103.pdf"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Marjanovic, O., Milosevic, Z.: Towards formal modeling of e-contracts. In: Proceedings Fifth IEEE International Enterprise Distributed Object Computing Conference, pp. 59\u201368. IEEE (2001)","DOI":"10.1109\/EDOC.2001.950423"},{"key":"9_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-030-32101-7_27","volume-title":"Financial Cryptography and Data Security","author":"A Mavridou","year":"2019","unstructured":"Mavridou, A., Laszka, A., Stachtiari, E., Dubey, A.: VeriSolid: correct-by-design smart contracts for Ethereum. In: Goldberg, I., Moore, T. (eds.) FC 2019. LNCS, vol. 11598, pp. 446\u2013465. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-32101-7_27"},{"issue":"1","key":"9_CR22","doi-asserted-by":"publisher","first-page":"19","DOI":"10.4018\/JCIT.2019010102","volume":"21","author":"MI Mehar","year":"2019","unstructured":"Mehar, M.I., et al.: Understanding a revolutionary and flawed grand experiment in blockchain: the DAO attack. J. Cases Inf. Technol. (JCIT) 21(1), 19\u201332 (2019)","journal-title":"J. Cases Inf. Technol. (JCIT)"},{"issue":"2","key":"9_CR23","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1016\/j.elerap.2004.02.003","volume":"3","author":"C Molina-Jimenez","year":"2004","unstructured":"Molina-Jimenez, C., Shrivastava, S., Solaiman, E., Warne, J.: Run-time monitoring and enforcement of electronic contracts. Electron. Commer. Res. Appl. 3(2), 108\u2013125 (2004). https:\/\/doi.org\/10.1016\/j.elerap.2004.02.003","journal-title":"Electron. Commer. Res. Appl."},{"key":"9_CR24","unstructured":"Morris, P.H., Muscettola, N.: Temporal dynamic controllability revisited. In: Proceedings of the AAAI, pp. 1193\u20131198 (2005)"},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-642-02144-2_29","volume-title":"Advanced Information Systems Engineering","author":"H Pichler","year":"2009","unstructured":"Pichler, H., Wenger, M., Eder, J.: Composing time-aware web service orchestrations. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 349\u2013363. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02144-2_29"},{"key":"9_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-030-03427-6_25","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice","author":"I Sergey","year":"2018","unstructured":"Sergey, I., Kumar, A., Hobor, A.: Temporal properties of smart contracts. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11247, pp. 323\u2013338. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03427-6_25"},{"key":"9_CR27","doi-asserted-by":"publisher","DOI":"10.1016\/j.cose.2019.101654","volume":"88","author":"A Singh","year":"2020","unstructured":"Singh, A., Parizi, R.M., Zhang, Q., Choo, K.K.R., Dehghantanha, A.: Blockchain smart contracts formalization: approaches and challenges to address vulnerabilities. Comput. Secur. 88, 101654 (2020)","journal-title":"Comput. Secur."},{"issue":"7","key":"9_CR28","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3464421","volume":"54","author":"P Tolmach","year":"2021","unstructured":"Tolmach, P., Li, Y., Lin, S.W., Liu, Y., Li, Z.: A survey of smart contract formal specification and verification. ACM Comput. Surv. 54(7), 1\u201338 (2021). https:\/\/doi.org\/10.1145\/3464421","journal-title":"ACM Comput. Surv."},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"Vidal, T., Fargier, H.: Contingent durations in temporal CSPs: from consistency to controllabilities. In: Proceedings of TIME 1997: 4th International Workshop on Temporal Representation and Reasoning, pp. 78\u201385 (1997)","DOI":"10.1109\/TIME.1997.600786"},{"key":"9_CR30","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/j.tcs.2018.09.023","volume":"797","author":"M Zavatteri","year":"2019","unstructured":"Zavatteri, M., Vigan\u00f2, L.: Conditional simple temporal networks with uncertainty and decisions. Theor. Comput. Sci. 797, 77\u2013101 (2019)","journal-title":"Theor. Comput. Sci."},{"key":"9_CR31","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1016\/j.future.2019.12.019","volume":"105","author":"Z Zheng","year":"2020","unstructured":"Zheng, Z., et al.: An overview on smart contracts: Challenges, advances and platforms. Future Gener. Comput. Syst. 105, 475\u2013491 (2020)","journal-title":"Future Gener. Comput. Syst."},{"key":"9_CR32","series-title":"Blockchain Technologies","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/978-981-15-1137-0_4","volume-title":"Blockchain Technology for Industry 4.0","author":"N Zupan","year":"2020","unstructured":"Zupan, N., Kasinathan, P., Cuellar, J., Sauer, M.: Secure smart contract generation based on petri nets. In: Rosa Righi, R., Alberti, A.M., Singh, M. (eds.) Blockchain Technology for Industry 4.0. BT, pp. 73\u201398. Springer, Singapore (2020). https:\/\/doi.org\/10.1007\/978-981-15-1137-0_4"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise, Business-Process and Information Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-34241-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,21]],"date-time":"2024-10-21T14:00:17Z","timestamp":1729519217000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-34241-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031342400","9783031342417"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-34241-7_9","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"31 May 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BPMDS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Business Process Modeling, Development and Support","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Zaragoza","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12 June 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 June 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bpmds2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.bpmds.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"26","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"9","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"35% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}