{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:10:07Z","timestamp":1742962207296,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642249075"},{"type":"electronic","value":"9783642249082"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24908-2_28","type":"book-chapter","created":{"date-parts":[[2011,10,20]],"date-time":"2011-10-20T10:38:16Z","timestamp":1319107096000},"page":"267-281","source":"Crossref","is-referenced-by-count":5,"title":["Event Condition Expectation (ECE-) Rules for Monitoring Observable Systems"],"prefix":"10.1007","author":[{"given":"Stefano","family":"Bragaglia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Federico","family":"Chesani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Emory","family":"Fry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Davide","family":"Sottara","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"4","key":"28_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1380572.1380578","volume":"9","author":"M. Alberti","year":"2008","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Trans. Comput. Logic\u00a09(4), 1\u201343 (2008)","journal-title":"ACM Trans. Comput. Logic"},{"issue":"2-3","key":"28_CR2","first-page":"205","volume":"12","author":"M. Alberti","year":"2006","unstructured":"Alberti, M., Gavanelli, M., Lamma, E., Mello, P., Torroni, P., Sartor, G.: Mapping deontic operators to abductive expectations. CMOT\u00a012(2-3), 205\u2013225 (2006)","journal-title":"CMOT"},{"issue":"11","key":"28_CR3","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"J.F. Allen","year":"1983","unstructured":"Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM\u00a026(11), 832\u2013843 (1983)","journal-title":"Commun. ACM"},{"issue":"1","key":"28_CR4","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1186\/1471-2210-10-2","volume":"10","author":"G. Damiani","year":"2010","unstructured":"Damiani, G., Pinnarelli, L., Colosimo, S., Almiento, R., Sicuro, L., Galasso, R., Sommella, L., Ricciardi, W.: The effectiveness of computerized clinical guidelines in the process of care: a systematic review. BMC-HSR\u00a010(1), 2 (2010), http:\/\/www.biomedcentral.com\/1472-6963\/10\/2","journal-title":"BMC-HSR"},{"key":"28_CR5","unstructured":"Desai, N., Chopra, A.K., Singh, M.P.: Representing and reasoning about commitments in business processes. In: AAAI, pp. 1328\u20131333. AAAI Press (2007)"},{"issue":"1","key":"28_CR6","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1016\/0004-3702(82)90020-0","volume":"19","author":"C. Forgy","year":"1982","unstructured":"Forgy, C.: Rete: A fast algorithm for the many patterns\/many objects match problem. Artif. Intell.\u00a019(1), 17\u201337 (1982)","journal-title":"Artif. Intell."},{"issue":"9-10","key":"28_CR7","doi-asserted-by":"publisher","first-page":"853","DOI":"10.1080\/08839510490509054","volume":"18","author":"N. Fornara","year":"2004","unstructured":"Fornara, N., Colombetti, M.: A commitment-based approach to agent communication. Applied Artificial Intelligence\u00a018(9-10), 853\u2013866 (2004)","journal-title":"Applied Artificial Intelligence"},{"issue":"2-3","key":"28_CR8","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1142\/S0218843005001092","volume":"14","author":"G. Governatori","year":"2005","unstructured":"Governatori, G.: Representing business contracts in ruleml. Int. J. Cooperative Inf. Syst.\u00a014(2-3), 181\u2013216 (2005)","journal-title":"Int. J. Cooperative Inf. Syst."},{"key":"28_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1007\/978-3-540-76928-6_50","volume-title":"AI 2007: Advances in Artificial Intelligence","author":"G. Governatori","year":"2007","unstructured":"Governatori, G., Hulstijn, J., Riveret, R., Rotolo, A.: Characterising Deadlines in Temporal Modal Defeasible Logic. In: Orgun, M.A., Thornton, J. (eds.) AI 2007. LNCS (LNAI), vol.\u00a04830, pp. 486\u2013496. Springer, Heidelberg (2007)"},{"key":"28_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-16289-3_17","volume-title":"Semantic Web Rules","author":"G. Governatori","year":"2010","unstructured":"Governatori, G., Rotolo, A.: Norm Compliance in Business Process Modeling. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol.\u00a06403, pp. 194\u2013209. Springer, Heidelberg (2010)"},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"Governatori, G., Rotolo, A., Sartor, G.: Temporalised normative positions in defeasible logic. In: ICAIL, pp. 25\u201334. ACM (2005)","DOI":"10.1145\/1165485.1165490"},{"key":"28_CR12","unstructured":"JBoss: JBoss Drools 5.2 - Business Logic Integration Platform (2011), www.jboss.org\/drools"},{"key":"28_CR13","volume-title":"The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems","author":"D. Luckham","year":"2002","unstructured":"Luckham, D.: The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley Longman, Amsterdam (2002)"},{"key":"28_CR14","doi-asserted-by":"crossref","unstructured":"Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographiess. TWEB\u00a04(1) (2010)","DOI":"10.1145\/1658373.1658376"},{"key":"28_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11837862_18","volume-title":"Business Process Management Workshops","author":"M. Pesic","year":"2006","unstructured":"Pesic, M., van der Aalst, W.M.P.: A declarative approach for flexible business processes management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol.\u00a04103, pp. 169\u2013180. Springer, Heidelberg (2006)"},{"key":"28_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-540-75183-0_12","volume-title":"Business Process Management","author":"S.W. Sadiq","year":"2007","unstructured":"Sadiq, S.W., Governatori, G., Namiri, K.: Modeling control objectives for business process compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 149\u2013164. Springer, Heidelberg (2007)"},{"issue":"11","key":"28_CR17","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1109\/MC.2009.347","volume":"42","author":"M.P. Singh","year":"2009","unstructured":"Singh, M.P., Chopra, A.K., Desai, N.: Commitment-based service-oriented architecture. IEEE Computer\u00a042(11), 72\u201379 (2009)","journal-title":"IEEE Computer"},{"key":"28_CR18","doi-asserted-by":"crossref","unstructured":"Sottara, D., Mello, P., Sartori, C., Fry, E.: Enhancing a production rule engine with predictive models using pmml. In: KDD 2011 (to appear, 2011)","DOI":"10.1145\/2023598.2023604"},{"key":"28_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"228","DOI":"10.1007\/978-3-642-11355-0_14","volume-title":"Declarative Agent Languages and Technologies VII","author":"P. Torroni","year":"2010","unstructured":"Torroni, P., Chesani, F., Mello, P., Montali, M.: Social commitments in time: Satisfied or compensated. In: Baldoni, M., Bentahar, J., van Riemsdijk, M.B., Lloyd, J. (eds.) DALT 2009. LNCS, vol.\u00a05948, pp. 228\u2013243. Springer, Heidelberg (2010)"},{"key":"28_CR20","doi-asserted-by":"crossref","unstructured":"Torroni, P., Chesani, F., Yolum, P., Gavanelli, M., Singh, M.P., Lamma, E., Alberti, M., Mello, P.: Modelling Interactions via Commitments and Expectations. IGI Global (2009)","DOI":"10.4018\/978-1-60566-256-5.ch011"},{"key":"28_CR21","doi-asserted-by":"crossref","unstructured":"Yolum, P., Singh, M.P.: Flexible protocol specification and execution: applying event calculus planning using commitments. In: AAMAS, pp. 527\u2013534. ACM (2002)","DOI":"10.1145\/544862.544867"}],"container-title":["Lecture Notes in Computer Science","Rule-Based Modeling and Computing on the Semantic Web"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24908-2_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,18]],"date-time":"2019-06-18T01:44:18Z","timestamp":1560822258000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24908-2_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642249075","9783642249082"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24908-2_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}