RTU Research Information System
Latviešu English

Publikācija: The Computation Independent Viewpoint: a Formal Method of Topological Functioning Model Constructing

Publication Type Publications in RTU scientific journal
Funding for basic activity Unknown
Defending: ,
Publication language English (en)
Title in original language The Computation Independent Viewpoint: a Formal Method of Topological Functioning Model Constructing
Field of research 2. Engineering and technology
Sub-field of research 2.2 Electrical engineering, Electronic engineering, Information and communication engineering
Authors Ērika Nazaruka
Jānis Osis
Keywords CIM, problem domain, topological functioning model
Abstract This paper describes the place and usage of a topological model of system functioning in the framework of OMG’s Model Driven Architecture. In this paper we suggest the formal method of constructing a topological model of system functioning. The topological functioning model shows a system from the computation independent viewpoint as a mathematical topological space of functional features interconnected by cause-and-effect relations. Topological and functional properties of the model allow formal identification of a system model from the topological space of an environment, model refinement and abstraction. The topological functioning model allows capturing information in a formal way at the very beginning of software development, thus it gives a well-defined opportunity to get a high-quality end result within the framework of MDA. The suggested method supposes formal obtaining of the system model from the informal verbal description of the system. The main stages of the method, which are described in this paper, are as follows: system inner object identification, external system identification, system functional feature definition, cause-and-effect relation identification among the found functional features, and topological model of system functioning mathematical separation from the topological space of system environment. The described method is explained in detail and illustrated by an example of library functioning.
Reference Asņina, Ē., Osis, J. The Computation Independent Viewpoint: a Formal Method of Topological Functioning Model Constructing. Applied computer systems. Vol.26, 2006, pp.21-32. ISSN 1407-7493.
Full-text Full-text
ID 9946