Formal analysis of problem domain workflows

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

4 Citations (Scopus)


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 languageEnglish
Title of host publicationDatabases and Information Systems VII. Selected Papers from the Tenth International Baltic Conference, DBIS 2012
PublisherIOS Press
Number of pages14
ISBN (Print)9781614991601
Publication statusPublished - 2012
Externally publishedYes
Event10th International Baltic Conference  - Vilnius, Lithuania
Duration: 8 Jul 201211 Jul 2012
Conference number: 10

Publication series

NameFrontiers in Artificial Intelligence and Applications
ISSN (Print)0922-6389


Conference10th International Baltic Conference 
Abbreviated titleDB&IS 2012


  • 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


Dive into the research topics of 'Formal analysis of problem domain workflows'. Together they form a unique fingerprint.

Cite this