{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,26]],"date-time":"2025-12-26T07:11:37Z","timestamp":1766733097885,"version":"3.40.3"},"publisher-location":"Cham","reference-count":27,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030891589"},{"type":"electronic","value":"9783030891596"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-89159-6_1","type":"book-chapter","created":{"date-parts":[[2021,10,11]],"date-time":"2021-10-11T17:57:10Z","timestamp":1633975030000},"page":"3-17","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":12,"title":["An Introduction to Graphical Modeling of CI\/CD Workflows with Rig"],"prefix":"10.1007","author":[{"given":"Tim","family":"Tegeler","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Teumert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonas","family":"Sch\u00fcrmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Bainczyk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Busch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bernhard","family":"Steffen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,10,12]]},"reference":[{"key":"1_CR1","unstructured":"GitLab CI\/CD (2021). https:\/\/gitlab.com\/gitlab-org\/gitlab\/-\/blob\/45150e27065257f0251484de55fc3d42d9dd5dbd\/doc\/ci\/index.md. Accessed 31 Aug 2021"},{"key":"1_CR2","unstructured":"Allspaw, J., Hammond, P.: 10+ deploys per day: Dev and ops cooperation at Flickr. In: Velocity: Web Performance and Operations Conference, June 2009. https:\/\/www.youtube.com\/watch?v=LdOe18KhtT4"},{"key":"1_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/978-3-319-68270-9_7","volume-title":"ModelEd, TestEd, TrustEd","author":"A Bainczyk","year":"2017","unstructured":"Bainczyk, A., Schieweck, A., Steffen, B., Howar, F.: Model-based testing without models: the TodoMVC case study. In: Katoen, J.-P., Langerak, R., Rensink, A. (eds.) ModelEd, TestEd, TrustEd. LNCS, vol. 10500, pp. 125\u2013144. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-68270-9_7"},{"key":"1_CR4","volume-title":"DevOps: A Software Architect\u2019s Perspective","author":"L Bass","year":"2015","unstructured":"Bass, L., Weber, I., Zhu, L.: DevOps: A Software Architect\u2019s Perspective. Addison-Wesley Professional, Boston (2015)"},{"key":"1_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/978-3-030-03418-4_21","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Modeling","author":"MH ter Beek","year":"2018","unstructured":"ter Beek, M.H., Cleophas, L., Schaefer, I., Watson, B.W.: X-by-construction. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11244, pp. 359\u2013364. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-03418-4_21"},{"key":"1_CR6","unstructured":"Ben-Kiki, O., Evans, C., d\u00f6t Net, I.: YAML Ain\u2019t Markup Language (YAML\u2122) Version 1.2 (2009). https:\/\/yaml.org\/spec\/1.2\/spec.html. Accessed 22 June 2021"},{"key":"1_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"809","DOI":"10.1007\/978-3-319-47169-3_60","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications","author":"S Bo\u00dfelmann","year":"2016","unstructured":"Bo\u00dfelmann, S., et al.: DIME: a programming-less modeling environment for web applications. In: Margaria, T., Steffen, B. (eds.) ISoLA 2016. LNCS, vol. 9953, pp. 809\u2013832. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47169-3_60"},{"key":"1_CR8","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/j.jss.2017.02.013","volume":"128","author":"L Chen","year":"2017","unstructured":"Chen, L.: Continuous delivery: overcoming adoption challenges. J. Syst. Softw. 128, 72\u201386 (2017)","journal-title":"J. Syst. Softw."},{"issue":"8","key":"1_CR9","first-page":"3","volume":"24","author":"P Debois","year":"2011","unstructured":"Debois, P., et al.: Devops: a software revolution in the making. J. Inf. Technol. Manag. 24(8), 3\u201339 (2011)","journal-title":"J. Inf. Technol. Manag."},{"key":"1_CR10","unstructured":"Dolstra, E.: The Purely Functional Software Deployment Model. Ph.D. thesis, Utrecht University, Netherlands (2006). https:\/\/dspace.library.uu.nl\/bitstream\/handle\/1874\/7540\/?sequence=7"},{"key":"1_CR11","unstructured":"Fowler, M.: Continuous Integration (2000). http:\/\/martinfowler.com\/articles\/continuousIntegration.html. Updated version from Mai 2006"},{"key":"1_CR12","unstructured":"GitLab Inc., contributors: Validate.gitlab-ci.yml syntax with the CI Lint tool. https:\/\/docs.gitlab.com\/ee\/ci\/lint.html. Accessed 03 Sept 2021"},{"key":"1_CR13","unstructured":"Huntley, G.: No YAML. https:\/\/noyaml.com\/. Accessed 3 Sept 2021"},{"key":"1_CR14","doi-asserted-by":"publisher","unstructured":"Kelly, S., Tolvanen, J.P.: Domain-Specific Modeling: Enabling Full Code Generation. Wiley-IEEE Computer Society Press, Hoboken (2008). https:\/\/doi.org\/10.1002\/9780470249260","DOI":"10.1002\/9780470249260"},{"key":"1_CR15","unstructured":"Macvean, A., Church, L., Daughtry, J., Citro, C.: API usability at scale. In: PPIG, p. 26 (2016)"},{"issue":"6","key":"1_CR16","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1109\/MC.2010.177","volume":"43","author":"T Margaria","year":"2010","unstructured":"Margaria, T., Steffen, B.: Simplicity as a driver for agile innovation. Computer 43(6), 90\u201392 (2010). https:\/\/doi.org\/10.1109\/MC.2010.177","journal-title":"Computer"},{"key":"1_CR17","volume-title":"Eclipse Rich Client Platform","author":"J McAffer","year":"2010","unstructured":"McAffer, J., Lemieux, J.M., Aniszczyk, C.: Eclipse Rich Client Platform, 2nd edn. Addison-Wesley Professional, Boston (2010)","edition":"2"},{"issue":"3","key":"1_CR18","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/s10009-017-0453-6","volume":"20","author":"S Naujokat","year":"2017","unstructured":"Naujokat, S., Lybecait, M., Kopetzki, D., Steffen, B.: CINCO: a simplicity-driven approach to full generation of domain-specific graphical modeling tools. Int. J. Softw. Tools Technol. Transfer 20(3), 327\u2013354 (2017). https:\/\/doi.org\/10.1007\/s10009-017-0453-6","journal-title":"Int. J. Softw. Tools Technol. Transfer"},{"key":"1_CR19","unstructured":"O\u2019Connor, C.: The Norway Problem - why StrictYAML refuses to do implicit typing and so should you. https:\/\/hitchdev.com\/strictyaml\/why\/implicit-typing-removed\/. Accessed 3 Sept 2021"},{"key":"1_CR20","unstructured":"Osmani, A., et al.: TodoMVC - Helping you select an MV* framework (2021). https:\/\/todomvc.com\/. Accessed 31 Aug 2021"},{"key":"1_CR21","doi-asserted-by":"publisher","first-page":"3909","DOI":"10.1109\/ACCESS.2017.2685629","volume":"5","author":"M Shahin","year":"2017","unstructured":"Shahin, M., Babar, M.A., Zhu, L.: Continuous integration, delivery and deployment: a systematic review on approaches, tools, challenges and practices. IEEE Access 5, 3909\u20133943 (2017). https:\/\/doi.org\/10.1109\/ACCESS.2017.2685629","journal-title":"IEEE Access"},{"key":"1_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"311","DOI":"10.1007\/978-3-319-91908-9_17","volume-title":"Computing and Software Science","author":"B Steffen","year":"2019","unstructured":"Steffen, B., Gossen, F., Naujokat, S., Margaria, T.: Language-driven engineering: from general-purpose to purpose-specific languages. In: Steffen, B., Woeginger, G. (eds.) Computing and Software Science. LNCS, vol. 10000, pp. 311\u2013344. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-319-91908-9_17"},{"key":"1_CR23","doi-asserted-by":"publisher","unstructured":"Tegeler, T., Gossen, F., Steffen, B.: A model-driven approach to continuous practices for modern cloud-based web applications. In: 2019 9th International Conference on Cloud Computing, Data Science Engineering (Confluence), pp. 1\u20136 (2019). https:\/\/doi.org\/10.1109\/CONFLUENCE.2019.8776962","DOI":"10.1109\/CONFLUENCE.2019.8776962"},{"key":"1_CR24","unstructured":"Teumert, S.: Visual Authoring of CI\/CD Pipeline Configurations. Bachelor\u2019s thesis, TU Dortmund University (2021). https:\/\/archive.org\/details\/visual-authoring-of-cicd-pipeline-configurations"},{"key":"1_CR25","unstructured":"Wirkner, D.: Merge-Strategien f\u00fcr Graphmodelle am Beispiel von jABC und Git. Diploma thesis, TU Dortmund (2015)"},{"key":"1_CR26","unstructured":"Zweihoff, P.: Cinco Products for the Web. Master thesis, TU Dortmund (2015)"},{"key":"1_CR27","doi-asserted-by":"publisher","unstructured":"Zweihoff, P., Naujokat, S., Steffen, B.: Pyro: generating domain-specific collaborative online modeling environments. In: Proceedings of the 22nd International Conference on Fundamental Approaches to Software Engineering (FASE 2019) (2019). https:\/\/doi.org\/10.1007\/978-3-030-16722-6_6","DOI":"10.1007\/978-3-030-16722-6_6"}],"container-title":["Lecture Notes in Computer Science","Leveraging Applications of Formal Methods, Verification and Validation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-89159-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,3,25]],"date-time":"2022-03-25T08:04:04Z","timestamp":1648195444000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-89159-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030891589","9783030891596"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-89159-6_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"12 October 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ISoLA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Leveraging Applications of Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rhodes","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Greece","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 October 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29 October 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"isola2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/isola-conference.org\/isola2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}