52 search results - page 4 / 11 » Reactive Petri Nets for Workflow Modeling |
FUIN
2008
13 years 5 months ago
2008
Abstract. Most information systems that are driven by process models (e.g., workflow management systems) record events in event logs, also known as transaction logs or audit trails...
COOPIS
2004
IEEE
13 years 9 months ago
2004
IEEE
More and more companies use "process aware" information systems to make their business processes more efficient. To do this, workflow definitions must be formulated in a ...
BPSC
2010
13 years 3 months ago
2010
: This paper proposes a framework for the detection of information leaks in workflow descriptions based on static information flow analysis. Despite the correct deployment of acces...
AC
2003
Springer
13 years 9 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
ACSAC
2000
IEEE
13 years 9 months ago
2000
IEEE
Access control is an important protection mechanism for information systems. An access control matrix grants subjects privileges to objects. Today, access control matrices are sta...