Title :
Using multi-coordinated views with agent communication protocol to detect and resolve inconsistent requirements to improve accuracy
Author :
Heng, TanLai ; Ming, Lim Tong
Author_Institution :
Sch. of Comput. Technol., Sunway Univ. Coll., Bandar Sunway, Malaysia
Abstract :
There are few challenges with eliciting requirements from stakeholders. Firstly, inconsistent requirements are usually not realized by stakeholders at the point of requirement specification compilation. Secondly, existing inconsistency checking techniques are usually mathematically or formally validated in a non-collaborative environment which is less practical and not productive for multiple stakeholders. In this research, a proposed requirements conflict detection and resolution solution is provided. The requirements from multiple stakeholders are captured as views on the functional requirements of a business domain using a proposed Semi-formal Ontology Driven Domain-Specific Requirements Specification Language. The proposed language will capture other relevant requirements includes domain, actors, relationships, processes, condition, and data fields to enable consistency checking. The proposed solution enables proper consistency checking in two ways: (1) Inter-Check (check within captured ontology), and (2) Intra-Check (check among stakeholders´ views) so that stakeholders can resolve detected conflicts collaboratively through Agent Communication Protocol. Lab test will be conducted with a selected group of novice users to measure the learning curve (hours) for adopting the proposed solution as well as the accuracy and the consistency. A few set of requirements will be given to the group of selected users and a prototype for proposed solution will be produced. The values of this research are: (1) to improve the understanding of how much accuracy the inconsistent requirements detection is helps stakeholders and requirements analysts improve their effort in requirements conflicts detection, (2) to improve the understanding of what inconsistent requirements are detected during elicitation helps stakeholders improve the awareness of requirements conflicts.
Keywords :
formal specification; formal verification; groupware; knowledge acquisition; protocols; software engineering; specification languages; agent communication protocol; conflict detection; consistency checking; formal validation; inconsistency checking techniques; learning curve; multicoordinated views; multiple stakeholder eliciting requirement; noncollaborative environment; resolution solution; semiformal ontology driven domain specific requirement specification language; agent communication protocol; domain-specific; multi-cordinated views; requirements conflicts detection and resolution; semi-formal;
Conference_Titel :
Information Technology (ITSim), 2010 International Symposium in
Conference_Location :
Kuala Lumpur
Print_ISBN :
978-1-4244-6715-0
DOI :
10.1109/ITSIM.2010.5561578