DevFemOps: enhancing maintainability based on microservices using formal engineering methods. Issue 1 (31st December 2022)

• Record Type: Journal Article
• Authors: Fukuzaki, Tetsuo; Liu, Shaoying; Butler, Michael
• Is Part Of: Connection science. Volume 34:Issue 1(2022)
• Page Start: 2125
• Page End: 2138
• Publication Date: 2022-12-31
• Subjects: Formal methods -- formal engineering methods -- microservices -- agile development -- devops; Neural computers -- Periodicals; Artificial intelligence -- Periodicals; Cognitive science -- Periodicals; Connectionism -- Periodicals; 006.3
• DOI: 10.1080/09540091.2022.2099347
• Languages: English
• ISSNs: 0954-0091

Abstract

Abstract : How can we make software services evolve safely and be long-lived? By designing on the premise of microservices, the services become loosely coupled, which can localise the changes in the system and accelerate the changes. However, from a medium- to long-term perspective, it is not easy to respond to changes in technology trends, business changes including legal revisions, and changes in user requirements among the changing project members. We propose DevFemOps as a way to enhance maintainability and achieve continuous quality improvement, coining the term DevFemOps to place Formal Engineering Methods at the center of the DevOps cycle. We also define the DevFemOps QA engineer as a new role within the agile development squad that is responsible for the quality of the product. In this paper, we will describe how the DevOps cycle, with QA engineers at the center, can bring us closer to the goal of DevFemOps.