loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Erika Asnina and Viktoria Ovchinnikova

Affiliation: Riga Technical University, Latvia

ISBN: 978-989-758-100-7

Keyword(s): Logical Relations, Branching, Decision Model, Topological Functioning Model, Domain Modelling.

Abstract: System behaviour usually is modelled with logical operators and triggering conditions on control flows between processes, activities, tasks, or events. This allows branching control flows in order to increase model comprehensibility. In case of Topological Functioning Model (TFM), where system’s functionality is represented by causal relations among functional characteristics, combinations of causes as well as triggered effects may be quite complex. Therefore, specification of them must not decrease apprehensibility of the TFM, while keeping its accuracy, compactness and level of abstraction. Additionally, this specification must also be modifiable and transformable. In this paper we discuss and refine a concept of a cause-and-effect relation and a logical relation in the TFM. Then, we analyze specification means used in BPMN, UML Activity Diagrams, EPCs, flowcharts, Petri Nets and Decision Models and assess which of them are more appropriate for using or integrating with the TFM. The more suitable means will increase the accuracy of specification of logical relations and system behaviour in the TFM. As a result, it would be possible to eliminate human participation in transformations from the TFM to models at the lower level of abstraction. (More)

PDF ImageFull Text

Download
Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

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

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:
Asnina E. and Ovchinnikova V. (2015). Specification of Decision-making and Control Flow Branching in Topological Functioning Models of Systems.In Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: MDI4SE, (ENASE 2015) ISBN 978-989-758-100-7, pages 364-373. DOI: 10.5220/0005479903640373

@conference{mdi4se15,
author={Erika Asnina and Viktoria Ovchinnikova},
title={Specification of Decision-making and Control Flow Branching in Topological Functioning Models of Systems},
booktitle={Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: MDI4SE, (ENASE 2015)},
year={2015},
pages={364-373},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0005479903640373},
isbn={978-989-758-100-7},
}

TY - CONF

JO - Proceedings of the 10th International Conference on Evaluation of Novel Approaches to Software Engineering - Volume 1: MDI4SE, (ENASE 2015)
TI - Specification of Decision-making and Control Flow Branching in Topological Functioning Models of Systems
SN - 978-989-758-100-7
AU - Asnina E.
AU - Ovchinnikova V.
PY - 2015
SP - 364
EP - 373
DO - 10.5220/0005479903640373

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.