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
Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
A comprehensive approach to flexibility in workflow management systems
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Model checking
Techniques for Supporting Dynamic and Adaptive Workflow
Computer Supported Cooperative Work
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Simple on-the-fly automatic verification of linear temporal logic
Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV
ER '96 Proceedings of the 15th International Conference on Conceptual Modeling
Validation of Process Models by Construction of Process Nets
Business Process Management, Models, Techniques, and Empirical Studies
Formal Foundation and Conceptual Design of Dynamic Adaptations in a Workflow Management System
HICSS '01 Proceedings of the 34th Annual Hawaii International Conference on System Sciences ( HICSS-34)-Volume 7 - Volume 7
Correctness criteria for dynamic changes in workflow systems: a survey
Data & Knowledge Engineering - Special issue: Advances in business process management
Case handling: a new paradigm for business process support
Data & Knowledge Engineering
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
The prom framework: a new era in process mining tool support
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Integration and verification of semantic constraints in adaptive process management systems
Data & Knowledge Engineering
Non-functional requirements in business process modeling
APCCM '08 Proceedings of the fifth Asia-Pacific conference on Conceptual Modelling - Volume 79
Patterns of business rules to enable agile business processes
Enterprise Information Systems - Challenges and Solutions in Enterprise Computing - 11th International IEEE EDOC Conference (EDOC 2007)
Supporting Flexible Processes through Recommendations Based on History
BPM '08 Proceedings of the 6th International Conference on Business Process Management
Computational Logic in Multi-Agent Systems
Control and data dependencies in business processes based on semantic business activities
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Dynamic business network process management in instant virtual enterprises
Computers in Industry
Verification from Declarative Specifications Using Logic Programming
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
Hyperlinking the work for self-management of flexible workflows
Communications of the ACM - One Laptop Per Child: Vision vs. Reality
Exploiting Inductive Logic Programming Techniques for Declarative Process Mining
Transactions on Petri Nets and Other Models of Concurrency II
The Declarative Approach to Business Process Execution: An Empirical Test
CAiSE '09 Proceedings of the 21st International Conference on Advanced Information Systems Engineering
Versions to Address Business Process Flexibility Issue
ADBIS '09 Proceedings of the 13th East European Conference on Advances in Databases and Information Systems
An Integrated Declarative Approach to Web Services Composition and Monitoring
WISE '09 Proceedings of the 10th International Conference on Web Information Systems Engineering
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
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
Constraint-based workflow models: change made easy
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Dynamic, extensible and context-aware exception handling for workflows
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
Formal analysis of BPMN via a translation into COWS
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Modeling control objectives for business process compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Inducing declarative logic-based models from labeled traces
BPM'07 Proceedings of the 5th international conference on Business process management
A phased deployment of a workflow infrastructure in the enterprise architecture
BPM'07 Proceedings of the 2007 international conference on Business process management
BPM'07 Proceedings of the 2007 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
Behavior-Oriented Commitment-based Protocols
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Embedding a web-based workflow management system in a functional language
Proceedings of the Tenth Workshop on Language Descriptions, Tools and Applications
FlowWiki: A wiki based platform for ad hoc collaborative workflows
Knowledge-Based Systems
Agents, multi-agent systems and declarative programming: what, when, where, why, who, how?
A 25-year perspective on logic programming
25 years of applications of logic programming in Italy
A 25-year perspective on logic programming
An open platform for business process modeling and verification
DEXA'10 Proceedings of the 21st international conference on Database and expert systems applications: Part I
Self-adjusting recommendations for people-driven ad-hoc processes
BPM'10 Proceedings of the 8th international conference on Business process management
Declarative technologies for open agent systems and beyond
KES-AMSTA'10 Proceedings of the 4th KES international conference on Agent and multi-agent systems: technologies and applications, Part I
Probabilistic declarative process mining
KSEM'10 Proceedings of the 4th international conference on Knowledge science, engineering and management
Fundamenta Informaticae - RCRA 2008 Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion
Product-based workflow support
Information Systems
Norm compliance in business process modeling
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
Visually specifying compliance rules and explaining their violations for business processes
Journal of Visual Languages and Computing
Semantics of business process vocabulary and process rules
Proceedings of the 4th India Software Engineering Conference
Expert Systems with Applications: An International Journal
Commitment-based protocols with behavioral rules and correctness properties of MAS
DALT'10 Proceedings of the 8th international conference on Declarative agent languages and technologies VIII
Autonomous Agents and Multi-Agent Systems
An iterative approach for business process template synthesis from compliance rules
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Supporting dynamic, people-driven processes through self-learning of message flows
CAiSE'11 Proceedings of the 23rd international conference on Advanced information systems engineering
Monitoring business constraints with linear temporal logic: an approach based on colored automata
BPM'11 Proceedings of the 9th international conference on Business process management
Event-based monitoring of process execution violations
BPM'11 Proceedings of the 9th international conference on Business process management
An interaction-oriented agent framework for open environments
AI*IA'11 Proceedings of the 12th international conference on Artificial intelligence around man and beyond
Business rules for creating process flexibility: mapping RIF rules and BDI rules
WISS'10 Proceedings of the 2010 international conference on Web information systems engineering
A transformation from SBVR business rules into event coordinated rules by means of SBVR patterns
ServiceWave'10 Proceedings of the 2010 international conference on Towards a service-based internet
Monitoring business process compliance using compliance rule graphs
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Event condition expectation (ECE-) rules for monitoring observable systems
RuleML'11 Proceedings of the 5th international conference on Rule-based modeling and computing on the semantic web
Safe distribution of declarative processes
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
On the relation between decision structures, tables and processes
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems
DecSerFlow: towards a truly declarative service flow language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Representing and visualizing mined artful processes in mailofmine
USAB'11 Proceedings of the 7th conference on Workgroup Human-Computer Interaction and Usability Engineering of the Austrian Computer Society: information Quality in e-Health
Dealing with changes in service orchestrations
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Nested dynamic condition response graphs
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
An operational decision support framework for monitoring business constraints
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
On enabling integrated process compliance with semantic constraints in process management systems
Information Systems Frontiers
Reactive event calculus for monitoring global computing applications
Logic Programs, Norms and Action
Declarative modelling and safe distribution of healthcare workflows
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Patterns for a log-based strengthening of declarative compliance models
IFM'12 Proceedings of the 9th international conference on Integrated Formal Methods
Process control technique using planning and constraint satisfaction
APNOMS'07 Proceedings of the 10th Asia-Pacific conference on Network Operations and Management Symposium: managing next generation networks and services
Constitutive and regulative specifications of commitment protocols: A decoupled approach
ACM Transactions on Intelligent Systems and Technology (TIST) - Special section on agent communication, trust in multiagent systems, intelligent tutoring and coaching systems
A Notation for the Task-Oriented Modeling of Business Processes
International Journal of Human Capital and Information Technology Professionals
Comprehensive rule-based compliance checking and risk management with process mining
Decision Support Systems
Modular context-sensitive and aspect-oriented processes with dynamic condition response graphs
Proceedings of the 12th workshop on Foundations of aspect-oriented languages
Information Systems Frontiers
Towards data-aware constraints in declare
Proceedings of the 28th Annual ACM Symposium on Applied Computing
Temporal deontic action logic for the verification of compliance to norms in ASP
Proceedings of the Fourteenth International Conference on Artificial Intelligence and Law
Enabling ad-hoc business process adaptations through event-driven task decoupling
CAiSE'13 Proceedings of the 25th international conference on Advanced Information Systems Engineering
Discovering data-aware declarative process models from event logs
BPM'13 Proceedings of the 11th international conference on Business Process Management
Exformatics declarative case management workflows as DCR graphs
BPM'13 Proceedings of the 11th international conference on Business Process Management
International Journal of Web Services Research
Monitoring business constraints with the event calculus
ACM Transactions on Intelligent Systems and Technology (TIST) - Special Section on Intelligent Mobile Knowledge Discovery and Management Systems and Special Issue on Social Web Mining
Service subscription and consumption for personal web applications
The Personal Web
Information and Software Technology
Engineering commitment-based business protocols with the 2CL methodology
Autonomous Agents and Multi-Agent Systems
Representations of Artifact-Centric Business Processes
International Journal of Productivity Management and Assessment Technologies
A Logic Framework for Incremental Learning of Process Models
Fundamenta Informaticae
Hi-index | 0.00 |
Management of dynamic processes in an important issue in rapidly changing organizations. Workflow management systems are systems that use detailed process models to drive the business processes. Current business process modelling languages and models are of imperative nature – they strictly prescribe how to work. Systems that allow users to maneuver within the process model or even change the model while working are considered to be the most suitable for dynamic processes management. However, in many companies it is not realistic to expect that end-users are able to change their processes. Moreover, the imperative nature of these languages forces designer to over-specify processes, which results in frequent changes. We propose a fundamental paradigm shift for flexible process management and propose a more declarative approach. Declarative models specify what should be done without specifying how it should be done. We propose the ConDec language for modelling and enacting dynamic business processes. ConDec is based on temporal logic rather than some imperative process modelling language.