Representing Software Process in Description Logics: An Ontology Approach for Software Process Reasoning and Verification
Loading...
Date
2016
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Springer, Cham.
Abstract
Software process is critical for producing high quality software. However, software processes are usually described in natural language which makes it difficult to verify if they have been fully or how well implemented in
complex software projects. It’s also hard for practitioners to implement processes from different standards and make sure they work harmonically, consistently and completely. Composition Tree (CT) notation, a Behavior Engineering approach
has been successfully used to formalize software process in previous work. However, there are no reasoning tools for CT to automatically check and verify the modeled software processes. In this study we explore the synergy of software
process modeling and Description Logics (DLs). Given the rich expressiveness of DLs and their efficient and automated reasoning support, DLs can be used to reason and verify software processes more effectively. We propose an algorithm
for transforming CT software process model into a DL so that DL reasoning engines can be used to perform automated software process analysis.
Description
Keywords
Software process, Composition tree, Description logics, Automatic
Citation
Kabaale, E., Wen, L., Wang, Z., & Rout, T. (2016, June). Representing software process in description logics: an ontology approach for software process reasoning and verification. In International Conference on Software Process Improvement and Capability Determination (pp. 362-376). Springer, Cham.