A formal monitoring-based framework for software development and analysis

被引:0
|
作者
Chen, F [1 ]
D'Amorim, M [1 ]
Rosu, G [1 ]
机构
[1] Univ Illinois, Dept Comp Sci, Urbana, IL 61801 USA
关键词
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
A formal framework for software development and analysis is presented, which aims at reducing the gap between formal specification and implementation by integrating the two and allowing them together to form a system. It is called monitoring-oriented programming (MOP), since runtime monitoring is supported and encouraged as a fundamental principle. Monitors are automatically synthesized from formal specifications and integrated at appropriate places in the program, according to user-configurable attributes. Violations and/or validations of specifications can trigger user-defined code at any points in the program, in particular recovery code, outputting/sending messages, or raising exceptions. The major novelty of MOP is its generality w.r.t. logical formalisms: it allows users to insert their favorite or domain-specific specification formalisms via logic plug-in modules. A WWW repository has been created, allowing MOP users to download and upload logic plugins. An experimental prototype tool, called JAvA-MOP, is also discussed, which currently supports most but not all of the desired MOP features.
引用
收藏
页码:357 / 372
页数:16
相关论文
共 50 条
  • [1] Monitoring-based analysis of agriculture in Iraq
    Tokareva, O.
    Pasko, O.
    Alshaibi, A.
    Mochalov, M.
    [J]. XX INTERNATIONAL SCIENTIFIC SYMPOSIUM OF STUDENTS, POSTGRADUATES AND YOUNG SCIENTISTS ON PROBLEMS OF GEOLOGY AND SUBSURFACE DEVELOPMENT, 2016, 43
  • [2] Dextractor:Deformation Extractor Framework for Monitoring-Based Ground Radar
    Helmy, Islam
    Campbell, Lachie
    Ahmadi, Reza
    Awrangjeb, Mohammad
    Paliwal, Kuldip
    [J]. REMOTE SENSING, 2024, 16 (16)
  • [3] Web service-based framework for software development formal peer inspection
    Pour, G
    [J]. IC'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON INTERNET COMPUTING, VOLS 1 AND 2, 2004, : 475 - 481
  • [4] QP Based Framework for Development and Formal Verification of Flight Control Software of UAV
    Zhang, Yuchao
    Li, Guoqi
    Zhang, Juan
    [J]. ARTIFICIAL INTELLIGENCE AND COMPUTATIONAL INTELLIGENCE, PT I, 2011, 7002 : 1 - 8
  • [5] A framework for the development of monitoring systems software
    Martinez-Marchena, I.
    Mora-Lopez, L.
    Sidrach de Cardona, M.
    [J]. ICSOFT 2006: Proceedings of the First International Conference on Software and Data Technologies, Vol 1, 2006, : 133 - 138
  • [6] Monitoring-Based Framework to Detect and Manage Lead Water Service Lines
    Deshommes, Elise
    Bannier, Alicia
    Laroche, Laurent
    Nour, Shokoufeh
    Prevost, Michele
    [J]. JOURNAL AMERICAN WATER WORKS ASSOCIATION, 2016, 108 (11): : E555 - E570
  • [7] Monitoring-based assessment of gap-analysis models
    LaBram, Jill A.
    Peck, Amanda E.
    Allen, Craig R.
    [J]. SOUTHEASTERN NATURALIST, 2007, 6 (04) : 633 - 656
  • [8] Integration of formal analysis into a model-based software development process
    Whalen, Michael
    Cofer, Darren
    Miller, Steven
    Krogh, Bruce H.
    Storm, Walter
    [J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2008, 4916 : 68 - +
  • [9] A framework for monitoring-based commissioning: Identifying variables that act as barriers and enablers to the process
    Harris, Nora
    Shealy, Tripp
    Kramer, Hannah
    Granderson, Jessica
    Reichard, Georg
    [J]. ENERGY AND BUILDINGS, 2018, 168 : 331 - 346
  • [10] Formal Probabilistic Analysis of a WSN-Based Monitoring Framework for IoT Applications
    Elleuch, Maissa
    Hasan, Osman
    Tahar, Sofiene
    Abid, Mohamed
    [J]. FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS (FTSCS 2016), 2017, 694 : 93 - 108