Computing Imperial College / Royal Holloway University of London jason.crampton@rhul.ac.uk Department / /
IndustryTerm
purchase order processing sults / purchase order processing / workflow management systems / purchase order processing system / potential solutions / authorized workflow systems / partial solutions / workflow systems / /
Organization
Royal Holloway University of London jason.crampton@rhul.ac.uk Department of Computing Imperial College London m.huth@imperial.ac.uk Abstract Many / /
Position
model for the workflow specification / representative / task scheduler / controller / /
PublishedMedium
Journal of the ACM / /
Technology
http / XML / artificial intelligence / finite state machine / /
Synthesizing and Verifying Plans for Constrained Workflows: Transferring Tools from Formal Methods Jason Crampton Michael Huth