Towards Continuous Consistency Checking of DevOps Artefacts

被引:3
|
作者
Colantoni, Alessandro [1 ]
Horvath, Benedek [1 ,2 ]
Horvath, Akos [2 ]
Berardinelli, Luca [1 ]
Wimmer, Manuel [1 ]
机构
[1] Johannes Kepler Univ Linz, Linz, Austria
[2] IncQuery Labs cPlc, Budapest, Hungary
关键词
DevOps; MDE; consistency management;
D O I
10.1109/MODELS-C53483.2021.00069
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
DevOps tools are often scattered over a multitude of technologies, and thus, their integration is a challenging endeavour. The existing DevOps integration platforms, e.g., Keptn, often employ a family of languages for this purpose. However, as we have learnt from UML, SysML, and many others, a family of languages requires inter-model constraints to be checked in order to guarantee a high consistency between the different artefacts. In this work-in-progress paper, we propose a Model-Driven Engineering (MDE) approach for the continuous consistency checking of DevOps artefacts. First, we explicitly represent each artefact as a model, second, we establish links across them to set a navigable network of model elements; and third, we enable MDE services on top of this network. We envision the possibility of using GitOps to pull the DevOps artefacts, executing services for checking consistency and performing model repairs, uploading the changes to the DevOps tools, and finally pushing the artefacts to Git, thus resulting in a continuous consistency checking process in practice.
引用
收藏
页码:450 / 454
页数:5
相关论文
共 50 条
  • [31] Self-consistency checking
    Jones, RB
    Seger, CJH
    Dill, DL
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996, 1166 : 159 - 171
  • [32] CONSISTENCY CHECKING IN HYPOTHESIS GENERATION
    FISHER, SD
    GETTYS, CF
    MANNING, C
    MEHLE, T
    BACA, S
    ORGANIZATIONAL BEHAVIOR AND HUMAN PERFORMANCE, 1983, 31 (02): : 233 - 254
  • [33] Consistency Checking for LSC Specifications
    Guo, Hai-Feng
    Zheng, Wen
    Subramaniam, Mahadevan
    THIRD INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2009, : 119 - 126
  • [34] Consistency Checking in Requirements Analysis
    Bendik, Jaroslav
    PROCEEDINGS OF THE 26TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA'17), 2017, : 408 - 411
  • [35] Towards Definitions for Release Engineering and DevOps
    Dyck, Andrej
    Penners, Ralf
    Lichter, Horst
    2015 IEEE/ACM 3RD INTERNATIONAL WORKSHOP ON RELEASE ENGINEERING, 2015, : 3 - 3
  • [36] Checking Causal Consistency of MongoDB
    Ouyang, Hong-Rong
    Wei, Heng-Feng
    Li, Hai-Xiang
    Pan, An-Qun
    Huang, Yu
    JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2022, 37 (01) : 128 - 146
  • [37] Consistency checking of UML requirements
    Li, XS
    Liu, ZM
    He, JF
    ICECCS 2005: 10TH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2005, : 411 - 420
  • [38] Checking Causal Consistency of MongoDB
    Ouyang, Hongrong
    Wei, Hengfeng
    Huang, Yu
    ACM International Conference Proceeding Series, 2020, : 209 - 216
  • [39] Checking Causal Consistency of MongoDB
    Hong-Rong Ouyang
    Heng-Feng Wei
    Hai-Xiang Li
    An-Qun Pan
    Yu Huang
    Journal of Computer Science and Technology, 2022, 37 : 128 - 146
  • [40] CONSISTENCY CHECKING AND OPTIMIZATION OF MACROMODELS
    JU, YC
    RAO, VB
    SALEH, RA
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 1991, 10 (08) : 957 - 967