Formal and use-case driven requirement analysis in UML

Xiaoshan Li; Zhiming Liu; Jifeng He

doi:10.1109/CMPSAC.2001.960619

Formal and use-case driven requirement analysis in UML

Xiaoshan Li
, Zhiming Liu
, Jifeng He

Research output: Contribution to journal › Article › peer-review

33 Scopus citations

Abstract

We have recently proposed a formalization of the use of UML in requirement analysis. This paper applies that formalization to a library system as a case study. We intend to show how the approach supports a use case-driven, step-wised and incremental development in building models for requirement analysis. The actual process of building the models shows the importance and feasibility of the formalization itself.

Original language	English
Pages (from-to)	215-224
Number of pages	10
Journal	Proceedings - IEEE Computer Society's International Computer Software and Applications Conference
DOIs	https://doi.org/10.1109/CMPSAC.2001.960619
State	Published - 2001
Externally published	Yes

Keywords

Conceptual Model
Incremental Model Building
Object-Orientation
UML
Use Cases

Access to Document

10.1109/CMPSAC.2001.960619

Cite this

@article{e2e6f0c64c484f26929d505676044c3f,

title = "Formal and use-case driven requirement analysis in UML",

abstract = "We have recently proposed a formalization of the use of UML in requirement analysis. This paper applies that formalization to a library system as a case study. We intend to show how the approach supports a use case-driven, step-wised and incremental development in building models for requirement analysis. The actual process of building the models shows the importance and feasibility of the formalization itself.",

keywords = "Conceptual Model, Incremental Model Building, Object-Orientation, UML, Use Cases",

author = "Xiaoshan Li and Zhiming Liu and Jifeng He",

year = "2001",

doi = "10.1109/CMPSAC.2001.960619",

language = "英语",

pages = "215--224",

journal = "Proceedings - IEEE Computer Society's International Computer Software and Applications Conference",

issn = "0730-3157",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - JOUR

T1 - Formal and use-case driven requirement analysis in UML

AU - Li, Xiaoshan

AU - Liu, Zhiming

AU - He, Jifeng

PY - 2001

Y1 - 2001

N2 - We have recently proposed a formalization of the use of UML in requirement analysis. This paper applies that formalization to a library system as a case study. We intend to show how the approach supports a use case-driven, step-wised and incremental development in building models for requirement analysis. The actual process of building the models shows the importance and feasibility of the formalization itself.

AB - We have recently proposed a formalization of the use of UML in requirement analysis. This paper applies that formalization to a library system as a case study. We intend to show how the approach supports a use case-driven, step-wised and incremental development in building models for requirement analysis. The actual process of building the models shows the importance and feasibility of the formalization itself.

KW - Conceptual Model

KW - Incremental Model Building

KW - Object-Orientation

KW - UML

KW - Use Cases

UR - https://www.scopus.com/pages/publications/0035176183

U2 - 10.1109/CMPSAC.2001.960619

DO - 10.1109/CMPSAC.2001.960619

M3 - 文章

AN - SCOPUS:0035176183

SN - 0730-3157

SP - 215

EP - 224

JO - Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

JF - Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

ER -

Formal and use-case driven requirement analysis in UML

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this