<abstract xmlns="http://www.w3.org/1999/xhtml"><p> 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.</p></abstract>

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.

Ensuring Domain Conformity by Means of the Topological Functioning Model

Applied Computer Systems

{"article-title":"Ensuring Domain Conformity by Means of the Topological Functioning Model"}

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....

Ensuring Domain Conformity by Means of the Topological Functioning Model

Publicado en línea: 08 jun 2013

Páginas: 42 - 49

DOI: https://doi.org/10.2478/acss-2013-0005

Palabras clave
domain modeling, topological functioning model, traceability

This content is open access.

Ensuring Domain Conformity by Means of the Topological Functioning Model

Publicado en línea: 08 jun 2013

Páginas: 42 - 49

DOI: https://doi.org/10.2478/acss-2013-0005

Palabras clavedomain modeling, topological functioning model, traceability

This content is open access.

Palabras clave
domain modeling, topological functioning model, traceability