Formalizing Requirement Specifications for Problem Solving in a Research Domain

Abstract

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.