Abstract | ||
---|---|---|
Workflow provides a promising solution for organizations to achieve their business goals by collaborations between users. With the assistant of mobile and handheld devices, users may perform workflow tasks in different locations. Hence, some location-based restrictions can be defined on these tasks and users according to the enterprise business rules. In this paper, we propose a method to model workflow with location constraints based on colored Petri Nets(CPN). The location constraints are defined as predicate logic expressions. Then all these logic expressions are combined with the CPN workflow model. After formalization, the CPN analysis methods and tools can be used to analyze the correctness of the workflow and the constraints. |
Year | DOI | Venue |
---|---|---|
2014 | 10.1109/ICEBE.2014.46 | ICEBE |
Keywords | DocType | Citations |
mobile devices,workflow,workflow, location constraints, colored petri net,workflow tasks,handheld devices,organizational aspects,predicate logic expressions,business goals,organisational aspects,colored petri nets,petri nets,colored petri net,workflow management software,enterprise business rules,location-based restrictions,location constraints,cpn workflow model,mobile computing,workflow formalization | Conference | 0 |
PageRank | References | Authors |
0.34 | 0 | 5 |