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. Principles of Model Driven Engineering are used in the research, namely, formal specifications of domains and support of conformity among these...

Full description

Bibliographic Details
Main Author:	Asnina Erika
Format:	Article
Language:	English
Published:	Sciendo 2013-06-01
Series:	Applied Computer Systems
Subjects:	domain modeling topological functioning model traceability
Online Access:	https://doi.org/10.2478/acss-2013-0005

id	doaj-b8e47af7b96a46bda9198c055ff60b21
record_format	Article
spelling	doaj-b8e47af7b96a46bda9198c055ff60b212021-09-06T19:41:00ZengSciendoApplied Computer Systems2255-86912013-06-01141424910.2478/acss-2013-0005Ensuring Domain Conformity by Means of the Topological Functioning ModelAsnina Erika0Riga Technical UniversityThe 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.https://doi.org/10.2478/acss-2013-0005domain modelingtopological functioning modeltraceability
collection	DOAJ
language	English
format	Article
sources	DOAJ
author	Asnina Erika
spellingShingle	Asnina Erika Ensuring Domain Conformity by Means of the Topological Functioning Model Applied Computer Systems domain modeling topological functioning model traceability
author_facet	Asnina Erika
author_sort	Asnina Erika
title	Ensuring Domain Conformity by Means of the Topological Functioning Model
title_short	Ensuring Domain Conformity by Means of the Topological Functioning Model
title_full	Ensuring Domain Conformity by Means of the Topological Functioning Model
title_fullStr	Ensuring Domain Conformity by Means of the Topological Functioning Model
title_full_unstemmed	Ensuring Domain Conformity by Means of the Topological Functioning Model
title_sort	ensuring domain conformity by means of the topological functioning model
publisher	Sciendo
series	Applied Computer Systems
issn	2255-8691
publishDate	2013-06-01
description	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.
topic	domain modeling topological functioning model traceability
url	https://doi.org/10.2478/acss-2013-0005
work_keys_str_mv	AT asninaerika ensuringdomainconformitybymeansofthetopologicalfunctioningmodel
_version_	1717767248281600000

Ensuring Domain Conformity by Means of the Topological Functioning Model

Similar Items