SALT: a knowledge acquisition language for propose-and-revise systems
Artificial Intelligence
Operational and algebraic semantics of concurrent processes
Handbook of theoretical computer science (vol. B)
Efficiently computing static single assignment form and the control dependence graph
ACM Transactions on Programming Languages and Systems (TOPLAS)
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Coloured Petri nets (2nd ed.): basic concepts, analysis methods and practical use: volume 1
Advanced compiler design and implementation
Advanced compiler design and implementation
Maintaining knowledge about temporal intervals
Communications of the ACM
Aris-Business Process Modeling
Aris-Business Process Modeling
Isolating cause-effect chains from computer programs
Proceedings of the 10th ACM SIGSOFT symposium on Foundations of software engineering
Software development method tailoring at Motorola
Communications of the ACM - Digital rights management
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
Counterexample-guided abstraction refinement for symbolic model checking
Journal of the ACM (JACM)
Generative constraint-based configuration of large technical systems
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Towards a general ontology of configuration
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
A classification and constraint-based framework for configuration
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Workflow Management: Models, Methods, and Systems
Workflow Management: Models, Methods, and Systems
Configuration-Based Workflow Composition
ICWS '05 Proceedings of the IEEE International Conference on Web Services
On the semantics of EPCs: resolving the vicious circle
Data & Knowledge Engineering - Special issue: Business process management
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
Handbook of Constraint Programming (Foundations of Artificial Intelligence)
A configurable reference modelling language
Information Systems
Practice-driven approach for creating project-specific software development methods
Information and Software Technology
Integration and verification of semantic constraints in adaptive process management systems
Data & Knowledge Engineering
Data & Knowledge Engineering
Computer-Aided Method Engineering: An Analysis of Existing Environments
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Empirical Studies in Process Model Verification
Transactions on Petri Nets and Other Models of Concurrency II
Service Composition as Generative Constraint Satisfaction
ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
Generating and Evaluating Choices for Fixing Inconsistencies in UML Design Models
ASE '08 Proceedings of the 2008 23rd IEEE/ACM International Conference on Automated Software Engineering
HTN planning for Web Service composition using SHOP2
Web Semantics: Science, Services and Agents on the World Wide Web
Scoping software process models: initial concepts and experience from defining space standards
ICSP'08 Proceedings of the Software process, 2008 international conference on Making globally distributed software development a success story
Second-order principles in specification languages for object-oriented programs
LPAR'05 Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and Reasoning
Simple is better: efficient bounded model checking for past LTL
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
A UML 2 profile for business process modelling
ER'05 Proceedings of the 24th international conference on Perspectives in Conceptual Modeling
Hi-index | 0.00 |
This article describes the technical principles and representation of a constraint-based configuration method for work processes. Methods developed for the configuration of modular systems comprising components have traditionally adopted a representation where the properties and compatibility requirements are expressed as constraints associated with individual components. However, this representation does not accurately capture constraints on paths and subprocesses and is therefore unsuitable for process configuration. This article extends established constraint-based configuration methods with a constraint language for specifying properties of execution paths in work processes. A framework for semiautomated process customization is presented. It integrates the extended constraint language with a metamodel of the work processes in an organization and allows to adapt generic work processes to fit the requirements of specific development projects. Heuristic search methods are applied to build valid process configurations by incrementally resolving constraint violations. The declarative framework facilitates the adaptation of abstract work processes as well as the validation and repair of existing processes. The approach was developed in the context of a real-world system of complex design and development processes where it was shown that significant process improvements and reduction in effort required to edit process models can be achieved.