Ensuring Domain Conformity by Means of the Topological Functioning Model
2013
Ērika Nazaruka

The paper focuses on an open question about ensuring conformity among a domain of system knowledge, an analysis domain, a software design domain, and code. Principles of Model Driven Engineering are used in the research, namely, formal specifications of domains and support of conformity among these specifications with the help of traceability mechanism. Topological Functioning Model (TFM) has a mathematical mechanism for supporting traceability, and, thus, conformity. The main results demonstrate that the TFM holds the central place in a chain of trace links between specifications, and analysis of these links enables verification of domain conformity. The results are theoretical and require additional practical experiments.


Keywords
domain modeling, topological functioning model, traceability
DOI
10.2478/acss-2013-0005

Asņina, Ē. Ensuring Domain Conformity by Means of the Topological Functioning Model. Applied Computer Systems. Vol.14, 2013, pp.42-49. ISSN 2255-8683. e-ISSN 2255-8691. Available from: doi:10.2478/acss-2013-0005

Publication language
English (en)
The Scientific Library of the Riga Technical University.
E-mail: uzzinas@rtu.lv; Phone: +371 28399196