Show simple item record

dc.contributor.authorKabaale, Edward
dc.contributor.authorWen, Lian
dc.contributor.authorWang, Zhe
dc.contributor.authorRout, Terry
dc.contributor.editorClarke, PM
dc.contributor.editorOConnor, RV
dc.contributor.editorRout, T
dc.contributor.editorDorling, A
dc.date.accessioned2019-03-22T01:11:53Z
dc.date.available2019-03-22T01:11:53Z
dc.date.issued2016
dc.identifier.issn1865-0929
dc.identifier.doi10.1007/978-3-319-38980-6_26
dc.identifier.urihttp://hdl.handle.net/10072/124138
dc.description.abstractSoftware 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.
dc.description.peerreviewedYes
dc.languageEnglish
dc.publisherSpringer
dc.publisher.urihttps://link.springer.com/chapter/10.1007%2F978-3-319-38980-6_26
dc.relation.ispartofpagefrom362
dc.relation.ispartofpageto376
dc.relation.ispartofjournalCommunications in Computer and Information Science
dc.relation.ispartofvolume609
dc.subject.fieldofresearchSoftware Engineering
dc.subject.fieldofresearchcode080309
dc.subject.keywordsSoftware process
dc.subject.keywordsComposition tree
dc.subject.keywordsDescription logics
dc.subject.keywordsAutomatic reasoning
dc.subject.keywordsProcess verification
dc.subject.keywordsBehavior engineering
dc.subject.keywordsSoftware engineering
dc.titleRepresenting Software Process in Description Logics: An Ontology Approach for Software Process Reasoning and Verification
dc.typeJournal article
dc.type.descriptionC1 - Articles
dc.type.codeC - Journal Articles
gro.facultyGriffith Sciences, School of Information and Communication Technology
gro.hasfulltextNo Full Text
gro.griffith.authorRout, Terry P.
gro.griffith.authorWen, Larry
gro.griffith.authorWang, Zhe
gro.griffith.authorKabaale, Edward


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

  • Journal articles
    Contains articles published by Griffith authors in scholarly journals.

Show simple item record