Automated preprocessing of environmental data

Future Generation Computer Systems

Volumn 45, Issue , 2015, Pages 13-24

  Rönkkö, Mauno ^a   Heikkinen, Jani ^b   Kotovirta, Ville ^c   Chandrasekar, Venkatachalam ^d  

^a UNIVERSITY OF EASTERN FINLAND   (Finland)

^b IT Center for Science   (Finland)

^c VTT TECHNICAL RESEARCH CENTRE OF FINLAND   (Finland)

^d Engineering Research Center and Hydraulics Laboratory   (United States)

Author keywords

Data preprocessing; Environmental informatics; Formal methods; Reachability analysis; Workflows

Indexed keywords

DATA PREPROCESSING; ENVIRONMENTAL DATA; ENVIRONMENTAL INFORMATICS; REACHABILITY ANALYSIS; WORK-FLOWS;

FORMAL METHODS;

EID: 84910070414     PISSN: 0167739X     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.future.2014.10.011     Document Type: Article

References (50)

1. H. Messer, A. Zinevich, and P. Alpert Environmental monitoring by wireless communication networks Science 312 2006 713
2. D. Cyranoski, and G. Brumfiel Fukushima impact is still hazy Nature 477 2011 139 140
3. N. Gilbert Drug waste harms fish Nature 476 2011 265
4. M. Williams, D. Cornford, L. Bastin, R. Jones, and S. Parker Automatic processing, quality assurance and serving of real-time weather data Comput. Geosci. 37 2011 353 362
5. M. Williams, D. Cornford, B. Ingram, L. Bastin, T. Beaumont, E. Pebesma, G. Dubois, Supporting interoperable interpolation: the INTAMAP approach, in: D.A. Swayne, J. Hrebicek (Eds.), International Symposium on Environmental Software Systems, 2007.
6. M. Williams, D. Cornford, L. Bastin, E. Pebesma, Uncertainty markup language (UncertML), OpenGIS Discussion Paper 08-122r2, Open Geospatial Consortium Inc., 2009.
7. H. Junninen, H. Niska, K. Tuppurainen, J. Ruuskanen, and M. Kolehmainen Methods for imputation of missing values in air quality data sets Atmos. Environ. 38 2004 2895 2907
8. T. Schneider Analysis of incomplete climate data: estimation of mean values and covariance matrices and imputation of missing values J. Clim. 14 2001 853 871
9. J.K. Dixon Pattern recognition with partly missing data IEEE Trans. Syst. Man Cybern. 10 1979 617 621
10. M. Stocker, M. Rönkkö, and M. Kolehmainen Making sense of sensor data using ontology: A discussion for residential building monitoring IFIP Advances in Information and Communication Technology, Artificial Intelligence Applications and Innovations, Vol. 382 2012 341 350
11. M. Rönkkö, V. Kotovirta, K. Karatzas, L. Bastin, M. Stocker, M. Kolehmainen, Proactive environmental systems: the next generation of environmental monitoring, in: R. Seppelt, A.A. Voinov, S. Lange, D. Bankamp (Eds.), iEMSs 2012 International Congress on Environmental Modelling and Software, 2012, pp. 1-8.
12. B. Berard, M. Bidoit, A. Finkel, F. Laroussinie, A. Petit, L. Petrucci, and P. Schnoebelen Systems and Software Verification: Model-Checking Techniques and Tools 2010 Springer-Verlag
13. E. Clarke, O. Grumberg, and D.A. Peled Model Checking 1999 MIT Press
14. M. Rönkkö, Flowdj Java source code, 2014. URL: http://www.uef.fi/en/envi/flowdj.
15. J.K. Eischeid, C.B. Bakerb, T.R. Karlb, and H.F. Diazc The quality control of long-term climatological data using objective data analysis J. Appl. Meteorol. 34 1995 2787 2795
16. E. Deelman, D. Gannon, M. Shields, and I. Taylor Workflows and e-science: an overview of workflow system features and capabilities Future Gener. Comput. Syst. 25 5 2009 528 540 10.1016/j.future.2008.06.012
17. Y. Gil Workflow composition: Semantic representations for flexible automation Workflows for e-Science 2007 Springer 244 257
18. J. Qin, and T. Fahringer Automatic scientific workflow composition Scientific Workflows 2012 Springer 135 165
19. J. Blythe, E. Deelman, and Y. Gil Automatically composed workflows for grid environments IEEE Intell. Syst. 19 2004 16 23
20. T. McPhillips, S. Bowers, D. Zinn, and B. Ludäscher Scientific workflow design for mere mortals Future Gener. Comput. Syst. 25 5 2009 541 551
21. A. Gibson, M. Gamble, K. Wolstencroft, T. Oinn, C. Goble, K. Belhajjame, and P. Missier The data playground: An intuitive workflow specification environment Future Gener. Comput. Syst. 25 4 2009 453 459
22. G. Sipos Protecting the consistency of workflow applications in collaborative development environments Future Gener. Comput. Syst. 28 3 2012 500 512
23. E. Elmroth, F. Hernandez, and J. Tordsson Three fundamental dimensions of scientific workflow interoperability: model of computation, language, and execution environment Future Gener. Comput. Syst. 26 2 2010 245 256
24. K.-H. Kim A layered workflow knowledge Grid/P2P architecture and its models for future generation workflow systems Future Gener. Comput. Syst. 23 3 2007 304 316
25. F. Nadeem, and T. Fahringer Optimizing execution time predictions of scientific workflow applications in the grid through evolutionary programming Future Gener. Comput. Syst. 29 4 2013 926 935
26. C.-C. Hsu, K.-C. Huang, and F.-J. Wang Online scheduling of workflow applications in grid environments Future Gener. Comput. Syst. 27 6 2011 860 870
27. M. Wieczorek, A. Hoheisel, and R. Prodan Towards a general model of the multi-criteria workflow scheduling on the grid Future Gener. Comput. Syst. 25 3 2009 237 256
28. A. Charfi Aspect-oriented worflow languages: AO4BPEL and applications (Ph.D. Thesis) 2007 der technischen universität darmstadt URL: https://www.deutsche-digitale-bibliothek.de/binary/6PG5TMFZCHK4AZEO2YWNBMDUI4YLM36A/full/1.pdf
29. A. Charfi, and M. Mezini Aspect-oriented workflow languages R. Meersman, Z. Tari, On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE LNCS vol. 4275 2006 Springer-Verlag 183 200
30. A. Charfi, and M. Mezini AO4BPEL: an aspect-oriented extension to BPEL World Wide Web J.: Recent Adv. Web Serv. 2007 (special issue)
31. X. Song, W. Dou, and J. Chen A workflow framework for intelligent service composition Future Gener. Comput. Syst. 27 5 2011 627 636
32. R.W. Floyd Assigning meanings to programs Symposium in Applied Mathematics 1967 American Mathematical Society, AMS 19 31
33. C.A.R. Hoare An axiomatic basis for computer programming Commun. ACM 12 1969 576 583
34. E.W. Dijkstra A Discipline of Programming 1976 Prentice-Hall International
35. R.J.R. Back Refinement calculus, part II: parallel and reactive programs J.W. de Bakker, W.P. de Roever, G. Rozenberg, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness LNCS vol. 430 1990 Springer-Verlag 67 93
36. R.J.R. Back, and K. Sere Stepwise refinement of action systems Struct. Program. 12 1991 17 30
37. R.J.R. Back, and J. von Wright Refinement calculus: A systematic introduction Graduate Texts in Computer Science 1998 Springer
38. M. Bonsangue, and J.N. Kok Semantics, orderings and recursion in the weakest precondition calculus J.W. de Bakker, G. Rozenberg, W.P. de Roever, Rex Workshop on Semantics: Foundations and Applications LNCS vol. 666 1993 Springer-Verlag 91 110
39. M.M. Bonsangue, J.N. Kok, K. Sere, Developing object-based distributed systems, in: IFIP TC6/WG6 Third International Conference on Formal Methods for Open Object-Based Distributed Systems, 1999.
40. K. Sere, and M. Walden Data refinement of remote procedures International Symposium on Theoretical Aspects of Computer Software LNCS vol. 1281 1997
41. M. Walden, and K. Sere Reasoning about action systems using the b-method Form. Methods Syst. Des. 13 1998 5 35
42. M. Rönkkö, and A.P. Ravn Switches and jumps in hybrid action systems Proc. Estonian Acad. Sci., Eng. 4 1998 106 118
43. M. Rönkkö, A.P. Ravn, and K. Sere Hybrid action systems Theoret. Comput. Sci. 290 2003 937 973
44. M. Rönkkö, E. Sekerinski, K. Sere, Control systems as action systems, in: Workshop on Discrete Event Systems, 1996.
45. K. Sere, M. Walden, Verification of a distributed algorithm due to Chu, in: 13th ACM Symposium on Principles of Distributed Computing, 1994.
46. K. Sere, and M. Walden Reverse engineering distributed algorithms J. Softw. Maint., Res. Pract. 8 1996 117 144
47. M. Rönkkö, and X. Li Linear hybrid action systems Nordic J. Comput. 8 2001 159 177
48. K. Brace, R. Rudell, and R. Bryant Efficient implementation of a BDD package 27th ACM/IEEE Design Automation Conference 1990 IEEE no. 0738
49. R. Bryant Graph based algorithms for Boolean function manipulation IEEE Trans. Comput. 35 1987 677 691
50. P. Jackson Introduction to Expert Systems 1990 Addison-Wessley