{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T13:10:42Z","timestamp":1771679442091,"version":"3.50.1"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030234034","type":"print"},{"value":"9783030234041","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-23404-1_9","type":"book-chapter","created":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T13:02:46Z","timestamp":1560862966000},"page":"126-141","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Enriching Smart Contracts with Temporal Aspects"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6569-1023","authenticated-orcid":false,"given":"Fabiana","family":"Fournier","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9398-4373","authenticated-orcid":false,"given":"Inna","family":"Skarbovsky","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,6,19]]},"reference":[{"key":"9_CR1","unstructured":"Szabo, N.: Smart Contracts: Building Blocks for Digital Markets (1997)"},{"key":"9_CR2","unstructured":"Stark, J.: Making sense of blockchain smart contracts. In: Coindesk.Com (2016). http:\/\/www.coindesk.com\/making-sense-smart-contracts\/. Accessed 5 Jan 2019"},{"key":"9_CR3","unstructured":"Hyperledger Fabric. https:\/\/www.hyperledger.org\/projects\/fabric. Accessed 5 Jan 2019"},{"key":"9_CR4","unstructured":"Hyperledger Composer. https:\/\/www.hyperledger.org\/projects\/composer. Accessed 5 Jan 2019"},{"key":"9_CR5","unstructured":"Hyperledger: blockchain collaboration changing the business world. https:\/\/www.ibm.com\/blockchain\/hyperledger.html. Accessed 5 Jan 2019"},{"key":"9_CR6","unstructured":"Swanson, T.: Consensus-as-a-service: A brief report on the emergence of permissioned, distributed edger systems. http:\/\/www.ofnumbers.com\/wp-content\/uploads\/2015\/04\/Permissioned-distributed-ledgers.pdf. Accessed 5 Jan 2019"},{"key":"9_CR7","unstructured":"Gupta, S.: HFS top 10 blockchain platforms, HFS Research report, November 2018"},{"key":"9_CR8","unstructured":"Welcome to Hyperledger Composer. https:\/\/hyperledger.github.io\/composer\/latest\/introduction\/introduction.html. Accessed 5 Jan 2019"},{"key":"9_CR9","volume-title":"Hands-On Blockchain with Hyperledger","author":"N Gaur","year":"2018","unstructured":"Gaur, N., Desrosiers, L., Ramakrishna, V., Novotny, P., Baset, S.A., O\u2019Dowd, A.: Hands-On Blockchain with Hyperledger. Packt Publishing Ltd, Birmingham (2018)"},{"key":"9_CR10","volume-title":"Event Processing in Action","author":"O Etzion","year":"2010","unstructured":"Etzion, O., Niblett, P.: Event Processing in Action. Manning Publications Company, Shelter Island (2010)"},{"key":"9_CR11","unstructured":"WHO: One in 10 medical products in low and middle-income countries are fake. https:\/\/www.nation.co.ke\/news\/Fake-medicine-circulating-in-low-and-middle-income-countries\/1056-4207960-14swirrz\/index.html. Accessed 3 Jan 2019"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"Etzion, O., Fournier, F., Skarbovsky, I., von Halle, B.A.: model driven approach for event processing applications. In: Proceedings of the 10th ACM International Conference on Distributed and Event-based Systems (DEBS16), pp. 81\u201392 (2016). https:\/\/dl.acm.org\/citation.cfm?id=2933268","DOI":"10.1145\/2933267.2933268"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"Bodenstein, C., Lohse, F., Zimmermann, A.: Executable specifications for model-based development of automotive software. In: SMC 2010, pp. 727\u2013732 (2010)","DOI":"10.1109\/ICSMC.2010.5641836"},{"key":"9_CR14","doi-asserted-by":"publisher","DOI":"10.2200\/S00441ED1V01Y201208SWE001","volume-title":"Model Driven Software Engineering in Practice","author":"M Brambilla","year":"2012","unstructured":"Brambilla, M., Cabot, J., Wimmer, M.: Model Driven Software Engineering in Practice. Morgan & Claypool, San Rafael (2012)"},{"issue":"3","key":"9_CR15","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/2187671.2187677","volume":"44","author":"G Cugola","year":"2012","unstructured":"Cugola, G., Margara, A.: Processing flows of information: from data stream to complex event processing. ACM Comput. Surv. (CSUR) 44(3), 15 (2012)","journal-title":"ACM Comput. Surv. (CSUR)"},{"issue":"4","key":"9_CR16","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/s00778-012-0297-3","volume":"22","author":"N Dindar","year":"2013","unstructured":"Dindar, N., Tatbul, N., Miller, R.J., Haas, L.M., Botan, I.: Modeling the execution semantics of stream processing engines with SECRET. VLDB J. (VLDB) 22(4), 421\u2013446 (2013)","journal-title":"VLDB J. (VLDB)"},{"key":"9_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1007\/978-3-642-32689-9_12","volume-title":"Rules on the Web: Research and Applications","author":"S Bragaglia","year":"2012","unstructured":"Bragaglia, S., Chesani, F., Mello, P., Sottara, D.: A rule-based calculus and processing of complex events. In: Bikakis, A., Giurca, A. (eds.) RuleML 2012. LNCS, vol. 7438, pp. 151\u2013166. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-32689-9_12"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Marquardt, N., Gross, T., Sheelagh, M., Carpendale, T., Greenberg, S.: Revealing the invisible: visualizing the location and event flow of distributed physical devices. In: Tangible and Embedded Interaction, pp. 41\u201348 (2010)","DOI":"10.1145\/1709886.1709896"},{"key":"9_CR19","unstructured":"Kowalski, R.A.: Logic programing in artificial intelligence. In: IJCAI, pp. 596\u2013604 (1991)"},{"key":"9_CR20","unstructured":"Ethereum. https:\/\/www.ethereum.org\/. Accessed 5 Jan 2019"},{"key":"9_CR21","unstructured":"Boogaard, K.: A model-driven approach to smart contract development, master thesis (2018)"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Frantz, C.K., Nowostawski, M.: From institutions to code: towards automated generation of smart contracts. In: IEEE 1st International Workshops on Foundations and Applications of Self* Systems, pp. 210\u2013215 (2016)","DOI":"10.1109\/FAS-W.2016.53"}],"container-title":["Lecture Notes in Computer Science","Blockchain \u2013 ICBC 2019"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-23404-1_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T13:03:23Z","timestamp":1710248603000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-23404-1_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030234034","9783030234041"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-23404-1_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"19 June 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICBC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Blockchain","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"San Diego, CA","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"USA","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"30 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icbc2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/blockchain1000.org\/2019\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}