Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Communications of the ACM
Database programming in Machiavelli—a polymorphic language with static type inference
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Logical and computational aspects of programming with sets/bags/lists
Proceedings of the 18th international colloquium on Automata, languages and programming
An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
IBM Systems Journal
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Thinksheet: a tool for tailoring complex documents
SIGMOD '96 Proceedings of the 1996 ACM SIGMOD international conference on Management of data
Workflow and Process Automation: Concepts and Technology
Workflow and Process Automation: Concepts and Technology
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
The Mentor Project: Steps Toward Enterprise-Wide Workflow Management
ICDE '96 Proceedings of the Twelfth International Conference on Data Engineering
FAD, a Powerful and Simple Database Language
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
SVP: A Model Capturing Sets, Lists, Streams, and Parallelism
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Scientific Workflow Management by Database Management
SSDBM '98 Proceedings of the 10th International Conference on Scientific and Statistical Database Management
WASA: A Workflow-Based Architecture to Support Scientific Database Applications (Extended Abstract)
DEXA '95 Proceedings of the 6th International Conference on Database and Expert Systems Applications
A Formal Foundation for Distributed Workflow Execution Based on State Charts
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Data management support for asynchronous groupware
CSCW '00 Proceedings of the 2000 ACM conference on Computer supported cooperative work
Personalizing E-commerce applications with on-line heuristic decision making
Proceedings of the 10th international conference on World Wide Web
Beyond workflow management: product-driven case handling
GROUP '01 Proceedings of the 2001 International ACM SIGGROUP Conference on Supporting Group Work
Have It Your Way: Personalization of Network-Hosted Services
BNCOD 19 Proceedings of the 19th British National Conference on Databases: Advances in Databases
Verification of Vortex Workflows
TACAS 2001 Proceedings of the 7th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Formal Verification of e-Services and Workflows
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
Beyond Discrete E-Services: Composing Session-Oriented Services in Telecommunications
TES '01 Proceedings of the Second International Workshop on Technologies for E-Services
A Framework for Optimizing Distributed Workflow Executions
DBPL '99 Revised Papers from the 7th International Workshop on Database Programming Languages: Research Issues in Structured and Semistructured Database Programming
Evolution of Business Processes and a Process Simulation Tool
APSEC '99 Proceedings of the Sixth Asia Pacific Software Engineering Conference
Process inheritance and instance modification
GROUP '03 Proceedings of the 2003 international ACM SIGGROUP conference on Supporting group work
Case handling: a new paradigm for business process support
Data & Knowledge Engineering
YAWL: yet another workflow language
Information Systems
Extending the data warehouse for service provisioning data
Data & Knowledge Engineering - Special issue: ER 2003
IEEE Internet Computing
Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
Automatic construction of simple artifact-based business processes
Proceedings of the 12th International Conference on Database Theory
Automatic verification of data-centric business processes
Proceedings of the 12th International Conference on Database Theory
The Declarative Approach to Business Process Execution: An Empirical Test
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Improving self-interpretation of XML-based business documents by introducing derived elements
Electronic Commerce Research and Applications
Towards formal analysis of artifact-centric business process models
BPM'07 Proceedings of the 5th international conference on Business process management
Adaptive and context-aware reconciliation of reactive and pro-active behavior in evolving systems
Active conceptual modeling of learning
A flexible, object-centric approach for business process modelling
Service Oriented Computing and Applications
A state-driven modeling approach to human interactions for knowledge intensive services
Expert Systems with Applications: An International Journal
Artifact systems with data dependencies and arithmetic
Proceedings of the 14th International Conference on Database Theory
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
Automatic verification of data-centric business processes
BPM'11 Proceedings of the 9th international conference on Business process management
A procedural framework for dynamic changes of human interactions in knowledge intensive services
Expert Systems with Applications: An International Journal
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)
Declarative choreographies for artifacts
ICSOC'12 Proceedings of the 10th international conference on Service-Oriented Computing
Hi-index | 0.00 |
A new programming paradigm named "Vortex" is introduced for specifying a wide range of decision-making activities including, in particular, workflows. In Vortex workflows are specified declaratively. A particular emphasis is on "object-focused" workflows, i.e., workflows focused on how individual input objects should be processed within an organization. Such workflows arise commonly in practice, including insurance claims processing, and many electronic commerce applications, and in the area of Customer Care, e.g., web-based storefronts. Vortex workflows are "attribute-centric", because they are centered around how the attribute values for an input object are gathered and computed. Initially, only a few attributes of an input object have assigned values. During processing of the object, additional attribute values may be assigned by external modules, or by internal modules, including "decision modules". Decision modules include "attribute rules" that specify contributions to specific attribute values; these are combined with one of a broad family of available semantics. In Vortex, enabling conditions are used to determine what attributes should be evaluated. A novel choice-based execution model provides a general framework for optimization strategies. The use of enabling conditions, attribute rules and declarative semantics makes Vortex workflows easier to modify and refine than traditional, procedurally specified workflows. Vortex supports modularity and permits the natural intermixing of Vortex workflows with traditional, procedural workflows. The paper introduces a novel spreadsheet-like interface for dynamic browsing of Vortex executions.