The creation of quality software depends on the existence of a quality software design. In particular, it is important to identify inconsistencies that might be injected at the design level. We have developed a common ontology that integrates software specification knowledge and software design knowledge in order to facilitate the interoperability of formal requirements modeling tools and software design tools with the end goal of detecting errors in software designs. Our approach focuses initially on the integration of unified modeling language (UML) with the formal requirements modeling language, knowledge acquisition in automated specification (KAOS), in order to help automate the detection of inconsistencies in UML designs thereby enhancing the quality of the original design and ultimately integrating the multiple views inherent in UML. We demonstrate the integration of UML and KAOS with an elevator system case study.


    Access

    Check access

    Check availability in my library

    Order at Subito €


    Export, share and cite



    Title :

    Ontological approach to improving design quality


    Contributors:
    Hoss, A.M. (author) / Carver, D.L. (author)

    Published in:

    Publication date :

    2006-01-01


    Size :

    315715 byte




    Type of media :

    Conference paper


    Type of material :

    Electronic Resource


    Language :

    English



    Modeling of transport infrastructure: ontological approach

    K. Tkachenko / O. Tkachenko | DOAJ | 2023

    Free access


    IMAGES OF INNOVATION - AN ONTOLOGICAL APPROACH

    McAloone, T. C. / Hansen, P. K. / Larsen, J. H. et al. | British Library Conference Proceedings | 2004


    An Ontological Approach to Structural Health Monitoring

    Tsialiamanis, G. P. / Wagg, D. J. / Antoniadou, I. et al. | British Library Conference Proceedings | 2020


    AN ONTOLOGICAL APPROACH FOR CLASSIFYING AIRCRAFT ACTUATORS

    Larsson, F. / Reichenwallner, C. / Dell Amico, A. et al. | British Library Conference Proceedings | 2021