{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,4]],"date-time":"2022-04-04T08:57:23Z","timestamp":1649062643248},"reference-count":39,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2015,4,14]],"date-time":"2015-04-14T00:00:00Z","timestamp":1428969600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Cloud Comp"],"published-print":{"date-parts":[[2015,12]]},"DOI":"10.1186\/s13677-015-0032-x","type":"journal-article","created":{"date-parts":[[2015,4,13]],"date-time":"2015-04-13T12:26:13Z","timestamp":1428927973000},"update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["MapReduce for parallel trace validation of LTL properties"],"prefix":"10.1186","volume":"4","author":[{"given":"Sylvain","family":"Hall\u00e9","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maxime","family":"Soucy-Boivin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,4,14]]},"reference":[{"key":"32_CR1","doi-asserted-by":"crossref","unstructured":"B\u00f6hlen MH, Chomicki J, Snodgrass RT, Toman D (1996) Querying TSQL2 Databases with Temporal Logic. In: Apers PMG, Bouzeghoub M, Gardarin G (eds)EDBT Volume 1057 of Lecture Notes in Computer Science, 325\u2013341.. Springer, Heidelberg. B\u00f6hlen MH, Chomicki J, Snodgrass RT, Toman D (1996) Querying TSQL2 Databases with Temporal Logic. In: Apers PMG, Bouzeghoub M, Gardarin G (eds)EDBT Volume 1057 of Lecture Notes in Computer Science, 325\u2013341.. Springer, Heidelberg.","DOI":"10.1007\/BFb0014161"},{"key":"32_CR2","doi-asserted-by":"crossref","unstructured":"Hall\u00e9 S, Villemaire R (2008) XML Methods for Validation of Temporal Properties on Message Traces With Data. In: Meersman R Tari Z (eds)CoopIS\/DOA\/ODBASE, Volume 5331 of Lecture Notes in Computer Science, 337\u2013353.. Springer, Heidelberg. Hall\u00e9 S, Villemaire R (2008) XML Methods for Validation of Temporal Properties on Message Traces With Data. In: Meersman R Tari Z (eds)CoopIS\/DOA\/ODBASE, Volume 5331 of Lecture Notes in Computer Science, 337\u2013353.. Springer, Heidelberg.","DOI":"10.1007\/978-3-540-88871-0_23"},{"key":"32_CR3","doi-asserted-by":"crossref","unstructured":"Basin DA, Klaedtke F, M\u00fcller S (2010) Policy Monitoring in First-Order Temporal Logic. In: Touili T, Cook B, Jackson P (eds)CAV, Volume 6174 of Lecture Notes in Computer Science, 1\u201318.. Springer, Heidelberg. Basin DA, Klaedtke F, M\u00fcller S (2010) Policy Monitoring in First-Order Temporal Logic. In: Touili T, Cook B, Jackson P (eds)CAV, Volume 6174 of Lecture Notes in Computer Science, 1\u201318.. Springer, Heidelberg.","DOI":"10.1007\/978-3-642-14295-6_1"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"Verbeek HMW, Buijs JCAM, van Dongen BF, van der Aalst WMP XES (2010) ESame, and ProM 6. In: Soffer P Proper E (eds)CAiSE Forum, Volume 72 of Lecture Notes in Business Information Processing, 60\u201375.. Springer, Heidelberg. Verbeek HMW, Buijs JCAM, van Dongen BF, van der Aalst WMP XES (2010) ESame, and ProM 6. In: Soffer P Proper E (eds)CAiSE Forum, Volume 72 of Lecture Notes in Business Information Processing, 60\u201375.. Springer, Heidelberg.","DOI":"10.1007\/978-3-642-17722-4_5"},{"issue":"11","key":"32_CR5","doi-asserted-by":"crossref","first-page":"365","DOI":"10.2514\/1.49356","volume":"7","author":"H Barringer","year":"2010","unstructured":"Barringer H, Groce A, Havelund K, Smith M: Formal Analysis of Log Files. J Aerospace Comput Inf Commun 2010, 7(11):365\u2013390. 10.2514\/1.49356","journal-title":"J Aerospace Comput Inf Commun"},{"issue":"3","key":"32_CR6","doi-asserted-by":"crossref","first-page":"675","DOI":"10.1093\/logcom\/exn076","volume":"20","author":"H Barringer","year":"2010","unstructured":"Barringer H, Rydeheard D, Havelund K: Rule Systems for Run-Time Monitoring: From Eagle to RuleR. J Logic Comput 2010, 20(3):675\u2013706. 10.1093\/logcom\/exn076","journal-title":"J Logic Comput"},{"key":"32_CR7","first-page":"1","volume-title":"FASE, Volume 7212 of Lecture Notes in Computer Science","author":"WMP van der Aalst","year":"2012","unstructured":"van der Aalst WMP: Distributed Process Discovery and Conformance Checking. In FASE, Volume 7212 of Lecture Notes in Computer Science. Edited by: de Lara J, Zisman A. Springer, Heidelberg; 2012:1\u201325."},{"key":"32_CR8","first-page":"137","volume-title":"OSDI","author":"J Dean","year":"2004","unstructured":"Dean J, Ghemawat S: MapReduce: Simplified Data Processing on Large Clusters. In OSDI. USENIX, Berkeley, CA; 2004:137\u2013150."},{"key":"32_CR9","unstructured":"Page L, Brin S, Motwani R, Winograd T (1999) The PageRank Citation Ranking Bringing Order to the Web. Technical Report 1999\u201366, Stanford InfoLab 1999, . [ http:\/\/ilpubs.stanford.edu:8090\/422\/ ] Page L, Brin S, Motwani R, Winograd T (1999) The PageRank Citation Ranking Bringing Order to the Web. Technical Report 1999-66, Stanford InfoLab 1999, []."},{"key":"32_CR10","unstructured":"An act to protect investors by improving the accuracy and reliability of corporate disclosures made pursuant to the securities laws, and for other purposes (2002). [U.S. Pub.L. 107\u2013204, 116 Stat. 745]. An act to protect investors by improving the accuracy and reliability of corporate disclosures made pursuant to the securities laws, and for other purposes (2002). [U.S. Pub.L. 107-204, 116 Stat. 745]."},{"key":"32_CR11","unstructured":"Payment Card Industry Data Security Standard, version 2.0(2010). . [ https:\/\/www.pcisecuritystandards.org\/security_standards\/pci_dss.shtml ] Payment Card Industry Data Security Standard, version 2.0(2010). []."},{"key":"32_CR12","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/978-3-540-72912-9_2","volume-title":"Test and Analysis of Web Services","author":"WMP van der Aalst","year":"2007","unstructured":"van der Aalst WMP, Pesic M: Specifying and Monitoring Service Flows: Making Web Services Process-Aware. In Test and Analysis of Web Services. Edited by: Baresi L, Nitto ED. Springer, Heidelberg; 2007:11\u201355. 10.1007\/978-3-540-72912-9_2"},{"issue":"2","key":"32_CR13","first-page":"192","volume":"5","author":"R Villemaire","year":"2011","unstructured":"Villemaire R: Hall\u00e9 S: Runtime Enforcement of Web Service Message Contracts with Data. IEEE Trans Serv Comput 2011, 5(2):192\u2013206.","journal-title":"IEEE Trans Serv Comput"},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"Naldurg P, Sen K, Thati P (2004) A Temporal Logic Based Framework for Intrusion Detection. In: de Frutos-Escrig D N\u00fa\u00f1ez M (eds)FORTE, Volume 3235 of Lecture Notes in Computer Science, 359\u2013376.. Springer, Heidelberg. Naldurg P, Sen K, Thati P (2004) A Temporal Logic Based Framework for Intrusion Detection. In: de Frutos-Escrig D N\u00fa\u00f1ez M (eds)FORTE, Volume 3235 of Lecture Notes in Computer Science, 359\u2013376.. Springer, Heidelberg.","DOI":"10.1007\/978-3-540-30232-2_23"},{"issue":"2","key":"32_CR15","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1007\/s10515-005-6205-y","volume":"12","author":"G Rosu","year":"2005","unstructured":"Rosu G, Havelund K: Rewriting-Based Techniques for Runtime Verification. Autom Softw Eng 2005, 12(2):151\u2013197. 10.1007\/s10515-005-6205-y","journal-title":"Autom Softw Eng"},{"key":"32_CR16","first-page":"224","volume-title":"MESA","author":"T Reinbacher","year":"2012","unstructured":"Reinbacher T, Geist J, Moosbrugger P, Horauer M, Steininger A: Parallel runtime verification of temporal properties for embedded software. In MESA. IEEE, New York, NY; 2012:224\u2013231."},{"key":"32_CR17","unstructured":"Medhat R, Joshi Y, Bonakdarpour B, Fischmeister S (2014) Parallelized Runtime Verification of First-order LTL Specifications. Tech. Rep. CS-2014\u201311, University of Waterloo. Medhat R, Joshi Y, Bonakdarpour B, Fischmeister S (2014) Parallelized Runtime Verification of First-order LTL Specifications. Tech. Rep. CS-2014-11, University of Waterloo."},{"key":"32_CR18","doi-asserted-by":"crossref","unstructured":"Berkovich S (2012) Parallel Run-Time Verification. Master\u2019s thesis, . [ https:\/\/uwspace.uwaterloo.ca\/bitstream\/handle\/10012\/7252\/Berkovich_Shay.pdf ] Berkovich S (2012) Parallel Run-Time Verification. Master\u2019s thesis, [].","DOI":"10.1109\/IPDPS.2013.105"},{"key":"32_CR19","unstructured":"Elmas T, Okur S, Tasiran S (2011) Rethinking Runtime Verification on Hundreds of Cores: Challenges and Opportunities. Tech. Rep. UCB\/EECS-2011\u201374, EECS Department, University of California, Berkeley . [ http:\/\/www.eecs.berkeley.edu\/Pubs\/TechRpts\/2011\/EECS-2011\u201374.html ] Elmas T, Okur S, Tasiran S (2011) Rethinking Runtime Verification on Hundreds of Cores: Challenges and Opportunities. Tech. Rep. UCB\/EECS-2011-74, EECS Department, University of California, Berkeley []."},{"key":"32_CR20","unstructured":"Snare: gathering and filtering IT-event data (2014). . http:\/\/www.intersectalliance.com\/projects\/index.html Snare: gathering and filtering IT-event data (2014). ."},{"key":"32_CR21","unstructured":"ManageEngine: Network Management Software (2014). . http:\/\/www.manageengine.com ManageEngine: Network Management Software (2014). ."},{"key":"32_CR22","unstructured":"Splunk: Operational Intelligence, Log Management, Application Management, Enterprise Security and Compliance (2014). . http:\/\/www.splunk.com Splunk: Operational Intelligence, Log Management, Application Management, Enterprise Security and Compliance (2014). ."},{"key":"32_CR23","doi-asserted-by":"crossref","unstructured":"Garavel H, Mateescu R (2004) SEQ.OPEN: A Tool for Efficient Trace-Based Verification. In: Graf S Mounier L (eds)SPIN, Volume 2989 of Lecture Notes in Computer Science, 151\u2013157.. Springer, Heidelberg. Garavel H, Mateescu R (2004) SEQ.OPEN: A Tool for Efficient Trace-Based Verification. In: Graf S Mounier L (eds)SPIN, Volume 2989 of Lecture Notes in Computer Science, 151\u2013157.. Springer, Heidelberg.","DOI":"10.1007\/978-3-540-24732-6_11"},{"key":"32_CR24","unstructured":"Amazon Web Services (2008) Building GrepTheWeb in the Cloud, Part 1: Cloud Architectures. Tech. rep . [ http:\/\/aws.amazon.com\/articles\/1632 ] Amazon Web Services (2008) Building GrepTheWeb in the Cloud, Part 1: Cloud Architectures. Tech. rep []."},{"key":"32_CR25","doi-asserted-by":"crossref","unstructured":"Lee Y, Kang W, Lee Y (2011) A Hadoop-Based Packet Trace Processing Tool. In: Domingo-Pascual J, Shavitt Y, Uhlig S (eds)TMA, Volume 6613 of Lecture Notes in Computer Science, 51\u201363.. Springer, Heidelberg. Lee Y, Kang W, Lee Y (2011) A Hadoop-Based Packet Trace Processing Tool. In: Domingo-Pascual J, Shavitt Y, Uhlig S (eds)TMA, Volume 6613 of Lecture Notes in Computer Science, 51\u201363.. Springer, Heidelberg.","DOI":"10.1007\/978-3-642-20305-3_5"},{"key":"32_CR26","unstructured":"Bauer A, Falcone YDecentralized LTL Monitoring. Tech. Rep arXiv:1111.5133v3 2011. Bauer A, Falcone YDecentralized LTL Monitoring. Tech. Rep arXiv:1111.5133v3 2011."},{"key":"32_CR27","unstructured":"Hadoop web site (2014). . http:\/\/hadoop.apache.org Hadoop web site (2014). ."},{"issue":"4","key":"32_CR28","first-page":"11","volume":"40","author":"KH Lee","year":"2011","unstructured":"Lee KH, Lee YJ, Choi H, Chung YD, Moon B: Parallel data processing with MapReduce: a survey. SIGMOD Record 2011, 40(4):11\u201320. 10.1145\/2094114.2094118","journal-title":"SIGMOD Record"},{"key":"32_CR29","doi-asserted-by":"crossref","unstructured":"Kuhtz L, Finkbeiner B (2009) LTL Path Checking Is Efficiently Parallelizable. In: Albers S, Marchetti-Spaccamela A, Matias Y, Nikoletseas SE, Thomas W (eds)ICALP (2), Volume 5556 of Lecture Notes in Computer Science, 235\u2013246.. Springer, Heidelberg. Kuhtz L, Finkbeiner B (2009) LTL Path Checking Is Efficiently Parallelizable. In: Albers S, Marchetti-Spaccamela A, Matias Y, Nikoletseas SE, Thomas W (eds)ICALP (2), Volume 5556 of Lecture Notes in Computer Science, 235\u2013246.. Springer, Heidelberg.","DOI":"10.1007\/978-3-642-02930-1_20"},{"key":"32_CR30","doi-asserted-by":"crossref","unstructured":"Pnueli A, Zaks A (2008) On the Merits of Temporal Testers. In: Grumberg O Veith H (eds)25 Years of Model Checking, Volume 5000 of Lecture Notes in Computer Science, 172\u2013195.. Springer, Heidelberg. Pnueli A, Zaks A (2008) On the Merits of Temporal Testers. In: Grumberg O Veith H (eds)25 Years of Model Checking, Volume 5000 of Lecture Notes in Computer Science, 172\u2013195.. Springer, Heidelberg.","DOI":"10.1007\/978-3-540-69850-0_11"},{"key":"32_CR31","doi-asserted-by":"crossref","unstructured":"Harel D, Kozen D, Parikh R (1980) Process Logic: Expressiveness, Decidability, Completeness In: FOCS, IEEE Computer Society, 129\u2013142, Los Alamitos, CA. Harel D, Kozen D, Parikh R (1980) Process Logic: Expressiveness, Decidability, Completeness In: FOCS, IEEE Computer Society, 129\u2013142, Los Alamitos, CA.","DOI":"10.1109\/SFCS.1980.35"},{"key":"32_CR32","unstructured":"Kimchi O (2013) How to Set Up a Hadoop Cluster Using Oracle Solaris Zones. . [ http:\/\/www.oracle.com\/technetwork\/articles\/servers-storage-admin\/howto-setup-hadoop-zones-1899993.html ] Kimchi O (2013) How to Set Up a Hadoop Cluster Using Oracle Solaris Zones. []."},{"issue":"2","key":"32_CR33","doi-asserted-by":"crossref","first-page":"192","DOI":"10.1109\/TSC.2011.10","volume":"5","author":"R Villemaire","year":"2012","unstructured":"Villemaire R: Hall\u00e9 S: Runtime Enforcement of Web Service Message Contracts with Data. IEEE T Serv Comput 2012, 5(2):192\u2013206. 10.1109\/TSC.2011.10","journal-title":"IEEE T Serv Comput"},{"key":"32_CR34","first-page":"285","volume-title":"EDOCW","author":"J Vallet","year":"2013","unstructured":"Vallet J, Mrad A, Hall\u00e9 S: The Relational Database Engine: an Efficient Validator of Temporal Properties on Event Traces. In EDOCW. IEEE Computer Society, Los Alamitos, CA; 2013:285\u2013294."},{"key":"32_CR35","unstructured":"MrSim project page. (2014). . http:\/\/github.com\/sylvainhalle\/MrSim MrSim project page. (2014). ."},{"key":"32_CR36","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/1860702.1860704","volume":"39","author":"JM Hellerstein","year":"2010","unstructured":"Hellerstein JM: The declarative imperative: experiences and conjectures in distributed logic. SIGMOD Record 2010, 39: 5\u201319. 10.1145\/1860702.1860704","journal-title":"SIGMOD Record"},{"key":"32_CR37","first-page":"409","volume-title":"NOMS","author":"G Su","year":"2012","unstructured":"Su G, Iyengar A: A highly available transaction processing system with non-disruptive failure handling. In NOMS. IEEE, New York, NY; 2012:409\u2013416."},{"key":"32_CR38","unstructured":"Eisner C, Fisman D (2006) A Practical Introduction to PSL.. Springer, Heidelberg. Eisner C, Fisman D (2006) A Practical Introduction to PSL.. Springer, Heidelberg."},{"key":"32_CR39","unstructured":"\u00c5qvist L (1994) Deontic Logic, Kluwer, Alphen aan den Rijn. \u00c5qvist L (1994) Deontic Logic, Kluwer, Alphen aan den Rijn."}],"container-title":["Journal of Cloud Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13677-015-0032-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/s13677-015-0032-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s13677-015-0032-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,23]],"date-time":"2019-08-23T06:52:32Z","timestamp":1566543152000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.journalofcloudcomputing.com\/content\/4\/1\/8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,4,14]]},"references-count":39,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2015,12]]}},"alternative-id":["32"],"URL":"https:\/\/doi.org\/10.1186\/s13677-015-0032-x","relation":{},"ISSN":["2192-113X"],"issn-type":[{"value":"2192-113X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,4,14]]},"article-number":"8"}}