16 search results - page 1 / 4 » Workflow Model Compositions Preserving Relaxed Soundness |
BPM
2006
Springer
14 years 2 months ago
2006
Springer
COOPIS
2004
IEEE
14 years 2 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 ...
APN
2003
Springer
14 years 2 months ago
2003
Springer
Abstract. Petri nets are widely used for modeling and analyzing workflows. Using the token-game semantics, Petri net-based workflow models can be analyzed before the model is actua...
CAISE
2001
Springer
14 years 3 months ago
2001
Springer
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
CSFW
2006
IEEE
14 years 5 months ago
2006
IEEE
We develop a compositional method for proving cryptographically sound security properties of key exchange protocols, based on a symbolic logic that is interpreted over conventiona...