POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
A generalization of Dijkstra's calculus
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient checking of temporal integrity constraints using bounded history encoding
ACM Transactions on Database Systems (TODS)
Selected papers of the 9th annual ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Finitely representable databases
Journal of Computer and System Sciences - Special issue on principles of database systems
Declarative workflows that support easy modification and dynamic browsing
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
Stochastic dynamic programming with factored representations
Artificial Intelligence
Guarded commands, nondeterminacy and formal derivation of programs
Communications of the ACM
An axiomatic basis for computer programming
Communications of the ACM
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Optimization Techniques for Data-Intensive Decision Flows
ICDE '00 Proceedings of the 16th International Conference on Data Engineering
Business artifacts: An approach to operational specification
IBM Systems Journal
Automated composition of e-services: lookaheads
Proceedings of the 2nd international conference on Service oriented computing
Automatic composition of transition-based semantic web services with messaging
VLDB '05 Proceedings of the 31st international conference on Very large data bases
Static Analysis of Business Artifact-centric Operational Models
SOCA '07 Proceedings of the IEEE International Conference on Service-Oriented Computing and Applications
Artifact-centered operational modeling: lessons from customer engagements
IBM Systems Journal
Algebraic cell decomposition in NC
SFCS '85 Proceedings of the 26th Annual Symposium on Foundations of Computer Science
Model-driven synthesis of SOA solutions
IBM Systems Journal
Automatic verification of data-centric business processes
Proceedings of the 12th International Conference on Database Theory
Planning with first-order temporally extended goals using heuristic search
AAAI'06 Proceedings of the 21st national conference on Artificial intelligence - Volume 1
Symbolic dynamic programming for first-order MDPs
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Modeling business contexture and behavior using business artifacts
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Verification of hybrid systems
CAV'07 Proceedings of the 19th international conference on Computer aided verification
Towards formal analysis of artifact-centric business process models
BPM'07 Proceedings of the 5th international conference on Business process management
A framework for document-driven workflow systems
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Automatic verification of data-centric business processes
Proceedings of the 12th International Conference on Database Theory
Artifact-Centric Workflow Dominance
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
On the aggregation problem for synthesized web services
Proceedings of the 13th International Conference on Database Theory
On models and query languages for probabilistic processes
ACM SIGMOD Record
Comparing workflow specification languages: a matter of views
Proceedings of the 14th International Conference on Database Theory
Introducing the guard-stage-milestone approach for specifying business entity lifecycles
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
On lifecycle constraints of artifact-centric workflows
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Procedural security analysis: A methodological approach
Journal of Systems and Software
A quest for beauty and wealth (or, business processes for database researchers)
Proceedings of the thirtieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Conformance checking of interacting processes with overlapping instances
BPM'11 Proceedings of the 9th international conference on Business process management
Foundations of relational artifacts verification
BPM'11 Proceedings of the 9th international conference on Business process management
An artifact-centric view-based approach to modeling inter-organizational business processes
WISE'11 Proceedings of the 12th international conference on Web information system engineering
Preservation of integrity constraints by workflow
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Querying schemas with access restrictions
Proceedings of the VLDB Endowment
Comparing workflow specification languages: A matter of views
ACM Transactions on Database Systems (TODS)
Artifact systems with data dependencies and arithmetic
ACM Transactions on Database Systems (TODS)
On the aggregation problem for synthesized Web services
Journal of Computer and System Sciences
Hi-index | 0.00 |
Almost all medium- and large-scale businesses rely on electronic workflow systems to manage their business processes. A key challenge is to enable the easy re-use and modification of these workflow schemas and their piece-parts, so that they can be adapted to new business situations. This paper describes an approach for automatic construction (and thus, evolution) of a workflow schema that satisfies a specified condition (or "goal"), starting from a set of basic building block services (or "tasks"). We use a workflow model based on "business artifacts", which represent key (real or conceptual) business entities, and include both the business-relevant data about them and a specification of their lifecycle, that is, how they can evolve over time as they move through the workflow as the result of services being applied to them. This paper uses a declarative form of artifact-centric workflow. The services are non-deterministic, which corresponds to the intuition that humans performing the services may rely on information that is not modeled within the framework. We study the problem of, given a goal to be achieved, automatically finding the "maximal" workflow schema that has the following property: every execution is either complete or can be completed, and every complete execution satisfies the goal. We also study a complimentary problem, in which exception-handling is used to deal with executions that would otherwise not complete successfully. These problems are non-trivial because the workflow services are non-deterministic. This paper provides a general framework for studying these problems, and shows a tight relationship between workflow systems specified using logics that permit quantifier elimination and the ability to construct maximal schemas with the desired properties. The paper then studies a restricted setting to provide insights into complexity issues. Even in the restricted setting, the problem of testing properties of maximal workflows is PSPACE-complete.