Ensuring Conformance to Process Standards Through Formal Verification
Loading...
Date
2018
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Springer, Cham
Abstract
Software process standards and models encapsulate best practices and guidelines for engineering and managing software. These are usually prescribed in natural language. However, natural language based process specifications can be inconsistent and ambiguous that makes it difficult to monitor and verify if they have been fully implemented and adhered too in a given software project. Besides the process of defining and documenting the necessary evidence to comply with process
standard requirements is often manual, time consuming and laborious. In earlier studies, we developed a translation scheme and metamodel for consistent and uniform software process formalisation. In the current study, we leverage the formal process specification to develop a two-step formal process verification approach; first we extract process requirements from the standard documents and translate them into logical axioms. We then augment these axioms with additional informationin a process verification ontology. This ontology is then utilised in conformance verification of a performed process.We demonstrate the feasibility of our approach with software requirements analysis process and a case study.
Description
Keywords
Process, Standards, Ontology, Verification
Citation
Kabaale, E., Wen, L., Wang, Z., & Rout, T. (2018, October). Ensuring conformance to process standards through formal verification. In International Conference on Software Process Improvement and Capability Determination (pp. 248-262). Springer, Cham.