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 条
  • [1] Formalizing and solving the problem of clustering in MCDA
    Meyer, Patrick
    Olteanu, Alexandru-Liviu
    [J]. EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2013, 227 (03) : 494 - 502
  • [2] Research on Component Attributes in Domain Problem Solving
    Gao, Changqing
    Su, Huanhuan
    Yang, Bo
    Lv, Bing
    Wang, Yuzeng
    [J]. MATERIALS PROCESSING TECHNOLOGY, PTS 1-4, 2011, 291-294 : 2447 - 2451
  • [3] Mathematical problem solving: an evolving research and practice domain
    Santos-Trigo, Manuel
    [J]. ZDM-MATHEMATICS EDUCATION, 2007, 39 (5-6): : 523 - 536
  • [4] Orchestrating SOA Using Requirement Specifications and Domain Ontologies
    Bhat, Manoj
    Ye, Chunyang
    Jacobsen, Hans-Arno
    [J]. SERVICE-ORIENTED COMPUTING, ICSOC 2014, 2014, 8831 : 403 - 410
  • [5] Formalizing Business Process Specifications
    Speck, Andreas
    Feja, Sven
    Witt, Soeren
    Pulvermueller, Elke
    Schulz, Marcel
    [J]. COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2011, 8 (02) : 427 - 446
  • [6] Formalizing Operational Semantic Specifications in Logic
    Miller, Dale
    [J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2009, 246 : 147 - 165
  • [7] Formalizing (and reasoning about) the specifications of workflows
    Trajcevski, G
    Baral, C
    Lobo, J
    [J]. COOPERATIVE INFORMATION SYSTEMS, PROCEEDINGS, 2000, 1901 : 1 - 17
  • [8] Formalizing the specifications of a domain-specific language for authoring behaviour of personal service robots
    Datta, Chandan
    Broadbent, Elizabeth
    MacDonald, Bruce A.
    [J]. 2016 IEEE INTERNATIONAL CONFERENCE ON SIMULATION, MODELING, AND PROGRAMMING FOR AUTONOMOUS ROBOTS (SIMPAR), 2016, : 98 - 103
  • [9] FORMALIZING OPERATIONAL SEMANTIC SPECIFICATIONS IN LOGIC
    Aceto, Luca
    Miller, Dale
    [J]. BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE, 2008, (96): : 58 - 79
  • [10] Formalizing ODP enterprise specifications in Maude
    Durán, F
    Vallecillo, A
    [J]. COMPUTER STANDARDS & INTERFACES, 2003, 25 (02) : 83 - 102
12345