DocumentCode :
3067208
Title :
Modeling software characteristics and their correlations in a specific domain by comparing existing similar systems
Author :
Osada, Akira ; Ozawa, Daigo ; Kaiya, Haruhiko ; Kaijiri, Kenji
Author_Institution :
Graduate Sch. of Sci. & Technol., Shinshu Univ., Nagano, Japan
fYear :
2005
fDate :
19-20 Sept. 2005
Firstpage :
215
Lastpage :
222
Abstract :
Software in a specific domain has several characteristics and each characteristic should be fixed when the software requirements are specified. In addition, these characteristics sometimes correlate with each other. However, we sometimes forget to specify several characteristics and/or to take their correlations into account during requirements elicitation. In this paper, we propose a meta-model for representing such characteristics and their correlations, and also propose a method to build a model for a specific domain by using documents about existing software systems. By using our model for a domain, a requirements specification for a system in the domain could be complete and unambiguous because requirements analysts can check the characteristics that should be decided. The specification could be also correct and consistent because the analysts can know side effects of a requirement change by using correlation among the characteristics. We have applied our methods to a case study for confirming the usefulness of such model and the methods.
Keywords :
formal specification; formal verification; meta-model; requirements elicitation; requirements specification; software modeling; software requirement; software systems; Knowledge management; Libraries; Software quality; Software systems; Domain Modeling.; Requirements Engineering; Requirements elicitation;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Quality Software, 2005. (QSIC 2005). Fifth International Conference on
ISSN :
1550-6002
Print_ISBN :
0-7695-2472-9
Type :
conf
DOI :
10.1109/QSIC.2005.43
Filename :
1579138
Link To Document :
بازگشت