A relational model for formal object-oriented requirement analysis in UML

Zhiming Liu; He Jifeng; Xiaoshan Li; Yifeng Chen

doi:10.1007/978-3-540-39893-6_36

A relational model for formal object-oriented requirement analysis in UML

Zhiming Liu^*
, He Jifeng
, Xiaoshan Li
, Yifeng Chen

^*Corresponding author for this work

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

39 Scopus citations

Abstract

This paper is towards the development of a methodology for objectoriented software development. The intention is to support effective use of a formal model for specifying and reasoning during the requirements analysis and design of a software development process. The overall purpose is to enhance the application of the Unified Modelling Language (UML) with a formal semantics in the Rational Unified Software Development Process (RUP). The semantic framework defines the meaning of some UML submodels. It identifies both the static and dynamic relationships among these submodels. Thus, the focus of this paper is the development of a semantic model to consistently combine a use-case model and a conceptual class diagram to form a system specification.

Original language	English
Pages (from-to)	641-664
Number of pages	24
Journal	Lecture Notes in Computer Science
Volume	2885
DOIs	https://doi.org/10.1007/978-3-540-39893-6_36
State	Published - 2003
Externally published	Yes

Keywords

Conceptual models
Object-orientation
Requirement specification
UML
Use-cases

Access to Document

10.1007/978-3-540-39893-6_36

Cite this

@article{ec237acd72d546588c7a29ee07f93350,

title = "A relational model for formal object-oriented requirement analysis in UML",

abstract = "This paper is towards the development of a methodology for objectoriented software development. The intention is to support effective use of a formal model for specifying and reasoning during the requirements analysis and design of a software development process. The overall purpose is to enhance the application of the Unified Modelling Language (UML) with a formal semantics in the Rational Unified Software Development Process (RUP). The semantic framework defines the meaning of some UML submodels. It identifies both the static and dynamic relationships among these submodels. Thus, the focus of this paper is the development of a semantic model to consistently combine a use-case model and a conceptual class diagram to form a system specification.",

keywords = "Conceptual models, Object-orientation, Requirement specification, UML, Use-cases",

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

year = "2003",

doi = "10.1007/978-3-540-39893-6\_36",

language = "英语",

volume = "2885",

pages = "641--664",

journal = "Lecture Notes in Computer Science",

issn = "0302-9743",

publisher = "Springer Science and Business Media Deutschland GmbH",

}

TY - JOUR

T1 - A relational model for formal object-oriented requirement analysis in UML

AU - Liu, Zhiming

AU - Jifeng, He

AU - Li, Xiaoshan

AU - Chen, Yifeng

PY - 2003

Y1 - 2003

N2 - This paper is towards the development of a methodology for objectoriented software development. The intention is to support effective use of a formal model for specifying and reasoning during the requirements analysis and design of a software development process. The overall purpose is to enhance the application of the Unified Modelling Language (UML) with a formal semantics in the Rational Unified Software Development Process (RUP). The semantic framework defines the meaning of some UML submodels. It identifies both the static and dynamic relationships among these submodels. Thus, the focus of this paper is the development of a semantic model to consistently combine a use-case model and a conceptual class diagram to form a system specification.

AB - This paper is towards the development of a methodology for objectoriented software development. The intention is to support effective use of a formal model for specifying and reasoning during the requirements analysis and design of a software development process. The overall purpose is to enhance the application of the Unified Modelling Language (UML) with a formal semantics in the Rational Unified Software Development Process (RUP). The semantic framework defines the meaning of some UML submodels. It identifies both the static and dynamic relationships among these submodels. Thus, the focus of this paper is the development of a semantic model to consistently combine a use-case model and a conceptual class diagram to form a system specification.

KW - Conceptual models

KW - Object-orientation

KW - Requirement specification

KW - UML

KW - Use-cases

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

U2 - 10.1007/978-3-540-39893-6_36

DO - 10.1007/978-3-540-39893-6_36

M3 - 文章

AN - SCOPUS:0345255232

SN - 0302-9743

VL - 2885

SP - 641

EP - 664

JO - Lecture Notes in Computer Science

JF - Lecture Notes in Computer Science

ER -

A relational model for formal object-oriented requirement analysis in UML

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this