A Formal Framework for Integrated Environment Modeling Systems
AbstractIntegrated Environment Modeling (IEM) has become more and more important for environmental studies and applications. IEM systems have also been extended from scientific studies to much wider practical application situations. The quality and improved efficiency of IEM systems have therefore become increasingly critical. Although many advanced and creative technologies have been adopted to improve the quality of IEM systems, there is scarcely any formal method for evaluating and improving them. This paper is devoted to proposing a formal method to improve the quality and the developing efficiency of IEM systems. Two primary contributions are made. Firstly, a formal framework for IEM is proposed. The framework not only reflects the static and dynamic features of IEM but also covers different views from variant roles throughout the IEM lifecycle. Secondly, the formal operational semantics corresponding to the former model of the IEM is derived in detail; it can be used as the basis for aiding automated integrated modeling and verifying the integrated model. View Full-Text
Scifeed alert for new publicationsNever miss any articles matching your research from any publisher
- Get alerts for new papers matching your research
- Find out the new papers from selected authors
- Updated daily for 49'000+ journals and 6000+ publishers
- Define your Scifeed now
Zhang, G.; Li, Y.; Chen, C.; Zhou, R.; Chen, D.; Zhou, Q. A Formal Framework for Integrated Environment Modeling Systems. ISPRS Int. J. Geo-Inf. 2017, 6, 47.
Zhang G, Li Y, Chen C, Zhou R, Chen D, Zhou Q. A Formal Framework for Integrated Environment Modeling Systems. ISPRS International Journal of Geo-Information. 2017; 6(2):47.Chicago/Turabian Style
Zhang, Gaofeng; Li, Yan; Chen, Chong; Zhou, Rui; Chen, Dan; Zhou, Qingguo. 2017. "A Formal Framework for Integrated Environment Modeling Systems." ISPRS Int. J. Geo-Inf. 6, no. 2: 47.
Note that from the first issue of 2016, MDPI journals use article numbers instead of page numbers. See further details here.