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 条
  • [31] Expert problem solving in a visual medical domain
    Azevedo, R
    [J]. PROCEEDINGS OF THE TWENTIETH ANNUAL CONFERENCE OF THE COGNITIVE SCIENCE SOCIETY, 1998, : 72 - 77
  • [32] EXTENDING THE CONCEPTION OF PROBLEM IN PROBLEM-SOLVING RESEARCH
    STEWART, J
    HAFNER, R
    [J]. SCIENCE EDUCATION, 1991, 75 (01) : 105 - 120
  • [33] METHODS OF RESEARCH AND PROBLEM SOLVING IN EDUCATION
    Good, Carter V.
    [J]. JOURNAL OF EDUCATIONAL RESEARCH, 1940, 34 (02): : 81 - 89
  • [34] HCI Research as Problem-Solving
    Oulasvirta, Antti
    Hornbk, Kasper
    [J]. 34TH ANNUAL CHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS, CHI 2016, 2016, : 4956 - 4967
  • [35] A hermeneutic pragmatism: Research as problem solving
    Polkinghorne, D
    [J]. INTERNATIONAL JOURNAL OF PSYCHOLOGY, 2000, 35 (3-4) : 129 - 129
  • [36] Multidisciplinary problem solving in industrial research
    Knight, Nicole
    Shah, Harshad
    Wilmot, Nathan
    [J]. ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2014, 248
  • [37] Psychological Research on Insight Problem Solving
    Oellinger, Michael
    Knoblich, Guenther
    [J]. RECASTING REALITY: WOLFGANG PAULI'S PHILOSOPHICAL IDEAS AND CONTEMPORARY SCIENCE, 2009, : 275 - +
  • [38] RESEARCH SYNTHESIS ON PROBLEM-SOLVING
    LOCHHEAD, J
    [J]. EDUCATIONAL LEADERSHIP, 1981, 39 (01) : 68 - 70
  • [39] Research in medical problem solving: A review
    Hardin, LE
    [J]. JOURNAL OF VETERINARY MEDICAL EDUCATION, 2003, 30 (03) : 230 - 235
  • [40] Dynamic State Machines for Formalizing Railway Control System Specifications
    Nardone, Roberto
    Gentile, Ugo
    Peron, Adriano
    Benerecetti, Massimo
    Vittorini, Valeria
    Marrone, Stefano
    De Guglielmo, Renato
    Mazzocca, Nicola
    Velardi, Luigi
    [J]. FORMAL TECHNIQUES FOR SAFETY-CRITICAL SYSTEMS, FTSCS 2014, 2015, 476 : 93 - 109
12345