SlideShare a Scribd company logo
Towards Continuous Consistency Checking of DevOps
Artefacts
Alessandro Colantoni1, Benedek Horváth1,2, Ákos Horváth2, Luca Berardinelli1,
Manuel Wimmer1
1 Johannes Kepler University Linz, Linz, Austria
2 IncQuery Labs cPlc, Budapest, Hungary
Contact: Benedek.Horvath@incquerylabs.com
Motivation
• More than 400 DevOps tools
• Complex configuration scripts, textual artefacts
• Semantically related configuration files
• Manual effort to check their consistency
2
Goal: Continuous consistency checking of DevOps artefacts
Example: Keptn
• Open-source cloud-native application lifecycle orchestration project
• Orchestrate continuous delivery (CD) pipelines with quality gate criteria
• Keptn stores configuration artefacts on Git for version control
3
Service Level Indicator
(SLI)
Service Level Objective
(SLO)
Goal: Ensure the consistency of the indicator names
Proposed Solution
4
Consistency Maintenance Service
1. Update
configuration
9. Update
configuration
5. Parsed
models
6. Updated
models
7. Validation errors
10. Resolved errors
3. Notify
Configuration
file to model
parsing
Model and
links update
Incremental
consistency
check
Report
generation
Model
serialization
8. Repaired
models
11. Notify 7. Validation errors
DevOps
tool
Model Repair
Service
2. Push
Adapter
4. Send
DevOps
Engineer
How to check the consistency of artefacts that belong to different languages?
JSON-EMF Bridge
• Alessandro Colantoni, Antonio Garmendia, Luca Berardinelli,
Manuel Wimmer, and Johannes Bräuer: Leveraging Model-Driven
Technologies for JSON Artefacts: The Shipyard Case Study
• Detailed talk on Thursday (14.10) from 5 PM (GMT+2)
5
MDE Use Cases
6
Viatra
7
• Model query, transformation, validation framework [1]
• Validation rules as graph patterns
• Model repairs as reactive model transformations
Case Study
8
SLO metamodel
Linking metamodel
SLI metamodel
Sli2SloLinks
sli
1..*
1..*
links
ServiceLevelIndicators
Sli2SloLink
Indicators
IndicatorsPatternProperties
key : EString [1]
value : EString [1]
ServiceLevelObjectives
Objective
sli : EString [1]
pass: SLICriteria [0..*]
1..*
objectives
indicators 1..1
patternProperties 0..*
slo
1..*
{ …
“indicators” : {
“response_time_p95”:
“builtin:service.response.time:merge(0):percentile(95….”,
“response_time_p90”:
“builtin:service.response.time:merge(0):percentile(90….”
}
…
} example.sli
{ …
“objectives” : {
“sli” : “response_time_p95”,
“pass” : [
{“criteria”: [“<=+10%”]}
]
}
…
} example.slo
https://github.com/lowcomote/keptn-consistency-maintenance
Case Study
9
Case Study Limitations
• Two artefacts of the same DevOps tool (Keptn: SLI, SLO)
• Linking model is created by hand
• The consistency management workflow is partially implemented
• Scalability evaluation is future work
10
Conclusions and Future Work
• Proposed GitOps workflow to check the artefacts’ consistency
• Proof of concept implementation of the workflow
• Several MDE use cases for DevOps configuration artefacts
• Modeling:
• GitOps adapter to reflect the Git structure as a megamodel
• Query-driven soft-links to maintain the linking model [2]
• Research-oriented:
• Incremental parsing to have better integrations with Viatra [3]
11
Acknowledgements
• This work was funded by the European Union’s Horizon 2020
research and innovation programme under the Marie
Skłodowska-Curie grant agreement No 813884,
• the AIDOaRt project ECSEL Joint Undertaking (JU) under grant
agreement No. 101007350,
• by the Austrian Research Promotion Agency (FFG), program ICT
of the Future, project number 867535,
• and contributed to the ITEA3 BUMBLE project (18006).
• The authors are grateful for the valuable feedback of the
anonymous reviewers about the paper.
12
References
[1] Dániel Varró, Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth,
Zoltán Ujhelyi: Road to a reactive and incremental model transformation
platform: three generations of the VIATRA framework. Softw. Syst. Model.
15(3): 609-629 (2016)
[2] Ábel Hegedüs, Ákos Horváth, István Ráth, Rodrigo Rizzi Starr, Dániel
Varró: Query-driven soft traceability links for models. Softw. Syst. Model.
15(3): 733-756 (2016)
[3] Thomas Goldschmidt, Steffen Becker, Axel Uhl: Classification of Concrete
Textual Syntax Mapping Approaches. ECMDA-FA 2008: 169-184
13

More Related Content

PDF
The Genesis of Holistic Systems Design
PDF
The Genesis of Holistic Systems Engineering: Completeness and Consistency Man...
PDF
Towards Scalable Validation of Low-Code System Models: Mapping EVL to VIATRA ...
PDF
GOTOpia 2020: "The Past, Present, and Future of Cloud Native API Gateways"
PDF
DevOpsCon 2020: The Past, Present, and Future of Cloud Native API Gateways
PDF
Devtest Orchestration for SDN & NFV
PDF
How the Big Data of APM can Supercharge DevOps
PDF
Yannis Zarkadas. Enterprise data science workflows on kubeflow
The Genesis of Holistic Systems Design
The Genesis of Holistic Systems Engineering: Completeness and Consistency Man...
Towards Scalable Validation of Low-Code System Models: Mapping EVL to VIATRA ...
GOTOpia 2020: "The Past, Present, and Future of Cloud Native API Gateways"
DevOpsCon 2020: The Past, Present, and Future of Cloud Native API Gateways
Devtest Orchestration for SDN & NFV
How the Big Data of APM can Supercharge DevOps
Yannis Zarkadas. Enterprise data science workflows on kubeflow

What's hot (20)

PDF
Revolutionizing Enterprise Software Development through Continuous Delivery &...
PDF
How to Measure DevRel's Perfomances: From Community to Business - Channy Yun ...
PDF
CI/CD for Machine Learning
PDF
Hardening Your CI/CD Pipelines with GitOps and Continuous Security
PPTX
Building Cloud Native Applications Using Azure Kubernetes Service
PDF
Bringing DevOps to Routing with evolved XR: an overview
PDF
Webinar: Introduction to CloudBees Jenkins Platform
PPTX
Tectonic Summit 2016: It's Go Time
PPTX
ADDO Open Source Observability Tools
PDF
Redefining cloud native debugging
PPTX
Magdalena Stenius: MLOPS Will Change Machine Learning
PPTX
Tectonic Summit 2016: Multitenant Data Architectures with Kubernetes
PPTX
Tectonic Summit 2016: Betting on Kubernetes
PDF
Embacing service-level-objectives of your microservices in your Cl/CD
PPTX
Devops with Alibaba Cloud
PDF
Next Generation Vulnerability Assessment Using Datadog and Snyk
PPTX
Infrastructure less development with Azure Service Fabric
PDF
Tommaso campanella
PDF
DevOps Spain 2019. Olivier Perard-Oracle
PPTX
Principles of Kubernetes
Revolutionizing Enterprise Software Development through Continuous Delivery &...
How to Measure DevRel's Perfomances: From Community to Business - Channy Yun ...
CI/CD for Machine Learning
Hardening Your CI/CD Pipelines with GitOps and Continuous Security
Building Cloud Native Applications Using Azure Kubernetes Service
Bringing DevOps to Routing with evolved XR: an overview
Webinar: Introduction to CloudBees Jenkins Platform
Tectonic Summit 2016: It's Go Time
ADDO Open Source Observability Tools
Redefining cloud native debugging
Magdalena Stenius: MLOPS Will Change Machine Learning
Tectonic Summit 2016: Multitenant Data Architectures with Kubernetes
Tectonic Summit 2016: Betting on Kubernetes
Embacing service-level-objectives of your microservices in your Cl/CD
Devops with Alibaba Cloud
Next Generation Vulnerability Assessment Using Datadog and Snyk
Infrastructure less development with Azure Service Fabric
Tommaso campanella
DevOps Spain 2019. Olivier Perard-Oracle
Principles of Kubernetes
Ad

Similar to Towards Continuous Consistency Checking of DevOps Artefacts (20)

PDF
DCEU 18: From Monolith to Microservices
PDF
Fasten Industry Meeting with GitHub about Dependancy Management
PDF
Mine Your Own Code
PDF
Decentralized Evolution and Consolidation of RDF Graphs
PDF
[2015/2016] Modern development paradigms
PDF
Model-Driven Software Engineering in Practice - Chapter 10 - Managing models
PDF
Assessing the Use of Eclipse MDE Technologies in Open-Source Software Projects
PDF
ExperiaSphere: Open-Source Management and Orchestration--Introduction
PDF
Feature-Oriented Software Evolution
PDF
Test Driven Infrastructure
PPTX
Consistency Recovery in Interactive Modeling
PDF
SICOMORO
PDF
Supercharging project health check
PPTX
DevOps Tutorial For Beginners | DevOps Tutorial | DevOps Tools | DevOps Train...
PDF
Analyzing Changes in Software Systems From ChangeDistiller to FMDiff
PDF
Checkpoints for service level operations
PDF
PDF
Vulnerability Detection Based on Git History
PPTX
Mining Sociotechnical Information From Software Repositories
PDF
S-CUBE LP: Service Versioning, Compatibility and Evolution
DCEU 18: From Monolith to Microservices
Fasten Industry Meeting with GitHub about Dependancy Management
Mine Your Own Code
Decentralized Evolution and Consolidation of RDF Graphs
[2015/2016] Modern development paradigms
Model-Driven Software Engineering in Practice - Chapter 10 - Managing models
Assessing the Use of Eclipse MDE Technologies in Open-Source Software Projects
ExperiaSphere: Open-Source Management and Orchestration--Introduction
Feature-Oriented Software Evolution
Test Driven Infrastructure
Consistency Recovery in Interactive Modeling
SICOMORO
Supercharging project health check
DevOps Tutorial For Beginners | DevOps Tutorial | DevOps Tools | DevOps Train...
Analyzing Changes in Software Systems From ChangeDistiller to FMDiff
Checkpoints for service level operations
Vulnerability Detection Based on Git History
Mining Sociotechnical Information From Software Repositories
S-CUBE LP: Service Versioning, Compatibility and Evolution
Ad

More from IncQuery Labs (11)

PPTX
IncQuery_presentation_Incose_EMEA_WSEC.pptx
PDF
IncQuery-Integrate22-20220607.pdf
PDF
IncQuery Group's presentation for the INCOSE Polish Chapter 20220310
PDF
The Genesis of Holistic Systems Engineering: Completeness and Consistency Man...
PPTX
IncQuery Suite demo for INCOSE 2022IW
PDF
Towards the Next Generation of Reactive Model Transformations on Low-Code Pla...
PDF
Model Checking as a Service: Towards Pragmatic Hidden Formal Methods
PDF
IncQuery Labs Models 2020 MIP Talk
PDF
Incquery Suite Models 2020 Conference by István Ráth, CEO of IncQuery Labs
PDF
Introducing the New MagicDraw Plug-In for RTI Connext DDS: Industrial IoT Mee...
PDF
Lessons learned from building Eclipse-based add-ons for commercial modeling t...
IncQuery_presentation_Incose_EMEA_WSEC.pptx
IncQuery-Integrate22-20220607.pdf
IncQuery Group's presentation for the INCOSE Polish Chapter 20220310
The Genesis of Holistic Systems Engineering: Completeness and Consistency Man...
IncQuery Suite demo for INCOSE 2022IW
Towards the Next Generation of Reactive Model Transformations on Low-Code Pla...
Model Checking as a Service: Towards Pragmatic Hidden Formal Methods
IncQuery Labs Models 2020 MIP Talk
Incquery Suite Models 2020 Conference by István Ráth, CEO of IncQuery Labs
Introducing the New MagicDraw Plug-In for RTI Connext DDS: Industrial IoT Mee...
Lessons learned from building Eclipse-based add-ons for commercial modeling t...

Recently uploaded (20)

PDF
Adobe Premiere Pro 2025 (v24.5.0.057) Crack free
PDF
AI in Product Development-omnex systems
PDF
How to Choose the Right IT Partner for Your Business in Malaysia
PDF
EN-Survey-Report-SAP-LeanIX-EA-Insights-2025.pdf
PDF
Navsoft: AI-Powered Business Solutions & Custom Software Development
PPTX
Introduction to Artificial Intelligence
PDF
Digital Strategies for Manufacturing Companies
PDF
Which alternative to Crystal Reports is best for small or large businesses.pdf
PPTX
VVF-Customer-Presentation2025-Ver1.9.pptx
PDF
Internet Downloader Manager (IDM) Crack 6.42 Build 42 Updates Latest 2025
PDF
SAP S4 Hana Brochure 3 (PTS SYSTEMS AND SOLUTIONS)
PPTX
Operating system designcfffgfgggggggvggggggggg
PDF
T3DD25 TYPO3 Content Blocks - Deep Dive by André Kraus
PDF
How to Migrate SBCGlobal Email to Yahoo Easily
PDF
System and Network Administration Chapter 2
PPTX
history of c programming in notes for students .pptx
PDF
Claude Code: Everyone is a 10x Developer - A Comprehensive AI-Powered CLI Tool
PDF
Addressing The Cult of Project Management Tools-Why Disconnected Work is Hold...
PDF
Softaken Excel to vCard Converter Software.pdf
PDF
wealthsignaloriginal-com-DS-text-... (1).pdf
Adobe Premiere Pro 2025 (v24.5.0.057) Crack free
AI in Product Development-omnex systems
How to Choose the Right IT Partner for Your Business in Malaysia
EN-Survey-Report-SAP-LeanIX-EA-Insights-2025.pdf
Navsoft: AI-Powered Business Solutions & Custom Software Development
Introduction to Artificial Intelligence
Digital Strategies for Manufacturing Companies
Which alternative to Crystal Reports is best for small or large businesses.pdf
VVF-Customer-Presentation2025-Ver1.9.pptx
Internet Downloader Manager (IDM) Crack 6.42 Build 42 Updates Latest 2025
SAP S4 Hana Brochure 3 (PTS SYSTEMS AND SOLUTIONS)
Operating system designcfffgfgggggggvggggggggg
T3DD25 TYPO3 Content Blocks - Deep Dive by André Kraus
How to Migrate SBCGlobal Email to Yahoo Easily
System and Network Administration Chapter 2
history of c programming in notes for students .pptx
Claude Code: Everyone is a 10x Developer - A Comprehensive AI-Powered CLI Tool
Addressing The Cult of Project Management Tools-Why Disconnected Work is Hold...
Softaken Excel to vCard Converter Software.pdf
wealthsignaloriginal-com-DS-text-... (1).pdf

Towards Continuous Consistency Checking of DevOps Artefacts

  • 1. Towards Continuous Consistency Checking of DevOps Artefacts Alessandro Colantoni1, Benedek Horváth1,2, Ákos Horváth2, Luca Berardinelli1, Manuel Wimmer1 1 Johannes Kepler University Linz, Linz, Austria 2 IncQuery Labs cPlc, Budapest, Hungary Contact: Benedek.Horvath@incquerylabs.com
  • 2. Motivation • More than 400 DevOps tools • Complex configuration scripts, textual artefacts • Semantically related configuration files • Manual effort to check their consistency 2 Goal: Continuous consistency checking of DevOps artefacts
  • 3. Example: Keptn • Open-source cloud-native application lifecycle orchestration project • Orchestrate continuous delivery (CD) pipelines with quality gate criteria • Keptn stores configuration artefacts on Git for version control 3 Service Level Indicator (SLI) Service Level Objective (SLO) Goal: Ensure the consistency of the indicator names
  • 4. Proposed Solution 4 Consistency Maintenance Service 1. Update configuration 9. Update configuration 5. Parsed models 6. Updated models 7. Validation errors 10. Resolved errors 3. Notify Configuration file to model parsing Model and links update Incremental consistency check Report generation Model serialization 8. Repaired models 11. Notify 7. Validation errors DevOps tool Model Repair Service 2. Push Adapter 4. Send DevOps Engineer How to check the consistency of artefacts that belong to different languages?
  • 5. JSON-EMF Bridge • Alessandro Colantoni, Antonio Garmendia, Luca Berardinelli, Manuel Wimmer, and Johannes Bräuer: Leveraging Model-Driven Technologies for JSON Artefacts: The Shipyard Case Study • Detailed talk on Thursday (14.10) from 5 PM (GMT+2) 5
  • 7. Viatra 7 • Model query, transformation, validation framework [1] • Validation rules as graph patterns • Model repairs as reactive model transformations
  • 8. Case Study 8 SLO metamodel Linking metamodel SLI metamodel Sli2SloLinks sli 1..* 1..* links ServiceLevelIndicators Sli2SloLink Indicators IndicatorsPatternProperties key : EString [1] value : EString [1] ServiceLevelObjectives Objective sli : EString [1] pass: SLICriteria [0..*] 1..* objectives indicators 1..1 patternProperties 0..* slo 1..* { … “indicators” : { “response_time_p95”: “builtin:service.response.time:merge(0):percentile(95….”, “response_time_p90”: “builtin:service.response.time:merge(0):percentile(90….” } … } example.sli { … “objectives” : { “sli” : “response_time_p95”, “pass” : [ {“criteria”: [“<=+10%”]} ] } … } example.slo https://github.com/lowcomote/keptn-consistency-maintenance
  • 10. Case Study Limitations • Two artefacts of the same DevOps tool (Keptn: SLI, SLO) • Linking model is created by hand • The consistency management workflow is partially implemented • Scalability evaluation is future work 10
  • 11. Conclusions and Future Work • Proposed GitOps workflow to check the artefacts’ consistency • Proof of concept implementation of the workflow • Several MDE use cases for DevOps configuration artefacts • Modeling: • GitOps adapter to reflect the Git structure as a megamodel • Query-driven soft-links to maintain the linking model [2] • Research-oriented: • Incremental parsing to have better integrations with Viatra [3] 11
  • 12. Acknowledgements • This work was funded by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No 813884, • the AIDOaRt project ECSEL Joint Undertaking (JU) under grant agreement No. 101007350, • by the Austrian Research Promotion Agency (FFG), program ICT of the Future, project number 867535, • and contributed to the ITEA3 BUMBLE project (18006). • The authors are grateful for the valuable feedback of the anonymous reviewers about the paper. 12
  • 13. References [1] Dániel Varró, Gábor Bergmann, Ábel Hegedüs, Ákos Horváth, István Ráth, Zoltán Ujhelyi: Road to a reactive and incremental model transformation platform: three generations of the VIATRA framework. Softw. Syst. Model. 15(3): 609-629 (2016) [2] Ábel Hegedüs, Ákos Horváth, István Ráth, Rodrigo Rizzi Starr, Dániel Varró: Query-driven soft traceability links for models. Softw. Syst. Model. 15(3): 733-756 (2016) [3] Thomas Goldschmidt, Steffen Becker, Axel Uhl: Classification of Concrete Textual Syntax Mapping Approaches. ECMDA-FA 2008: 169-184 13