Semantics of Logical Relations in Topological Functioning Model

Uldis Donins

Research.Publish.Connect.

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Name:
Country:
Subject:

Advanced Search Affiliations Search

If you're looking for an exact phrase use quotation marks on text fields.

Proceedings

Proceedings Search

Title:
ISBN:
Year:
Acronym:
Subject:

Advanced Search Proceedings Search

If you're looking for an exact phrase use quotation marks on text fields.

Papers

Papers Search

Title:
Author:
Affiliation:
Subject:

Advanced Search Papers Search

If you're looking for an exact phrase use quotation marks on text fields.

Authors

Authors Search

Name:
Affiliation:
Country:
Conference:
Subject:

Advanced Search Authors Search

If you're looking for an exact phrase use quotation marks on text fields.

Advanced Search

Paper

Semantics of Logical Relations in Topological Functioning Model

In Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: MDA&MDSD, 217-223, 2012 , Wrocław, Poland

Author: Uldis Donins

Affiliation: Riga Technical University, Latvia

Keyword(s): Topological Modelling, Modelling Formalization, Logical Relations, Model Checking and Analysis.

Abstract: The Topological functioning model (TFM) captures system functioning specification in the form of topological space consisting of functional features and cause-and-effect relations among them and is represented in a form of directed graph. The formal foundation of TFM makes it as a primary model which should be developed when implementing a software system. The functional features together with topological relationships contain the necessary information to create diagrams of other type, e.g., Activity or Communication diagrams. To specify the behaviour of system execution a new artefact is added to TFM – logical relations. The presence of logical relations denotes forking, branching, decision making, and joining during execution of system. Thus, it is needed to carefully analyse these new relations in TFM to have all the necessary information to transform it to other diagrams. The paper concludes with an example of TFM analysis and logical relationship identification within it.

CC BY-NC-ND 4.0

Guest: Register as new SciTePress user now for free.

SciTePress user: please login.

My Papers

You are not signed in, therefore limits apply to your IP address 18.225.149.32

In the current month:

Recent papers: 100 available of 100 total

2⁺ years older papers: 200 available of 200 total

Paper citation in several formats:

Donins, U. (2012). Semantics of Logical Relations in Topological Functioning Model. In Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2012) - MDA&MDSD; ISBN 978-989-8565-13-6; ISSN 2184-4895, SciTePress, pages 217-223. DOI: 10.5220/0004088002170223

@conference{mda&mdsd12,
author={Uldis Donins.},
title={Semantics of Logical Relations in Topological Functioning Model},
booktitle={Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2012) - MDA&MDSD},
year={2012},
pages={217-223},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004088002170223},
isbn={978-989-8565-13-6},
issn={2184-4895},
}

TY - CONF

JO - Proceedings of the 7th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2012) - MDA&MDSD
TI - Semantics of Logical Relations in Topological Functioning Model
SN - 978-989-8565-13-6
IS - 2184-4895
AU - Donins, U.
PY - 2012
SP - 217
EP - 223
DO - 10.5220/0004088002170223
PB - SciTePress