211 search results - page 8 / 43 » Verification of Workflow Nets |
HCI
2007
13 years 11 months ago
2007
The overall objective of this research project is the development and evaluation of a flexible and cooperative management system within SME based production networks for the ramp-u...
DASFAA
2007
IEEE
14 years 4 months ago
2007
IEEE
In Service Oriented Architecture (SOA), the need for inter-service compatibility analysis has gone beyond what existing service composition/ verification approaches can handle. Giv...
IS
2008
13 years 9 months ago
2008
In this paper we propose DFL -- a formal, graphical workflow language for dataflows, i.e., workflows where large amounts of complex data are manipulated, and the structure of the ...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
In grid workflow systems, temporal correctness is critical to assure the timely completion of grid workflow execution. To monitor and control the temporal correctness, fixed-time ...
ENTCS
2002
13 years 9 months ago
2002
In this paper, we revisit the forward and backward approaches to the verification of extensions of infinite state Petri Nets. As contributions, we propose an efficient data struct...