{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T10:00:07Z","timestamp":1769940007094,"version":"3.49.0"},"reference-count":24,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2015,3,10]],"date-time":"2015-03-10T00:00:00Z","timestamp":1425945600000},"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":["World Wide Web"],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1007\/s11280-015-0334-4","type":"journal-article","created":{"date-parts":[[2015,3,9]],"date-time":"2015-03-09T03:52:36Z","timestamp":1425873156000},"page":"1717-1736","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["A formal method for rule analysis and validation in distributed data aggregation service"],"prefix":"10.1007","volume":"18","author":[{"given":"Vlad","family":"Serbanescu","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4566-1545","authenticated-orcid":false,"given":"Florin","family":"Pop","sequence":"additional","affiliation":[]},{"given":"Valentin","family":"Cristea","sequence":"additional","affiliation":[]},{"given":"Gabriel","family":"Antoniu","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,3,10]]},"reference":[{"key":"334_CR1","first-page":"S08002","volume":"3","author":"K Aamodt","year":"2008","unstructured":"Aamodt, K., et al.: The ALICE experiment at the CERN LHC. JINST 3, S08002 (2008)","journal-title":"JINST"},{"key":"334_CR2","doi-asserted-by":"crossref","unstructured":"Bessani, A., Correia, M., Quaresma, B., Andr\u00e9, F., Sousa, P.: Depsky: dependable and secure storage in a cloud-of-clouds. In: Proceedings of the sixth conference on Computer systems, EuroSys \u201911, pp 31\u201346. ACM, New York, NY, USA (2011)","DOI":"10.1145\/1966445.1966449"},{"key":"334_CR3","doi-asserted-by":"crossref","unstructured":"Brampton, A., MacQuire, A., Rai, I.A., Race, N.J.P., Mathy, L.: Stealth distributed hash table: a robust and flexible super-peered dht. In: Proceedings of the 2006 ACM CoNEXT conference, CoNEXT \u201906, pp 19:1\u201319:12. ACM, New York, NY, USA (2006)","DOI":"10.1145\/1368436.1368462"},{"key":"334_CR4","doi-asserted-by":"crossref","unstructured":"Cappello, F., Caron, E., Dayde, M., Desprez, F., Jegou, Y., Primet, P., Jeannot, E., Lanteri, S., Leduc, J., Melab, N., Mornet, G., Namyst, R., Quetier, B., Richard, O.: Grid\u20195000: A large scale and highly reconfigurable grid experimental testbed. In: Proceedings of the 6th IEEE\/ACM International Workshop on Grid Computing, GRID \u201905, pp 99\u2013106. IEEE Computer Society, Washington, DC, USA (2005)","DOI":"10.1109\/GRID.2005.1542730"},{"key":"334_CR5","doi-asserted-by":"crossref","first-page":"4:1","DOI":"10.1145\/1365815.1365816","volume":"26","author":"F Chang","year":"2008","unstructured":"Chang, F., Dean, J., Ghemawat, S., Hsieh, W.C., Wallach, D.A., Burrows, M., Chandra, T., Fikes, A., Gruber, R.E.: Bigtable: A distributed storage system for structured data. ACM Trans. Comput. Syst. 26, 4:1\u20134:26 (2008)","journal-title":"ACM Trans. Comput. Syst."},{"key":"334_CR6","doi-asserted-by":"crossref","unstructured":"Chen, J., Sehrish, S., Liao, W.-K., Choudhary, A., Schuchardt, K.: Improving the average response time in collective i\/o. In: Recent Advances in the Message Passing Interface, LNCS 6090, pp 71\u201373 (2011)","DOI":"10.1007\/978-3-642-24449-0_10"},{"key":"334_CR7","doi-asserted-by":"crossref","unstructured":"Glatard, T., Montagnat, J., Pennec, X.: Efficient services composition for grid-enabled data-intensive applications. In: Proceedings of the IEEE International Symposium on High Performance and Distributed Computing, pp 333\u2013334 (2006)","DOI":"10.1109\/HPDC.2006.1652170"},{"key":"334_CR8","doi-asserted-by":"crossref","unstructured":"Gorgan, D., Bacu, V., Rodila, D., Pop, F., Petcu, D.: Experiments on ESIP\u2014Environment oriented satellite data processing platform. Earth Science Informatics 3(4), 297\u2013308 (2010)","DOI":"10.1007\/s12145-010-0065-0"},{"key":"334_CR9","doi-asserted-by":"crossref","unstructured":"Hummer, W., Leitner, P., Dustdar, S.: Ws-aggregation: distributed aggregation of web services data. In: Proceedings of the 2011 ACM Symposium on Applied Computing, SAC \u201911, pp 1590\u20131597. ACM, New York, NY, USA (2011)","DOI":"10.1145\/1982185.1982520"},{"key":"334_CR10","doi-asserted-by":"crossref","unstructured":"Jacob, J.: A rule markup language and its application to uml. In: Leveraging Applications of Formal Methods, pp 26\u201341. Springer (2006)","DOI":"10.1007\/11925040_3"},{"key":"334_CR11","doi-asserted-by":"crossref","unstructured":"Kulla, E., Spaho, E., Xhafa, F., Barolli, L., Takizawa, M.: Using data replication for improving qos in manets. In: Proceedings of the 2012 Seventh International Conference on Broadband, Wireless Computing, Communication and Applications, BWCCA \u201912, pp 529\u2013533. IEEE Computer Society, Washington, DC, USA (2012)","DOI":"10.1109\/BWCCA.2012.93"},{"key":"334_CR12","doi-asserted-by":"crossref","first-page":"35","DOI":"10.1145\/1773912.1773922","volume":"44","author":"A Lakshman","year":"2010","unstructured":"Lakshman, A., Malik, P.: Cassandra: a decentralized structured storage system. SIGOPS Oper. Syst. Rev. 44, 35\u201340 (2010)","journal-title":"SIGOPS Oper. Syst. Rev."},{"issue":"5","key":"334_CR13","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1145\/769800.769802","volume":"46","author":"JK Lee","year":"2003","unstructured":"Lee, J.K., Sohn, M.M.: The extensible rule markup language. Commun. ACM 46(5), 59\u201364 (2003)","journal-title":"Commun. ACM"},{"key":"334_CR14","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1016\/j.jpdc.2010.08.004","volume":"71","author":"B Nicolae","year":"2011","unstructured":"Nicolae, B., Antoniu, G., Boug\u00e9, L., Moise, D., Carpen-Amarie, A.: Blobseer: Next-generation data management for large scale infrastructures. J. Parallel Distrib. Comput. 71, 169\u2013184 (2011)","journal-title":"J. Parallel Distrib. Comput."},{"key":"334_CR15","doi-asserted-by":"crossref","unstructured":"Palankar, M. R., Iamnitchi, A., Ripeanu, M., Garfinkel, S.: Amazon s3 for science grids: a viable solution?. In: Proceedings of the 2008 international workshop on Data-aware distributed computing, DADC \u201908, pp 55\u201364. ACM, New York, NY, USA (2008)","DOI":"10.1145\/1383519.1383526"},{"key":"334_CR16","doi-asserted-by":"crossref","unstructured":"Pop, F., Gruia, C., Cristea, V.: Distributed algorithm for change detection in satellite images for Grid Environments. In: Parallel and Distributed Computing, 2007. ISPDC\u201907. Sixth International Symposium on (pp. 41-41). IEEE (2007)","DOI":"10.1109\/ISPDC.2007.13"},{"key":"334_CR17","doi-asserted-by":"crossref","unstructured":"Serbanescu, V., Pop, F., Cristea, V., Antoniu, G.: Architecture of distributed data aggregation service. In: Proceedings of the 2014 IEEE 28th International Conference on Advanced Information Networking and Applications, AINA \u201914, pp 727\u2013734. IEEE Computer Society, Washington, DC, USA (2014)","DOI":"10.1109\/AINA.2014.89"},{"issue":"2","key":"334_CR18","doi-asserted-by":"crossref","first-page":"141","DOI":"10.1007\/s11280-012-0163-7","volume":"16","author":"S Song","year":"2013","unstructured":"Song, S., Chen, L.: Indexing dataspaces with partitions. World Wide Web 16(2), 141\u2013170 (2013)","journal-title":"World Wide Web"},{"key":"334_CR19","doi-asserted-by":"crossref","unstructured":"Stam, A., Jacob, J., de Boer, F.S., Bonsangue, M.M., van der Torre, L.: Using xml transformations for enterprise architectures. In: Margaria, T., Steffen, B. (eds.) Leveraging Applications of Formal Methods, volume 4313 of Lecture Notes in Computer Science, pp 42\u201356. Springer Berlin Heidelberg (2006)","DOI":"10.1007\/11925040_4"},{"issue":"1","key":"334_CR20","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1022344031752","volume":"6","author":"MM Sufyan Beg","year":"2003","unstructured":"Sufyan Beg, M.M., Ahmad, N.: Soft computing techniques for rank aggregation on the world wide web. World Wide Web 6(1), 5\u201322 (2003)","journal-title":"World Wide Web"},{"key":"334_CR21","doi-asserted-by":"crossref","unstructured":"Venugopal, S., Buyya, R., Ramamohanarao, K.: A taxonomy of data grids for distributed data sharing, management, and processing. ACM Comput. Surv., 38 (2006)","DOI":"10.1145\/1132952.1132955"},{"key":"334_CR22","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1109\/3PGCIC.2012.26","volume-title":"Proceedings of the 2012 Seventh International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC \u201912","author":"F Xhafa","year":"2012","unstructured":"Xhafa, F., Kolici, V., Potlog, A.-D., Spaho, E., Barolli, L., Takizawa, M.: Data replication in p2p collaborative systems. In: Proceedings of the 2012 Seventh International Conference on P2P, Parallel, Grid, Cloud and Internet Computing, 3PGCIC \u201912, pp 49\u201357. IEEE Computer Society, Washington, DC, USA (2012)"},{"key":"334_CR23","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1145\/1629575.1629600","volume-title":"Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, SOSP \u201909","author":"Y Yu","year":"2009","unstructured":"Yu, Y., Gunda, P.K., Isard, M.: Distributed aggregation for data-parallel computing: interfaces and implementations. In: Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles, SOSP \u201909, pp 247\u2013260. ACM, New York, NY, USA (2009)"},{"issue":"4","key":"334_CR24","doi-asserted-by":"crossref","first-page":"539","DOI":"10.1007\/s11280-013-0218-4","volume":"17","author":"J Zhang","year":"2014","unstructured":"Zhang, J, Tao, X., Wang, H.: Outlier detection from large distributed databases. World Wide Web 17(4), 539\u2013568 (2014)","journal-title":"World Wide Web"}],"container-title":["World Wide Web"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11280-015-0334-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11280-015-0334-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11280-015-0334-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,21]],"date-time":"2019-08-21T15:32:26Z","timestamp":1566401546000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11280-015-0334-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,3,10]]},"references-count":24,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2015,11]]}},"alternative-id":["334"],"URL":"https:\/\/doi.org\/10.1007\/s11280-015-0334-4","relation":{},"ISSN":["1386-145X","1573-1413"],"issn-type":[{"value":"1386-145X","type":"print"},{"value":"1573-1413","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015,3,10]]}}}