{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T06:31:42Z","timestamp":1772519502672,"version":"3.50.1"},"reference-count":41,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T00:00:00Z","timestamp":1558137600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"},{"start":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T00:00:00Z","timestamp":1558137600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["825480"],"award-info":[{"award-number":["825480"]}],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100010661","name":"Horizon 2020 Framework Programme","doi-asserted-by":"publisher","award":["825040"],"award-info":[{"award-number":["825040"]}],"id":[{"id":"10.13039\/100010661","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Big Data"],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1186\/s40537-019-0199-y","type":"journal-article","created":{"date-parts":[[2019,5,18]],"date-time":"2019-05-18T05:38:38Z","timestamp":1558157918000},"update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["Verifying big data topologies by-design: a semi-automated approach"],"prefix":"10.1186","volume":"6","author":[{"given":"Marcello M.","family":"Bersani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Marconi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1230-8961","authenticated-orcid":false,"given":"Damian A.","family":"Tamburri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrea","family":"Nodari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pooyan","family":"Jamshidi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,18]]},"reference":[{"key":"199_CR1","unstructured":"http:\/\/www.gartner.com\/newsroom\/id\/2637615\n                    \n                  . Accessed 16 Dec 2013."},{"key":"199_CR2","unstructured":"http:\/\/spark.apache.org\/\n                    \n                  . Accessed 1 Dec 2018."},{"key":"199_CR3","unstructured":"https:\/\/hadoop.apache.org\/\n                    \n                  . Accessed 1 Dec 2018."},{"key":"199_CR4","unstructured":"https:\/\/github.com\/maelstromdat\/OSTIA\n                    \n                  . Accessed 1 Dec 2018."},{"key":"199_CR5","unstructured":"http:\/\/www.dice-h2020.eu\/\n                    \n                  . Accessed 1 Dec 2018."},{"key":"199_CR6","unstructured":"https:\/\/github.com\/socialsensor\n                    \n                  . Accessed 1 Dec 2018."},{"key":"199_CR7","unstructured":"https:\/\/github.com\/DigitalPebble\/storm-crawler\n                    \n                  . Accessed 1 Dec 2018."},{"key":"199_CR8","unstructured":"https:\/\/github.com\/sensorstorm\/StormCV\n                    \n                  . Accessed 1 Dec 2018."},{"key":"199_CR9","unstructured":"https:\/\/github.com\/DigitalPebble\n                    \n                  . Accessed 1 Dec 2018."},{"key":"199_CR10","doi-asserted-by":"crossref","unstructured":"Balalaie A, Heydarnoori A, Jamshidi P. Microservices architecture enables devops: an experience report on migration to a cloud-native architecture. 2016.","DOI":"10.1109\/MS.2016.64"},{"key":"199_CR11","first-page":"365","volume-title":"Communications in Computer and Information Science","author":"Marcello M. Bersani","year":"2015","unstructured":"Bersani MM, Distefano S, Ferrucci L, Mazzara M. A timed semantics of workflows. In: ICSOFT (Selected Papers), communications in computer and information Science, vol. 555. Berlin: Springer; 2014. p. 365\u201383."},{"key":"199_CR12","doi-asserted-by":"crossref","unstructured":"Bersani MM, Marconi F, Tamburri DA, Jamshidi P, Nodari A. Continuous architecting of stream-based systems. In: Muccini H, Harper EK, editors. Proceedings of the 25th IFIP\/IEEE working conference on software architectures. Washington, DC: IEEE Computer Society; 2016. p. 131\u201342.","DOI":"10.1109\/WICSA.2016.26"},{"issue":"2","key":"199_CR13","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/s00236-015-0229-y","volume":"53","author":"Marcello M. Bersani","year":"2015","unstructured":"Bersani MM, Rossi M, San\u00a0Pietro P. A tool for deciding the satisfiability of continuous-time metric temporal logic. Acta Informatica. 2015:1\u201336. \n                    https:\/\/doi.org\/10.1007\/s00236-015-0229-y\n                    \n                  .","journal-title":"Acta Informatica"},{"key":"199_CR14","unstructured":"Brunnert A, van Hoorn A, Willnecker F, Danciu A, Hasselbring W, Heger C, Herbst N, Jamshidi P, Jung R, von Kistowski J, et\u00a0al. Performance-oriented devops: a research agenda. 2015. arXiv preprint \n                    arXiv:1508.04752\n                    \n                  ."},{"key":"199_CR15","doi-asserted-by":"publisher","unstructured":"Camilli M. Formal verification problems in a big data world: towards a mighty synergy. In: Companion proceedings of the 36th international conference on software engineering, ICSE companion. New York: ACM; 2014. p. 638\u201341. \n                    https:\/\/doi.org\/10.1145\/2591062.2591088","DOI":"10.1145\/2591062.2591088"},{"key":"199_CR16","doi-asserted-by":"crossref","unstructured":"Chandrasekaran K, Santurkar S, Arora A. Stormgen - a domain specific language to create ad-hoc storm topologies. In: FedCSIS. 2014. p. 1621\u20138.","DOI":"10.15439\/2014F278"},{"key":"199_CR17","volume-title":"Evaluating software architectures: methods and case studies","author":"P Clements","year":"2001","unstructured":"Clements P, Kazman R, Klein M. Evaluating software architectures: methods and case studies. Boston: Addison-Wesley; 2001."},{"issue":"3","key":"199_CR18","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1016\/j.ic.2006.09.006","volume":"205","author":"S Demri","year":"2007","unstructured":"Demri S, D\u2019Souza D. An automata-theoretic approach to constraint LTL. Inf Comput. 2007;205(3):380\u2013415.","journal-title":"Inf Comput"},{"key":"199_CR19","doi-asserted-by":"publisher","unstructured":"Di Nitto E, Jamshidi P, Guerriero M, Spais I, Tamburri DA. A software architecture framework for quality-aware devops. In: Proceedings of the 2nd international workshop on quality-aware DevOps, QUDOS@ISSTA 2016, Saarbr\u00fccken, Germany, July 21, 2016. 2016. p. 12\u20137. \n                    https:\/\/doi.org\/10.1145\/2945408.2945411\n                    \n                  .","DOI":"10.1145\/2945408.2945411"},{"key":"199_CR20","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.cosrev.2015.05.002","volume":"17","author":"CK Emani","year":"2015","unstructured":"Emani CK, Cullot N, Nicolle C. Understandable big data: a survey. Comput Sci Rev. 2015;17:70\u201381.","journal-title":"Comput Sci Rev"},{"key":"199_CR21","doi-asserted-by":"crossref","unstructured":"Evans R. Apache storm, a hands on tutorial. In: IC2E. New York: IEEE; 2015. p. 2.","DOI":"10.1109\/IC2E.2015.67"},{"key":"199_CR22","volume-title":"Model driven architecture: applying MDA to enterprise computing","author":"D Frankel","year":"2002","unstructured":"Frankel D. Model driven architecture: applying MDA to enterprise computing. New York: Wiley; 2002."},{"issue":"2","key":"199_CR23","doi-asserted-by":"publisher","first-page":"6:1","DOI":"10.1145\/1667062.1667063","volume":"42","author":"CA Furia","year":"2010","unstructured":"Furia CA, Mandrioli D, Morzenti A, Rossi M. Modeling time in computing: a taxonomy and a comparative survey. ACM Comput Surv. 2010;42(2):6:1\u201359.","journal-title":"ACM Comput Surv"},{"issue":"3\/4","key":"199_CR24","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1147\/JRD.2013.2243535","volume":"57","author":"M Hirzel","year":"2013","unstructured":"Hirzel M, Andrade H, Gedik B, Jacques-Silva G, Khandekar R, Kumar V, Mendell MP, Nasgaard H, Schneider S, Soul\u00e9 R, Wu KL. Ibm streams processing language: analyzing big data in motion. IBM J Res Dev. 2013;57(3\/4):7.","journal-title":"IBM J Res Dev"},{"issue":"1","key":"199_CR25","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1186\/s40537-017-0088-1","volume":"4","author":"A Kalantari","year":"2017","unstructured":"Kalantari A, Kamsin A, Kamaruddin H, Ale Ebrahim N, Gani A, Ebrahimi A, Shamshirband S. A bibliometric approach to tracking big data research trends. J Big Data. 2017;4(1):30. \n                    https:\/\/doi.org\/10.1186\/s40537-017-0088-1\n                    \n                  .","journal-title":"J Big Data"},{"key":"199_CR26","volume-title":"Content analysis: an introduction to its methodology","author":"K Krippendorff","year":"2004","unstructured":"Krippendorff K. Content analysis: an introduction to its methodology. 2nd ed. Thousand Oaks: Sage Publications; 2004.","edition":"2"},{"key":"199_CR27","unstructured":"Marconi F, Bersani MM, Erascu M, Rossi M. Towards the formal verification of DIA through MTL models. In: Lecture notes in computer science."},{"key":"199_CR28","doi-asserted-by":"publisher","DOI":"10.4135\/9781412984287","volume-title":"Focus groups as qualitative research","author":"DL Morgan","year":"1997","unstructured":"Morgan DL. Focus groups as qualitative research. Thousand Oaks: Sage Publications; 1997."},{"issue":"1","key":"199_CR29","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1186\/s40537-015-0031-2","volume":"2","author":"E Olshannikova","year":"2015","unstructured":"Olshannikova E, Ometov A, Koucheryavy Y, Olsson T. Visualizing big data with augmented and virtual reality: challenges and research agenda. J Big Data. 2015;2(1):22. \n                    https:\/\/doi.org\/10.1186\/s40537-015-0031-2\n                    \n                  .","journal-title":"J Big Data"},{"key":"199_CR30","first-page":"559","volume-title":"APWeb, Lecture notes in computer science","author":"S Peng","year":"2014","unstructured":"Peng S, Gu J, Wang XS, Rao W, Yang M, Cao Y. Cost-based optimization of logical partitions for a query workload in a hadoop data warehouse. In: Chen L, Jia Y, Sellis TK, Liu G, editors. APWeb, Lecture notes in computer science, vol. 8709. Berlin: Springer; 2014. p. 559\u201367."},{"key":"199_CR31","doi-asserted-by":"publisher","unstructured":"Pnueli A. The temporal logic of programs. In: Proceedings of the 18th annual symposium on foundations of computer science, SFCS \u201977. Washington, DC: IEEE Computer Society; 1977. p. 46\u201357. \n                    https:\/\/doi.org\/10.1109\/SFCS.1977.32","DOI":"10.1109\/SFCS.1977.32"},{"issue":"3","key":"199_CR32","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1145\/2491509.2491514","volume":"22","author":"M Pradella","year":"2013","unstructured":"Pradella M, Morzenti A, Pietro PS. Bounded satisfiability checking of metric temporal logic specifications. ACM Trans Softw Eng Methodol. 2013;22(3):201\u20132054. \n                    https:\/\/doi.org\/10.1145\/2491509.2491514\n                    \n                  .","journal-title":"ACM Trans Softw Eng Methodol"},{"key":"199_CR33","doi-asserted-by":"crossref","unstructured":"Quartulli M, Lozano J, Olaizola IG. Beyond the lambda architecture: effective scheduling for large scale eo information mining and interactive thematic mapping. In: IGARSS. 2015. p. 1492\u20135.","DOI":"10.1109\/IGARSS.2015.7326062"},{"key":"199_CR34","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"A Rajeev","year":"1994","unstructured":"Rajeev A, Dill DL. A theory of timed automata. Theor Comput Sci. 1994;126:183\u2013235.","journal-title":"Theor Comput Sci"},{"key":"199_CR35","volume-title":"Statistical and machine-learning data mining: techniques for better predictive modeling and analysis of big data","author":"B Ratner","year":"2012","unstructured":"Ratner B. Statistical and machine-learning data mining: techniques for better predictive modeling and analysis of big data. Boca Raton: CRC Press Inc; 2012."},{"key":"199_CR36","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1016\/j.future.2016.06.005","volume":"67","author":"V Sn\u00e1\u0161el","year":"2017","unstructured":"Sn\u00e1\u0161el V, Nowakov\u00e1 J, Xhafa F, Barolli L. Geometrical and topological approaches to big data. Futur Gener Comput Syst. 2017;67:286\u201396. \n                    https:\/\/doi.org\/10.1016\/j.future.2016.06.005\n                    \n                  .","journal-title":"Futur Gener Comput Syst"},{"issue":"7","key":"199_CR37","doi-asserted-by":"publisher","first-page":"4533","DOI":"10.3390\/e17074533","volume":"17","author":"Y Tamura","year":"2015","unstructured":"Tamura Y, Yamada S. Reliability analysis based on a jump diffusion model with two wiener processes for cloud computing with big data. Entropy. 2015;17(7):4533\u201346.","journal-title":"Entropy"},{"key":"199_CR38","unstructured":"Tommaso Di\u00a0Noia MM, Sciascio ED. A computational model for mapreduce job flow. 2014."},{"key":"199_CR39","doi-asserted-by":"crossref","unstructured":"Toshniwal A, Taneja S, Shukla A, Ramasamy K, Patel JM, Kulkarni S, Jackson J, Gade K, Fu M, Donham J et\u00a0al. Storm@ twitter. In: Proceedings of the 2014 ACM SIGMOD international conference on management of data. New York: ACM; 2014. p. 147\u201356.","DOI":"10.1145\/2588555.2595641"},{"issue":"5","key":"199_CR40","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1109\/MNET.2015.7293302","volume":"29","author":"D Wang","year":"2015","unstructured":"Wang D, Liu J. Optimizing big data processing performance in the public cloud: opportunities and approaches. IEEE Netw. 2015;29(5):31\u20135.","journal-title":"IEEE Netw"},{"key":"199_CR41","doi-asserted-by":"publisher","unstructured":"Yang F, Su W, Zhu H, Li Q. Formalizing mapreduce with csp. In: Proceedings of ECBS. Washington, DC: IEEE Computer Society; 2010. p. 358\u201367. \n                    https:\/\/doi.org\/10.1109\/ECBS.2010.50\n                    \n                  .","DOI":"10.1109\/ECBS.2010.50"}],"container-title":["Journal of Big Data"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s40537-019-0199-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1186\/s40537-019-0199-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1186\/s40537-019-0199-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,5,16]],"date-time":"2020-05-16T23:04:39Z","timestamp":1589670279000},"score":1,"resource":{"primary":{"URL":"https:\/\/journalofbigdata.springeropen.com\/articles\/10.1186\/s40537-019-0199-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,5,18]]},"references-count":41,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["199"],"URL":"https:\/\/doi.org\/10.1186\/s40537-019-0199-y","relation":{},"ISSN":["2196-1115"],"issn-type":[{"value":"2196-1115","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,5,18]]},"assertion":[{"value":"29 January 2019","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"26 April 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 May 2019","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}],"article-number":"40"}}