A Formal Framework for Integrated Environment Modeling Systems

被引:0
|
作者
Zhang, Gaofeng [1 ,2 ]
Li, Yan [2 ]
Chen, Chong [2 ]
Zhou, Rui [2 ]
Chen, Dan [2 ]
Zhou, Qingguo [2 ]
机构
[1] Lanzhou Univ, Sch Phys Sci & Technol, Lanzhou 730000, Peoples R China
[2] Lanzhou Univ, Sch Informat Sci & Engn, Lanzhou 730000, Peoples R China
基金
中国国家自然科学基金;
关键词
Integrated Environment Modeling (IEM); formal method; operational semantics; unified view; Finite State Machine (FSM); AGRICULTURAL SYSTEMS; LARGE-SCALE; COMPONENT; WATER;
D O I
10.3390/ijgi6020047
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Integrated 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.
引用
收藏
页数:22
相关论文
共 50 条
  • [1] An integrated object-oriented and formal modeling environment
    France, RB
    Bruel, JM
    LarrondoPetrie, MM
    [J]. JOURNAL OF OBJECT-ORIENTED PROGRAMMING, 1997, 10 (07): : 25 - &
  • [2] Formal Modeling and Verification of Integrated Photonic Systems
    Siddique, Umair
    Hasan, Osman
    Tahar, Sofiene
    [J]. 2015 9TH ANNUAL IEEE INTERNATIONAL SYSTEMS CONFERENCE (SYSCON), 2015, : 562 - 569
  • [3] A Formal Modeling Framework for Anaerobic Digestion Systems
    Draa, Khadidja Chaib
    Voos, Holger
    Darouach, Mohamed
    Alma, Marouane
    [J]. 2015 17TH UKSIM-AMSS INTERNATIONAL CONFERENCE ON COMPUTER MODELLING AND SIMULATION (UKSIM), 2015, : 426 - 431
  • [4] An integrated framework for formal development of open distributed systems
    Traoré, I
    Aredo, D
    Ye, H
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 2004, 46 (05) : 281 - 286
  • [5] An Integrated Framework for the Formal Analysis of Critical Interactive Systems
    Mendil, Ismail
    Singh, Neeraj Kumar
    Ait-Ameur, Yamine
    Mery, Dominique
    Palanque, Philippe
    [J]. 2020 27TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2020), 2020, : 139 - 148
  • [6] A formal mathematical framework for modeling probabilistic hybrid systems
    Robert St-Aubin
    Joel Friedman
    Alan K. Mackworth
    [J]. Annals of Mathematics and Artificial Intelligence, 2006, 47 : 397 - 425
  • [7] A formal mathematical framework for modeling probabilistic hybrid systems
    St-Aubin, Robert
    Friedman, Joel
    Mackworth, Alan K.
    [J]. ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2006, 47 (3-4) : 397 - 425
  • [8] vTRUST: A Formal Modeling and Verification Framework for Virtualization Systems
    Hao, Jianan
    Liu, Yang
    Cai, Wentong
    Bai, Guangdong
    Sun, Jun
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, 2013, 8144 : 329 - 346
  • [9] OWEFE-open modeling framework for integrated water, energy, food, and environment systems
    Fleischmann, Julian
    Blechinger, Philipp
    Ribbe, Lars
    Nauditt, Alexandra
    El Achkar, Jean H.
    Tiwari, Kapil
    Kuleape, Richmond
    Platzer, Werner
    [J]. ENVIRONMENTAL RESEARCH: INFRASTRUCTURE AND SUSTAINABILITY, 2023, 3 (01):
  • [10] A visualization framework for the modeling and formal analysis of high assurance systems
    Goldsby, Heather
    Cheng, Betty H. C.
    Konrad, Sascha
    Kamdoum, Stephane
    [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2006, 4199 : 707 - 721