On Constructing Software Environment Ontology for Time-Continuous Environment

被引：0

作者：

Chen, Xiaohong ^{[1
,2
]}

Liu, Jing ^{[1
]}

Ding, Zuohua ^{[3
]}

机构：

[1] E China Normal Univ, Shanghai Key Lab Trustworthy Comp, Shanghai 20062, Peoples R China

[2] Peking Univ, Minist Educ, Key Lab High Confidence Software Technol, Beijing 100871, Peoples R China

[3] Zhejiang Sci Tech Univ, Ctr Math Comp & Software Engn, Hangzhou 310018, Peoples R China

来源：

KNOWLEDGE SCIENCE, ENGINEERING AND MANAGEMENT | 2011年 / 7091卷

基金：

中国国家自然科学基金;

关键词：

requirements engineering; environment; time-continuous property; software environment ontology; problem frames approach; SYSTEMS;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

It is well known that environment plays an important part in requirements engineering(RE). However, at present the time-continuous properties of the environment are not considered yet in RE. This paper proposes to model the time-continuous environment by constructing a software environment ontology. Based on this ontology, a small example is given for deriving software requirements specification using problem frames approach under different situations. The results show that the software behaviors can be more accurately determined with respect to time-continuous environment by using time as a measurement.

引用

页码：148 / +

页数：3

共 12 条

[1] THE ALGORITHMIC ANALYSIS OF HYBRID SYSTEMS [J].

ALUR, R ;

COURCOUBETIS, C ;

HALBWACHS, N ;

HENZINGER, TA ;

HO, PH ;

NICOLLIN, X ;

OLIVERO, A ;

SIFAKIS, J ;

YOVINE, S .

THEORETICAL COMPUTER SCIENCE, 1995, 138 (01) :3-34

[2]

Chen XH, 2007, LECT NOTES ARTIF INT, V4798, P384

[3] Problem Oriented Software Engineering: Solving the package router control problem [J].

Hall, Jon G. ;

Rapanotti, Lucia ;

Jackson, Michael A. .

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2008, 34 (02) :226-241

[4] The theory of hybrid automata [J].

Henzinger, TA .

11TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 1996, :278-292

[5] The meaning of requirements [J].

Jackson, M .

ANNALS OF SOFTWARE ENGINEERING, 1997, 3 :5-21

[6]

Jackson M., 2001, PROBLEM FRAMES ANAL

[7]

Otter K.B., 2006, HYBRIDUML PROFILE UM, P167

[8] FUNCTIONAL DOCUMENTS FOR COMPUTER-SYSTEMS [J].

PARNAS, DL ;

MADEY, J .

SCIENCE OF COMPUTER PROGRAMMING, 1995, 25 (01) :41-61

[9]

van Lamsweerde A., 1996, P 4 ACM S FDN SOFTW, P179

[10] Agent orientation as a modelling paradigm [J].

Yu, E .

WIRTSCHAFTSINFORMATIK, 2001, 43 (02) :123-132

← 1 2 →