A new version of ROSECON: a software tool for modeling and analyzing systems of processes working together

  • Authors:
  • Krzysztof Pancerz

  • Affiliations:
  • Institute of Biomedical Informatics, University of Information Technology and Management in Rzeszów and Chair of Computer Science and Knowledge Engineering, Zamosc University of Management an ...

  • Venue:
  • HSI'09 Proceedings of the 2nd conference on Human System Interactions
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

In the paper, we introduce a new version of the ROSECON system-a software tool featuring a set of methods for modeling and analyzing systems of processes working together (systems of concurrent processes). Concurrency is understood widely. In the presented area, the system of concurrent processes is a system consisting of some separated processes whose local states are partly independent on the local states of other processes. In such systems, we can distinguish some separated processes and we are interested in dependencies between local states of individual processes, possibilities of coexistence of local states of individual processes at the same time, etc. The ROSECON system helps us, among others, in solving such problems.