Automated completeness check in KAOS
Conference paper
Nwokeji, J., Clark, T., Barn, B. and Kulkarni, V. 2014. Automated completeness check in KAOS. Indulska, M. and Purao, S. (ed.) 33rd International Conference on Conceptual Modeling. Atlanta, United States 27 - 29 Oct 2014 Cham Springer. https://doi.org/10.1007/978-3-319-12256-4_14
Type | Conference paper |
---|---|
Title | Automated completeness check in KAOS |
Authors | Nwokeji, J., Clark, T., Barn, B. and Kulkarni, V. |
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. |
Conference | 33rd International Conference on Conceptual Modeling |
Proceedings Title | Advances in Conceptual Modeling ER 2014 Workshops, ENMO, MoBiD, MReBA, QMMQ, SeCoGIS, WISM, and ER Demos, Atlanta, GA, USA, October 27-29, 2014. Proceedings |
Series | Lecture Notes in Computer Science |
Editors | Indulska, M. and Purao, S. |
ISSN | 0302-9743 |
Electronic | 1611-3349 |
ISBN | |
Paperback | 9783319122557 |
Electronic | 9783319122564 |
Publisher | Springer |
Place of publication | Cham |
Publication dates | |
29 Sep 2014 | |
Online | 10 Oct 2014 |
Publication process dates | |
Deposited | 26 Jan 2024 |
Digital Object Identifier (DOI) | https://doi.org/10.1007/978-3-319-12256-4_14 |
Scopus EID | 2-s2.0-84910596395 |
Web of Science identifier | WOS:000347634000014 |
Web address (URL) of conference proceedings | https://doi.org/10.1007/978-3-319-12256-4 |
https://repository.mdx.ac.uk/item/z2126
41
total views0
total downloads0
views this month0
downloads this month