Providing a behavioral and static formal model to elicit the functional software requirement

Ching Huey Wang*, William C. Chu, Feng-Jian Wang

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

Information techniques have been changing in the past few years. Facing the highly changeable environment, software development encounters more and more difficulties and challenges because extracting the requirements of products is getting more difficult than before. Since the correctness of product requirements is the key point determining the success or failure of project developments. However, there is no perfect solution currently. Additionally, requirements are often written in a natural language that is inherently ambiguous. One way to avoid the ambiguity is to write the requirement specifically within a particular required specification language [5]. Consequently, requirement specification should use a special descriptive language to comprise several essential parts, namely, the purposes of specification, terms definition, specific constrains, audiences, and communication interfaces, which dominate the development effort. However, these parts have always been ignored in previous studies. In this article, we propose a requirement specification formal model which synthesizes a behavior model from the scenario [1] and operational software model [2] from goal-oriented requirement elaboration [2][3][4] to refer to the IEEE recommended practice for software requirements specifications [5]. The proposed formal model may help developers produce data in proper sequence, establish the basis functional requirement according to the top level goal under inviolate limitation, specify components interaction time slide consider system essential components, and organize the outside communication interfaces of the system referring components interaction scenario.

Original languageEnglish
Title of host publicationProceedings of the 2005 IEEE International Conference on Information Reuse and Integration, IRI - 2005
Pages44-49
Number of pages6
DOIs
StatePublished - 1 Dec 2005
Event2005 IEEE International Conference on Information Reuse and Integration, IRI - 2005 - Las Vegas, NV, United States
Duration: 15 Aug 200517 Aug 2005

Publication series

NameProceedings of the 2005 IEEE International Conference on Information Reuse and Integration, IRI - 2005
Volume2005

Conference

Conference2005 IEEE International Conference on Information Reuse and Integration, IRI - 2005
CountryUnited States
CityLas Vegas, NV
Period15/08/0517/08/05

Keywords

  • Goal-Oriented definition language
  • Requirement specification
  • Software requirement

Fingerprint Dive into the research topics of 'Providing a behavioral and static formal model to elicit the functional software requirement'. Together they form a unique fingerprint.

Cite this