<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

Pubblicato online: 08 giu 2013

Pagine: 42 - 49

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

Parole chiave
domain modeling, topological functioning model, traceability

This content is open access.

Ensuring Domain Conformity by Means of the Topological Functioning Model

Pubblicato online: 08 giu 2013

Pagine: 42 - 49

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

Parole chiavedomain modeling, topological functioning model, traceability

This content is open access.

Parole chiave
domain modeling, topological functioning model, traceability