As a guest user you are not logged in or recognized by your IP address. You have
access to the Front Matter, Abstracts, Author Index, Subject Index and the full
text of Open Access publications.
The formal foundation of Topological Functioning Model (TFM) makes it as a powerful tool to analyze the functioning of a problem domain and to formally relate problem domain artifacts with the artifacts that should exist in solution domain. 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 functional features together with topological relationships contain the necessary information to formally analyze problem domain workflows. To specify the behavior of system execution a new element is added to the TFM – the logical relations. The presence of logical relations within TFM denotes forking, joining, decision making, and merging during the functioning of the problem and solution domains. Thus it is needed to identify and carefully analyze logical relations within TFM in order to have all the necessary information to perform formal analysis of problem domain workflows. The problem domain workflows within this paper is represented by means of Activity diagrams.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.