211 search results - page 23 / 43 » Verification of Workflow Nets |
100
click to vote
ENTCS
2008
14 years 12 months ago
2008
We describe the design and the present state of the verification tool Augur 2 which is currently being developed. It is based on Augur 1, a tool which can analyze graph transforma...
DEXA
2000
Springer
15 years 4 months ago
2000
Springer
The event calculus is a logic programming formalism for representing events and their effects especially in database applications. This paper presents the use of the event calculus...
TAMODIA
2008
15 years 1 months ago
2008
Abstract. The successful application of ubiquitous computing in crisis management requires a thorough understanding of the mechanisms that extract information from sensors and comm...
BPM
2003
Springer
15 years 5 months ago
2003
Springer
Abstract. In requirements engineering we have to discover the user requirements and then we have to transform them into precise system specifications. There are two essential aspec...
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
Workflow-centric knowledge distribution mechanisms have been proposed recently by a number of researchers to coordinate the flow of codified knowledge in large organizations. This...