Representing Software Process in Description Logics: An Ontology Approach for Software Process Reasoning and Verification
File version
Author(s)
Wen, Lian
Wang, Zhe
Rout, Terry
Griffith University Author(s)
Primary Supervisor
Other Supervisors
Editor(s)
Clarke, PM
OConnor, RV
Rout, T
Dorling, A
Date
Size
File type(s)
Location
License
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. Case studies and simple examples are also given to justify the feasibility of this proposed approach.
Journal Title
Communications in Computer and Information Science
Conference Title
Book Title
Edition
Volume
609
Issue
Thesis Type
Degree Program
School
Patent number
Funder(s)
Grant identifier(s)
Rights Statement
Rights Statement
Item Access Status
Note
Access the data
Related item(s)
Subject
Software engineering
Software process
Composition tree
Description logics
Automatic reasoning
Process verification
Behavior engineering
Software engineering