Towards a Formalized Ontology-Based Requirements Model

被引：0
|
作者：
蒋丹东
张申生
王英林
机构：
[1] China
[2] Shanghai 200030
[3] Dept.of Computer Science and Eng.
[4] Shanghai Jiaotong Univ.
来源：
Journal of Shanghai Jiaotong University(Science) | 2005年 / 01期
关键词：
requirements ontology; ontology; meta-ontology; requirements model; formalized;
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
The goal of this paper is to take a further step towards an ontological approach for representing requirements information. The motivation for ontologies was discussed. The definitions of ontology and requirements ontology were given. Then, it presented a collection of informal terms, including four subject areas. It also discussed the formalization process of ontology. The underlying meta-ontology was determined, and the formalized requirements ontology was analyzed. This formal ontology is built to serve as a basis for requirements model. Finally, the implementation of software system was given.
引用
收藏
页码：34 / 39
页数：6
相关论文
共 50 条
  • [41] Towards Ontology-Based Automated Disassembly Systems
    Merdan, Munir
    Lepuschitz, Wilfried
    Meurer, Thomas
    Vincze, Markus
    [J]. IECON 2010 - 36TH ANNUAL CONFERENCE ON IEEE INDUSTRIAL ELECTRONICS SOCIETY, 2010,
  • [42] The Ontology-Based Approach to Support the Requirements Engineering Process
    Avdeenko, Tatiana V.
    Pustovalova, Natalia V.
    [J]. 2016 13TH INTERNATIONAL SCIENTIFIC-TECHNICAL CONFERENCE ON ACTUAL PROBLEMS OF ELECTRONIC INSTRUMENT ENGINEERING (APEIE), VOL 2, 2016, : 513 - 518
  • [43] Domain requirements elicitation and analysis an ontology-based approach
    Lee, Yuqin
    Zhao, Wenyun
    [J]. COMPUTATIONAL SCIENCE - ICCS 2006, PT 4, PROCEEDINGS, 2006, 3994 : 805 - 813
  • [44] GUITAR: An Ontology-based Automated Requirements Analysis Tool
    Tuong Huan Nguyen
    Grundy, John
    Almorsy, Mohamed
    [J]. 2014 IEEE 22ND INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2014, : 315 - 316
  • [45] Ontology-based inconsistency management of software requirements specifications
    Zhu, XF
    Jin, Z
    [J]. SOFSEM 2005:THEORY AND PRACTICE OF COMPUTER SCIENCE, 2005, 3381 : 340 - 349
  • [46] Towards ontology-based retrieval of historical images
    Coustaty, Mickael
    Tsopze, Norbert
    Bouju, Alain
    Bertet, Karell
    Louis, Georges
    [J]. APPLIED ONTOLOGY, 2015, 10 (02) : 147 - 167
  • [47] Towards an ontology-based spatial clustering framework
    Wang, X
    Hamilton, HJ
    [J]. ADVANCES IN ARTIFICIAL INTELLIGENCE, PROCEEDINGS, 2005, 3501 : 205 - 216
  • [48] Towards an Ontology-Based Generic Pipeline Editor
    Bottoni, Paolo
    Ceriani, Miguel
    [J]. DATABASES IN NETWORKED INFORMATION SYSTEMS (DNIS 2015), 2015, 8999 : 56 - 73
  • [49] Towards an Ontology-based Soil Information System
    Shu, Yanfeng
    Liu, Qing
    [J]. 21ST INTERNATIONAL CONGRESS ON MODELLING AND SIMULATION (MODSIM2015), 2015, : 1462 - 1468
  • [50] Towards Ontology-Based Validation of EA Principles
    Montecchiari, Devid
    Hinkelmann, Knut
    [J]. PRACTICE OF ENTERPRISE MODELING, POEM 2022, 2022, 456 : 66 - 81
12345