Browsing by Author "Rout, Terry"

Now showing 1 - 3 of 3
  • Thumbnail Image
    Item
    An Axiom Based Metamodel for Software Process Formalisation: An Ontology Approach
    (Springer, Cham, 2017) Kabaale, Edward; Wen, Lian; Wang, Zhe; Rout, Terry
    Software development usually follows well known process models and standards for development processes. However, these are usually diverse and described in natural language which complicates their automation, adaptivity and verification. The need for process formalization has long been highlighted, and we have provided a formalization and translation algorithm to that effect in earlier work. However, to systematically and faithfully formalize heterogeneous processes from different standards and process models, there is a need to utilize uniform concepts to underpin the formalization process. Meta models and ontologies have been explored recently to lay a foundation for structuring and expressing additional rigour to process formalization. In this study, we develop an axiom based meta model utilizing power type patterns as a conceptual framework to underpin homogeneous process formalization. The advantage of an axiomatic and power type based meta model approach lies in its potential to determine the meta model basic constituents and formalism as well as its extensibility and adaptability. We formalize the meta model using ontologies while adopting use cases from ISO/IEC 29110 and ISO/IEC 24744 standards for meta model illustrations. Ontology based process descriptions enable process automated verification and adaptivity capability through the use of ontology reasoning support engines
  • Thumbnail Image
    Item
    Ensuring Conformance to Process Standards Through Formal Verification
    (Springer, Cham, 2018) Kabaale, Edward; Wen, Lian; Wang, Zhe; Rout, Terry
    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.
  • Thumbnail Image
    Item
    Representing Software Process in Description Logics: An Ontology Approach for Software Process Reasoning and Verification
    (Springer, Cham., 2016) Kabaale, Edward; Wen, Lian; Wang, Zhe; Rout, Terry
    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.