On the synthesis of a reactive module
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Free choice Petri nets
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
Relaxed Soundness of Business Processes
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
Symbolic Controller Synthesis for Discrete and Timed Systems
Hybrid Systems II
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Customized Atomicity Specification for Transactional Workflows
CODAS '01 Proceedings of the Third International Symposium on Cooperative Database Systems for Advanced Applications
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Reactive Petri nets for workflow modeling
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Design and control of workflow processes: business process management for the service industry
Design and control of workflow processes: business process management for the service industry
A systematic review of software robustness
Information and Software Technology
| Hi-index | 0.00 |
Workflow systems are reactive systems. They run in parallel with their environment. They respond to external events and produce events which again have certain effects in the environment. Most approaches in modeling workflow systems assume reasonable behavior of the environment. They disregard malicious requests such as e.g. denial-of-service attacks or hacker attacks trying to misuse the provided services. Hence they do not provide the modeler with a means to check whether their processes react robustly to any possible request from the environment. In this paper we will propose a means to overcome this deficiency. Based on the modeling with Workflow nets we will introduce a new correctness criterion, called non-controllable choice robustness. This criterion depicts the ability of a workflow system to react to possible requests from the environment and still guarantee some desired objective. For the definition and the algorithmical installment of noncontrollable choice robustness parallels to Game Theory are drawn.