Formal analysis of problem domain workflows

Uldis Donins

doi:10.3233/978-1-61499-161-8-135

Formal analysis of problem domain workflows

Uldis Donins

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

4 Citations (Scopus)

Abstract

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.

Original language	English
Title of host publication	Databases and Information Systems VII. Selected Papers from the Tenth International Baltic Conference, DBIS 2012
Publisher	IOS Press
Pages	135-148
Number of pages	14
ISBN (Print)	9781614991601
DOIs	https://doi.org/10.3233/978-1-61499-161-8-135
Publication status	Published - 2012
Externally published	Yes
Event	10th International Baltic Conference - Vilnius, Lithuania Duration: 8 Jul 2012 → 11 Jul 2012 Conference number: 10

Publication series

Name	Frontiers in Artificial Intelligence and Applications
Volume	249
ISSN (Print)	0922-6389

Conference

Conference	10th International Baltic Conference
Abbreviated title	DB&IS 2012
Country/Territory	Lithuania
City	Vilnius
Period	8/07/12 → 11/07/12

Keywords*

logical relations
model checking and analysis
modeling formalization
Topological functioning modeling

Field of Science*

1.2 Computer and information sciences

Publication Type*

3.3. Publications in conference proceedings indexed in Web of Science and/or Scopus database

Access to Document

10.3233/978-1-61499-161-8-135

Cite this

@inproceedings{1d011253dfb944b092649e5b6f58dd07,

title = "Formal analysis of problem domain workflows",

abstract = "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.",

keywords = "logical relations, model checking and analysis, modeling formalization, Topological functioning modeling",

author = "Uldis Donins",

year = "2012",

doi = "10.3233/978-1-61499-161-8-135",

language = "English",

isbn = "9781614991601",

series = "Frontiers in Artificial Intelligence and Applications",

publisher = "IOS Press",

pages = "135--148",

booktitle = "Databases and Information Systems VII. Selected Papers from the Tenth International Baltic Conference, DBIS 2012",

address = "Netherlands",

}

Donins, U 2012, Formal analysis of problem domain workflows. in Databases and Information Systems VII. Selected Papers from the Tenth International Baltic Conference, DBIS 2012. Frontiers in Artificial Intelligence and Applications, vol. 249, IOS Press, pp. 135-148, 10th International Baltic Conference , Vilnius, Lithuania, 8/07/12. https://doi.org/10.3233/978-1-61499-161-8-135

Formal analysis of problem domain workflows. / Donins, Uldis.
Databases and Information Systems VII. Selected Papers from the Tenth International Baltic Conference, DBIS 2012. IOS Press, 2012. p. 135-148 (Frontiers in Artificial Intelligence and Applications; Vol. 249).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Formal analysis of problem domain workflows

AU - Donins, Uldis

N1 - Conference code: 10

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

KW - logical relations

KW - model checking and analysis

KW - modeling formalization

KW - Topological functioning modeling

UR - http://www.scopus.com/inward/record.url?scp=84873583714&partnerID=8YFLogxK

U2 - 10.3233/978-1-61499-161-8-135

DO - 10.3233/978-1-61499-161-8-135

M3 - Conference contribution

AN - SCOPUS:84873583714

SN - 9781614991601

T3 - Frontiers in Artificial Intelligence and Applications

SP - 135

EP - 148

BT - Databases and Information Systems VII. Selected Papers from the Tenth International Baltic Conference, DBIS 2012

PB - IOS Press

T2 - 10th International Baltic Conference

Y2 - 8 July 2012 through 11 July 2012

ER -

Formal analysis of problem domain workflows

Abstract

Publication series

Conference

Keywords*

Field of Science*

Publication Type*

Access to Document

Other files and links

Fingerprint

Cite this