Exceptions and exception handling in computerized information processes
ACM Transactions on Information Systems (TOIS)
Dynamic change within workflow systems
COCS '95 Proceedings of conference on Organizational computing systems
Flexibility and control for dynamic workflows in the WORLDS environment
COCS '95 Proceedings of conference on Organizational computing systems
Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
Repository support for multi-perspective requirements engineering
Information Systems - Special issue on meta-modelling and methodology engineering
Analyzing process models using graph reduction techniques
Information Systems - The 11th international conference on advanced information systems engineering (CAiSE*
How can cooperative work tools support dynamic group process? bridging the specificity frontier
CSCW '00 Proceedings of the 2000 ACM conference on Computer supported cooperative work
Aris-Business Process Modeling
Aris-Business Process Modeling
Software Verification and Validation: A Practitioner's Guide
Software Verification and Validation: A Practitioner's Guide
Dynamic and adaptive composition of e-services
Information Systems - The 12th international conference on advanced information systems engineering (CAiSE 00)
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Automating Handover in Dynamic Workflow Environments
CAiSE '98 Proceedings of the 10th International Conference on Advanced Information Systems Engineering
CooplS '02 Proceedings of the 7th International Conference on Cooperative Information Systems
Managing Evolving Workflow Specifications
COOPIS '98 Proceedings of the 3rd IFCIS International Conference on Cooperative Information Systems
ER '96 Proceedings of the 15th International Conference on Conceptual Modeling
The Use of Patterns in Service Composition
CAiSE '02/ WES '02 Revised Papers from the International Workshop on Web Services, E-Business, and the Semantic Web
Pockets of Flexibility in Workflow Specification
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Towards patterns of web services composition
Patterns and skeletons for parallel and distributed computing
Handling Dynamic Schema Change in Process Models
ADC '00 Proceedings of the Australasian Database Conference
Modeling Exceptional Behaviors in Commercial Workflow Management Systems
COOPIS '99 Proceedings of the Fourth IECIS International Conference on Cooperative Information Systems
Dynamic Workflow Schema Evolution Based on Workflow Type Versioning and Workflow Migration
COOPIS '99 Proceedings of the Fourth IECIS International Conference on Cooperative Information Systems
Capturing more world knowledge in the requirements specification
ICSE '82 Proceedings of the 6th international conference on Software engineering
Connector Oriented Workflow System for the Support of Structured Ad Hoc Workflow
HICSS '00 Proceedings of the 33rd Hawaii International Conference on System Sciences-Volume 6 - Volume 6
Integration and verification of semantic constraints in adaptive process management systems
Data & Knowledge Engineering
Data & Knowledge Engineering
Supporting Flexible Processes through Recommendations Based on History
BPM '08 Proceedings of the 6th International Conference on Business Process Management
A Probabilistic Strategy for Setting Temporal Constraints in Scientific Workflows
BPM '08 Proceedings of the 6th International Conference on Business Process Management
On the Formal Semantics of Change Patterns in Process-Aware Information Systems
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Hyperlinking the work for self-management of flexible workflows
Communications of the ACM - One Laptop Per Child: Vision vs. Reality
On managing business processes variants
Data & Knowledge Engineering
The Declarative Approach to Business Process Execution: An Empirical Test
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Dwelling time probability density distribution of instances in a workflow model
Computers and Industrial Engineering
Seven process modeling guidelines (7PMG)
Information and Software Technology
Rules and Norms: Requirements for Rule Interchange Languages in the Legal Domain
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
OTM '09 Proceedings of the Confederated International Conferences, CoopIS, DOA, IS, and ODBASE 2009 on On the Move to Meaningful Internet Systems: Part I
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
A survey of comparative business process modeling approaches
BIS'07 Proceedings of the 10th international conference on Business information systems
An algebraic algorithm for structural validation of social protocols
BIS'07 Proceedings of the 10th international conference on Business information systems
Change patterns and change support features in process-aware information systems
CAiSE'07 Proceedings of the 19th international conference on Advanced information systems engineering
Declarative process modeling with business vocabulary and business rules
OTM'07 Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I
On the discovery of preferred work practice through business process variants
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Correctness-preserving configuration of business process models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
Modeling control objectives for business process compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Version management in the business process change context
BPM'07 Proceedings of the 5th international conference on Business process management
A vocabulary and execution model for declarative service orchestration
BPM'07 Proceedings of the 2007 international conference on Business process management
Declarative workflows to efficiently manage flexible and advanced business processes
Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programming
FlowWiki: A wiki based platform for ad hoc collaborative workflows
Knowledge-Based Systems
Design and verification of instantiable compliance rule graphs in process-aware information systems
CAiSE'10 Proceedings of the 22nd international conference on Advanced information systems engineering
Managing adaptivity in web collaborative processes using policies and user profiles
ICWE'10 Proceedings of the 10th international conference on Current trends in web engineering
Ensuring compliance with semantic constraints in process adaptation with rule-based event processing
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
On enabling data-aware compliance checking of business process models
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Semantics of business process vocabulary and process rules
Proceedings of the 4th India Software Engineering Conference
Expert Systems with Applications: An International Journal
Goal-based behavioral customization of information systems
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
What BPM technology can do for healthcare process support
AIME'11 Proceedings of the 13th conference on Artificial intelligence in medicine
Reducing complexity of data flow testing in the verification of a IEC-62304 flexible workflow system
SAFECOMP'11 Proceedings of the 30th international conference on Computer safety, reliability, and security
Flexible publication workflows using dynamic dispatch
ICADL'11 Proceedings of the 13th international conference on Asia-pacific digital libraries: for cultural heritage, knowledge dissemination, and future creation
Managing process variants as an information resource
BPM'06 Proceedings of the 4th international conference on Business Process Management
A dynamic workflow management system for coordination of cooperative activities
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Exploring the flexible workflow technology to automate service composition
ASWC'06 Proceedings of the First Asian conference on The Semantic Web
Declarative enhancement framework for business processes
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Behavioral adaptation of information systems through goal models
Information Systems
On enabling integrated process compliance with semantic constraints in process management systems
Information Systems Frontiers
Definition and enactment of instance-spanning process constraints
WISE'12 Proceedings of the 13th international conference on Web Information Systems Engineering
Comprehensive rule-based compliance checking and risk management with process mining
Decision Support Systems
Modeling and validation of business process families
Information Systems
Exploiting application dynamism and cloud elasticity for continuous dataflows
SC '13 Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis
Flexible Process Compliance with Semantic Constraints Using Mixed-Integer Programming
INFORMS Journal on Computing
Managing large numbers of business processes with cloud workflow systems
AusPDC '12 Proceedings of the Tenth Australasian Symposium on Parallel and Distributed Computing - Volume 127
Version management for business process schema evolution
Information Systems
Data centric research at the University of Queensland
ACM SIGMOD Record
A survey of change management in service-based environments
Service Oriented Computing and Applications
Information and Software Technology
Process fragmentation, distribution and execution using an event-based interaction scheme
Journal of Systems and Software
Workflow performance analysis and simulation based on multidimensional workflow net
Computers in Industry
Hi-index | 0.00 |
Workflow systems have traditionally focused on the so-called production processes which are characterized by predefinition, high volume, and repetitiveness. Recently, the deployment of workflow systems in non-traditional domains such as collaborative applications, e-learning and cross-organizational process integration, have put forth new requirements for flexible and dynamic specification. However, this flexibility cannot be offered at the expense of control, a critical requirement of business processes.In this paper, we will present a foundation set of constraints for flexible workflow specification. These constraints are intended to provide an appropriate balance between flexibility and control. The constraint specification framework is based on the concept of "pockets of flexibility" which allows ad hoc changes and/or building of workflows for highly flexible processes. Basically, our approach is to provide the ability to execute on the basis of a partially specified model, where the full specification of the model is made at runtime, and may be unique to each instance.The verification of dynamically built models is essential. Where as ensuring that the model conforms to specified constraints does not pose great difficulty, ensuring that the constraint set itself does not carry conflicts and redundancy is an interesting and challenging problem. In this paper, we will provide a discussion on both the static and dynamic verification aspects. We will also briefly present Chameleon, a prototype workflow engine that implements these concepts.