612 search results - page 17 / 123 » Modeling process flow using diagrams |
TACAS
2000
Springer
14 years 18 days ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
SIGSAND
2008
13 years 10 months ago
2008
: The emerging technology complex event processing can be utilized to integrate complex events into business processes and to flexibly adjust processes on changing business require...
INFSOF
1998
13 years 8 months ago
1998
This paper describes RolEnact: a process-modelling notation used to provide enactable models of process instances. The paper shows how RolEnact models may be produced which are eq...
ENC
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper explores the process of validation for the syntax of a graphical notation. We define a unified specification for five of the UML diagrams used by the Discovery Method a...
ASPDAC
2007
ACM
14 years 1 months ago
2007
ACM
In this paper, we present an approach for control-flow aware communication and conflict analysis of systems of parallel communicating processes. This approach allows to determine ...