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.


    Zugriff

    Zugriff prüfen

    Verfügbarkeit in meiner Bibliothek prüfen

    Bestellung bei Subito €


    Exportieren, teilen und zitieren



    Titel :

    Ontological approach to improving design quality


    Beteiligte:
    Hoss, A.M. (Autor:in) / Carver, D.L. (Autor:in)

    Erschienen in:

    Erscheinungsdatum :

    2006-01-01


    Format / Umfang :

    315715 byte




    Medientyp :

    Aufsatz (Konferenz)


    Format :

    Elektronische Ressource


    Sprache :

    Englisch



    Ontological Approach to Share Product Design Semantics for an Assembly

    Hasan, Baha / Wikander, Jan / Onori, Mauro | BASE | 2016

    Freier Zugriff


    AN ONTOLOGICAL APPROACH FOR CLASSIFYING AIRCRAFT ACTUATORS

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



    Victor Anderson, Beyond Ontological Blackness

    Mulligan, M. A. | British Library Online Contents | 1997