Automated completeness check in KAOS

NWOKEJI, Joshua C., CLARK, Tony, BARN, Balbir and KULKARNI, Vinay (2014). Automated completeness check in KAOS. In: INDULSKA, Marta and PURAO, Sandeep, (eds.) Advances in conceptual modeling : ER 2014 Workshops, ENMO, MoBiD, MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta, GA, USA, October 27-29, 2014. Proceedings. Lecture Notes in Computer Science (8823). Springer International Publishing, 133-138.

[img]
Preview
PDF
Automated_KAOS.pdf - Accepted Version
All rights reserved.

Download (794kB) | Preview
Link to published version:: https://doi.org/10.1007/978-3-319-12256-4_14
Related URLs:

    Abstract

    KAOS is a popular and useful goal oriented requirements engineering (GORE) language, which can be used in business requirements modelling, specification, and analysis. Currently, KAOS is being used in areas such as business process modelling, and enterprise architecture (EA). But, an incomplete or malformed KAOS model can result to incomplete and erroneous requirements analysis, which in turn can lead to overall systems failure . Therefore, it is necessary to check that a requirements specification in KAOS language are complete and well formed. The contribution at hand is to provide an automated technique for checking the completeness and well-formed-ness of a requirements specification in KAOS language. Such a technique can be useful, especially to business or requirements analysts in industries and research, to check that requirements specification in KAOS language is well formed.

    Item Type: Book Section
    Research Institute, Centre or Group - Does NOT include content added after October 2018: Cultural Communication and Computing Research Institute > Communication and Computing Research Centre
    Departments - Does NOT include content added after October 2018: Faculty of Science, Technology and Arts > Department of Computing
    Identification Number: https://doi.org/10.1007/978-3-319-12256-4_14
    Page Range: 133-138
    Depositing User: Tony Clark
    Date Deposited: 15 Jun 2016 14:39
    Last Modified: 28 Jan 2018 07:11
    URI: http://shura.shu.ac.uk/id/eprint/12073

    Actions (login required)

    View Item View Item

    Downloads

    Downloads per month over past year

    View more statistics