乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T23:02:55Z","timestamp":1743894175947},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2015,1,31]],"date-time":"2015-01-31T00:00:00Z","timestamp":1422662400000},"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":["Form Methods Syst Des"],"published-print":{"date-parts":[[2015,6]]},"DOI":"10.1007\/s10703-015-0222-7","type":"journal-article","created":{"date-parts":[[2015,1,30]],"date-time":"2015-01-30T14:15:31Z","timestamp":1422627331000},"page":"262-285","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":46,"title":["Monitoring of temporal first-order properties with aggregations"],"prefix":"10.1007","volume":"46","author":[{"given":"David","family":"Basin","sequence":"first","affiliation":[]},{"given":"Felix","family":"Klaedtke","sequence":"additional","affiliation":[]},{"given":"Srdjan","family":"Marinovic","sequence":"additional","affiliation":[]},{"given":"Eugen","family":"Z\u0103linescu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,1,31]]},"reference":[{"key":"222_CR1","volume-title":"Foundations of databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul S, Hull R, Vianu V (1995) Foundations of databases. Addison-Wesley Longman Publishing Co., Inc., Boston"},{"key":"222_CR2","doi-asserted-by":"crossref","unstructured":"Arasu A, Babcock B, Babu S, Datar M, Ito K, Motwani R, Nishizawa I, Srivastava U, Thomas D, Varma R, Widom J (2003) STREAM: the Stanford stream data manager. IEEE Data Eng Bull 26(1):19\u201326","DOI":"10.1145\/872757.872854"},{"issue":"2","key":"222_CR3","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/s00778-004-0147-z","volume":"15","author":"A Arasu","year":"2006","unstructured":"Arasu A, Babu S, Widom J (2006) The CQL continuous query language: semantic foundations and query execution. VLDB J 15(2):121\u2013144","journal-title":"VLDB J"},{"key":"222_CR4","doi-asserted-by":"crossref","unstructured":"Barringer H, Goldberg A, Havelund K, Sen K (2004) Rule-based runtime verification. In: Proceedings of the 5th international conference on verification, model checking and abstract interpretation (VMCAI\u201904). Lecture notes in computer science, vol 2937, pp 44\u201357","DOI":"10.1007\/978-3-540-24622-0_5"},{"key":"222_CR5","doi-asserted-by":"crossref","unstructured":"Basin D, Harvan M, Klaedtke F, Z\u0103linescu E (2012) MONPOLY: Monitoring usage-control policies. In: Proceedings of the 2nd international conference on runtime verification (RV\u201911). Lecture notes in computer science, vol 7186, pp 360\u2013364","DOI":"10.1007\/978-3-642-29860-8_27"},{"issue":"10","key":"222_CR6","doi-asserted-by":"crossref","first-page":"1403","DOI":"10.1109\/TSE.2013.18","volume":"39","author":"D Basin","year":"2013","unstructured":"Basin D, Harvan M, Klaedtke F, Z\u0103linescu E (2013) Monitoring data usage in distributed systems. IEEE Trans Softw Eng 39(10):1403\u20131426","journal-title":"IEEE Trans Softw Eng"},{"key":"222_CR7","doi-asserted-by":"crossref","unstructured":"Basin D, Klaedtke F, Marinovic S, Z\u0103linescu E (2013) Monitoring of temporal first-order properties with aggregations. In: Proceedings of the 4th international conference on runtime verification (RV\u201913). Lecture notes in computer science, vol 8174, pp 40\u201358","DOI":"10.1007\/978-3-642-40787-1_3"},{"key":"222_CR8","unstructured":"Basin D, Klaedtke F, M\u00fcller S, Pfitzmann B (2008) Runtime monitoring of metric first-order temporal properties. In: Proceedings of the 28th conference on foundations of software technology and theoretical computer science (FSTTCS\u201908). Leibniz international proceedings in informatics (LIPIcs), vol 2, pp 49\u201360"},{"key":"222_CR9","doi-asserted-by":"crossref","unstructured":"Basin D, Klaedtke F, Z\u0103linescu E (2012) Algorithms for monitoring real-time properties. In: Proceedings of the 2nd international conference on runtime verification (RV\u201911). Lecture notes in computer science, vol 7186, pp 260\u2013275","DOI":"10.1007\/978-3-642-29860-8_20"},{"key":"222_CR10","doi-asserted-by":"crossref","unstructured":"Bauer A, Gor\u00e9 R, Tiu A (2009) A first-order policy language for history-based transaction monitoring. In: Proceedings of the 6th international colloquium on theoretical aspects of computing (ICTAC\u201909). Lecture notes in computer science, vol 5684, pp 96\u2013111","DOI":"10.1007\/978-3-642-03466-4_6"},{"key":"222_CR11","doi-asserted-by":"crossref","unstructured":"Bianculli D, Ghezzi C, Pietro PS (2013) The tale of SOLOIST: A specification language for service compositions interactions. In: Proceedings of the 9th international symposium on formal aspects of component software (FACS\u201912). Lecture notes in computer science, vol 7684, pp 55\u201372","DOI":"10.1007\/978-3-642-35861-6_4"},{"issue":"2","key":"222_CR12","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1145\/210197.210200","volume":"20","author":"J Chomicki","year":"1995","unstructured":"Chomicki J (1995) Efficient checking of temporal integrity constraints using bounded history encoding. ACM Trans Database Syst 20(2):149\u2013186","journal-title":"ACM Trans Database Syst"},{"issue":"2","key":"222_CR13","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1145\/383891.383892","volume":"26","author":"J Chomicki","year":"2001","unstructured":"Chomicki J, Toman D, B\u00f6hlen MH (2001) Querying ATSQL databases with temporal logic. ACM Trans Database Syst 26(2):145\u2013178","journal-title":"ACM Trans Database Syst"},{"key":"222_CR14","doi-asserted-by":"crossref","unstructured":"Colombo C, Gauci A, Pace GJ (2010) LarvaStat: Monitoring of statistical properties. In: Proceedings of the 1st international conference on runtime verification (RV\u201910). Lecture notes in computer science, vol 6418, pp 480\u2013484","DOI":"10.1007\/978-3-642-16612-9_38"},{"key":"222_CR15","doi-asserted-by":"crossref","unstructured":"Cranor C, Johnson T, Spataschek O, Shkapenyuk V (2003) Gigascope: A stream database for network applications. In: Proceedings of the 2003 ACM SIGMOD international conference on management of data, pp 647\u2013651","DOI":"10.1145\/872757.872838"},{"key":"222_CR16","doi-asserted-by":"crossref","unstructured":"D\u2019Angelo B, Sankaranarayanan S, S\u00e1nchez C, Robinson W, Finkbeiner B, Sipma HB, Mehrotra S, Manna Z (2005) LOLA: Runtime monitoring of synchronous systems. In: Proceedings of the 12th international symposium on temporal representation and reasoning (TIME\u201905), pp 166\u2013174","DOI":"10.1109\/TIME.2005.26"},{"issue":"3","key":"222_CR17","doi-asserted-by":"crossref","first-page":"253","DOI":"10.1007\/s10703-005-3399-3","volume":"27","author":"B Finkbeiner","year":"2005","unstructured":"Finkbeiner B, Sankaranarayanan S, Sipma H (2005) Collecting statistics over runtime executions. Form Methods Syst Des 27(3):253\u2013274","journal-title":"Form Methods Syst Des"},{"key":"222_CR18","volume-title":"Database systems: the complete book","author":"H Garcia-Molina","year":"2009","unstructured":"Garcia-Molina H, Ullman JD, Widom J (2009) Database systems: the complete book. Pearson Education, Harlow"},{"issue":"2","key":"222_CR19","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1109\/TSC.2011.10","volume":"5","author":"S Hall\u00e9","year":"2012","unstructured":"Hall\u00e9 S, Villemaire R (2012) Runtime enforcement of web service message contracts with data. IEEE Trans Serv Comput 5(2):192\u2013206","journal-title":"IEEE Trans Serv Comput"},{"issue":"4","key":"222_CR20","doi-asserted-by":"crossref","first-page":"880","DOI":"10.1145\/502090.502100","volume":"48","author":"L Hella","year":"2001","unstructured":"Hella L, Libkin L, Nurmonen J, Wong L (2001) Logics with aggregate operators. J ACM 48(4):880\u2013907","journal-title":"J ACM"},{"issue":"4","key":"222_CR21","doi-asserted-by":"crossref","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R Koymans","year":"1990","unstructured":"Koymans R (1990) Specifying real-time properties with metric temporal logic. Real-Time Syst 2(4):255\u2013299","journal-title":"Real-Time Syst"},{"issue":"3","key":"222_CR22","doi-asserted-by":"crossref","first-page":"208","DOI":"10.1007\/BF01211555","volume":"5","author":"O Owe","year":"1993","unstructured":"Owe O (1993) Partial logics reconsidered: a conservative approach. Form Asp Comput 5(3):208\u2013223","journal-title":"Form Asp Comput"},{"key":"222_CR23","unstructured":"PostgreSQL Global Development Group. PostgreSQL, Version 9.1.4, 2012. http:\/\/www.postgresql.org\/"},{"key":"222_CR24","doi-asserted-by":"crossref","unstructured":"Sistla AP, Wolfson O (1995) Temporal conditions and integrity constraints in active database systems. In: Proceedings of the 1995 ACM SIGMOD international conference on management of data, pp 269\u2013280","DOI":"10.1145\/223784.223844"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-015-0222-7.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-015-0222-7\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-015-0222-7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,30]],"date-time":"2019-05-30T22:05:54Z","timestamp":1559253954000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-015-0222-7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,1,31]]},"references-count":24,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2015,6]]}},"alternative-id":["222"],"URL":"https:\/\/doi.org\/10.1007\/s10703-015-0222-7","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"value":"0925-9856","type":"print"},{"value":"1572-8102","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,1,31]]}}}