Formalizing Requirement Specifications for Problem Solving in a Research Domain

被引：0
|
作者：
Skvortsov, Nikolay A. [1 ]
Stupnikov, Sergey A. [1 ]
机构：
[1] Russian Acad Sci, Fed Res Ctr Comp Sci & Control, Inst Informat Problems, Moscow, Russia
来源：
NEW TRENDS IN DATABASES AND INFORMATION SYSTEMS, ADBIS 2019 | 2019年 / 1064卷
关键词：
Conceptual modeling of problem domains; Domain specifications; Conceptual scheme; Requirement model; METHODOLOGY; ONTOLOGIES; MANAGEMENT; DESIGN;
D O I：
10.1007/978-3-030-30278-8_29
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
The paper presents the research of a methodology of conceptual scheme development to solve problems in subject domains. A semantic approach to domain model specifications building is principal for it. The development process involves formulating a model of requirements to the domain from verbal specifications of domain requirements, developing a domain ontology, transforming it into a conceptual scheme, and reusing domain knowledge specifications in the domain. Relevant data sources are mapped to conceptual schemes of domains in data infrastructures. Requirement specifications are implemented over conceptual schemes for entity resolution and problem-solving in domains using accessible data sources.
引用
收藏
页码：266 / 279
页数：14
相关论文
共 50 条
  • [41] Domain-Dependent and Domain-Independent Problem Solving Techniques
    Stern, Roni
    [J]. PROCEEDINGS OF THE TWENTY-EIGHTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2019, : 6411 - 6415
  • [42] Unification of problem solving environment implementation layers with XML-based specifications
    Shu, Jiang
    Watson, Layne T.
    Ramakrishnan, Naren
    Kamke, Frederick A.
    North, Christopher L.
    [J]. ADVANCES IN ENGINEERING SOFTWARE, 2008, 39 (03) : 189 - 201
  • [43] Problem Solving As a Sufficient Condition of the Creative Process: A Case for Closer Cooperation of Creativity Research and Problem Solving Research
    Wimmer, Lena
    [J]. FRONTIERS IN PSYCHOLOGY, 2016, 7
  • [44] Research on Domain Requirement Analysis Method Used Ontology
    Qiu, Fang-Liang
    Yin, Lei
    [J]. SECOND INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN, VOL 1, PROCEEDINGS, 2009, : 299 - 301
  • [45] FORMALIZING CONTEXT AWARE REQUIREMENT PATTERNS USING ONTOLOGY
    Kumar, K.
    Saravanaguru, R. A. K.
    [J]. JURNAL TEKNOLOGI, 2016, 78 (06): : 13 - 19
  • [46] Development and Analysis of a Problem Domain Knowledge Base Oriented to PLA Specifications
    Pranevicius, Henrikas
    Budnikas, Germanas
    [J]. KNOWLEDGE-BASED SOFTWARE ENGINEERING, 2006, 140 : 196 - 205
  • [47] RSF - A FORMALISM FOR EXECUTABLE REQUIREMENT SPECIFICATIONS
    DEGL'INNOCENTI, M
    FERRARI, GL
    PACINI, G
    TURINI, F
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (11) : 1235 - 1246
  • [48] ALOS mission requirement and sensor specifications
    Igarashi, T
    [J]. CALIBRATION AND CHARACTERIZATION OF SATELLITE SENSORS AND ACCURACY OF DERIVED PHYSICAL PARAMETERS, 2001, 28 (01): : 127 - 131
  • [49] Domain and system influences in problem solving models for planning
    Cottam, H
    Shadbolt, N
    [J]. ADVANCES IN KNOWLEDGE ACQUISITION, 1996, 1076 : 354 - 369
  • [50] Error handling in a domain knowledge and problem - solving competence
    Otero Sotomayor, Luis Eduardo
    [J]. REVISTA CIENTIFICA, 2012, (15): : 69 - 79
12345