On the Validation of Invariants at Runtime

被引：0
|
作者：
Kosiuczenko, Piotr [1 ]
机构：
[1] WAT, Inst Informat Syst, PL-00908 Warsaw, Poland
来源：
FUNDAMENTA INFORMATICAE | 2013年 / 125卷 / 02期
关键词：
OCL; contracts; invariant validation; framing; optimization; SPECIFICATION;
D O I：
10.3233/FI-2013-859
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The paradigm of contractual specification provides a transparent way of specifying object-oriented systems. In this paradigm, system consistency is specified using so-called invariants. Runtime validation of invariants is a complex problem. Existing validation methods require either exhausting validation of an invariant for all objects of the corresponding class or the use of restrictive type systems. In this paper a non-exhaustive method of invariant validation is proposed. It is proved that the method is sound and an implementation of this method is discussed. It is shown also how to extract context free languages corresponding to OCL-invariants.
引用
收藏
页码：183 / 222
页数：40
相关论文
共 50 条
  • [41] Verification and validation of declarative model-to-model transformations through invariants
    Cabot, Jordi
    Clariso, Robert
    Guerra, Esther
    de Lara, Juan
    JOURNAL OF SYSTEMS AND SOFTWARE, 2010, 83 (02) : 283 - 302
  • [42] GUIDiVa: Automated Discovery and Validation of State-based GUI Invariants
    Darvish, Ali
    Chang, Carl K.
    2014 IEEE 38TH ANNUAL INTERNATIONAL COMPUTERS, SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2014, : 65 - 74
  • [43] Design-Time Validation of Runtime Reconfiguration Strategies: An Environmental-Driven Approach
    Scheerer, Max
    Rapp, Martina
    Reussner, Ralf
    2020 IEEE INTERNATIONAL CONFERENCE ON AUTONOMIC COMPUTING AND SELF-ORGANIZING SYSTEMS (ACSOS 2020), 2020, : 75 - 81
  • [44] A self-learning approach for validation of runtime adaptation in service-oriented systems
    Leah Mutanu
    Gerald Kotonya
    Service Oriented Computing and Applications, 2018, 12 (1) : 11 - 24
  • [45] A self-learning approach for validation of runtime adaptation in service-oriented systems
    Mutanu, Leah
    Kotonya, Gerald
    SERVICE ORIENTED COMPUTING AND APPLICATIONS, 2018, 12 (01) : 11 - 24
  • [46] NesJ: A Java']Java to NesC Translation Engine with Runtime Validation for Wireless Sensor Networks
    Zhai, Jiannan
    Cheng, Luyao
    Li, Kewen
    Mazokha, Stepan
    IEEE SOUTHEASTCON 2018, 2018,
  • [47] Runtime Input Validation for Java']Java Web Applications using Static Bytecode Instrumentation
    Cho, Sangwook
    Kim, Gyoosik
    Cho, Seong-je
    Choi, Jongmoo
    Park, Minkyu
    Han, Sangchul
    2016 RESEARCH IN ADAPTIVE AND CONVERGENT SYSTEMS, 2016, : 148 - 152
  • [48] The MegaM@Rt2 ECSEL project: MegaModelling at Runtime - Scalable model-based framework for continuous development and runtime validation of complex systems
    Afzal, Wasif
    Bruneliere, Hugo
    Di Ruscio, Davide
    Sadovykh, Andrey
    Mazzini, Silvia
    Cariou, Eric
    Truscan, Dragos
    Cabot, Jordi
    Gomez, Abel
    Gorronogoitia, Jesus
    Pomante, Luigi
    Smrz, Pavel
    MICROPROCESSORS AND MICROSYSTEMS, 2018, 61 : 86 - 95
  • [49] Improving the estimation of canopy structure using spectral invariants: Theoretical basis and validation
    Lin, Yi
    Liu, Siyuan
    Yan, Lei
    Yan, Kai
    Zeng, Yelu
    Yang, Bin
    REMOTE SENSING OF ENVIRONMENT, 2023, 284
  • [50] Consistency model for runtime objects in the Open Community Runtime
    Dokulil, Jiri
    JOURNAL OF SUPERCOMPUTING, 2019, 75 (05): : 2725 - 2760
12345