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 条
  • [21] Gradual Consistency Checking
    Zennou, Rachid
    Bouajjani, Ahmed
    Enea, Constantin
    Erradi, Mohammed
    COMPUTER AIDED VERIFICATION, CAV 2019, PT II, 2019, 11562 : 267 - 285
  • [22] DATA CONSISTENCY CHECKING
    KALLGREN, DC
    HISTORICAL METHODS, 1995, 28 (01): : 66 - 69
  • [23] Towards Checking Consistency-Breaking Updates between Models and Generated Artifacts
    Zaheri, MohammadAmin
    Famelis, Michalis
    Syriani, Eugene
    24TH ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS COMPANION (MODELS-C 2021), 2021, : 401 - 410
  • [24] Hybrid CPU-GPU constraint checking: Towards efficient context consistency
    Sui, Jun
    Xu, Chang
    Cheung, S. C.
    Xi, Wang
    Jiang, Yanyan
    Cao, Chun
    Ma, Xiaoxing
    Lu, Jian
    INFORMATION AND SOFTWARE TECHNOLOGY, 2016, 74 : 230 - 242
  • [25] Towards an IT Governance of DevOps Metamodel
    Hamzane, Ibrahim
    El Khalyly, Badr
    2021 INTERNATIONAL CONFERENCE ON DECISION AID SCIENCES AND APPLICATION (DASA), 2021,
  • [26] Optimized SAT encoding of conformance checking artefacts
    Mathilde Boltenhagen
    Thomas Chatain
    Josep Carmona
    Computing, 2021, 103 : 29 - 50
  • [27] Partial MaxSAT Computation of Conformance Checking Artefacts
    Ojeda, Jesus
    2021 3RD INTERNATIONAL CONFERENCE ON PROCESS MINING (ICPM 2021), 2021, : 17 - 24
  • [28] Optimized SAT encoding of conformance checking artefacts
    Boltenhagen, Mathilde
    Chatain, Thomas
    Carmona, Josep
    COMPUTING, 2021, 103 (01) : 29 - 50
  • [29] DevOpRET: Continuous reliability testing in DevOps
    Bertolino, Antonia
    Angelis, Guglielmo De
    Guerriero, Antonio
    Miranda, Breno
    Pietrantuono, Roberto
    Russo, Stefano
    JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS, 2023, 35 (03)
  • [30] Towards optimization of anomaly detection in DevOps
    Hrusto, Adha
    Engstrom, Emelie
    Runeson, Per
    INFORMATION AND SOFTWARE TECHNOLOGY, 2023, 160