MaramaAI: Automated and Visual Approach for Inconsistency Checking of Requirements

Author

Kamalrudin, Massila ; Hosking, John ; Grundy, John

Author_Institution

Dept. of Electr. & Comput. Eng., Univ. of Auckland, Auckland, New Zealand

fYear

2010

fDate

Sept. 27 2010-Oct. 1 2010

Firstpage

393

Lastpage

394

Abstract

Requirements are commonly vague and ambiguous. In this paper, we describe an automated Inconsistency Checker called MaramaAI for checking for high-level inconsistency between textual requirements, abstract interactions and Essential Use Cases. We use concepts of phrase extraction and essential interaction patterns to carry out these checks. We provide further support for checking of requirements quality attributes such as completeness and correctness using visual differencing.

Keywords

data integrity; formal specification; formal verification; systems analysis; text analysis; MaramaAI; abstract interaction; automated inconsistency checker; essential interaction pattern; high-level inconsistency; phrase extraction; requirement quality attribute; textual requirement; visual differencing; Conferences; Libraries; Natural languages; Software; Software engineering; Unified modeling language; Visualization; essential interaction pattern; higher level inconsistency; visual differencing;

fLanguage

English

Publisher

ieee

Conference_Titel

Requirements Engineering Conference (RE), 2010 18th IEEE International

Conference_Location

Sydney, NSW

ISSN

1090-705X

Print_ISBN

978-1-4244-8022-7

Type

conf

DOI

10.1109/RE.2010.54

Filename

5636650