An event-based model of software configuration management
SCM '91 Proceedings of the 3rd international workshop on Software configuration management
The Z notation: a reference manual
The Z notation: a reference manual
Consistency in software system development: framework, model, techniques & tools
SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
“Lazy” consistency: a basis for cooperative software development
CSCW '92 Proceedings of the 1992 ACM conference on Computer-supported cooperative work
Systems, models and measures
Software process modelling and technology
Software process modelling and technology
Concepts for evolving software processes
Software process modelling and technology
SPADE: an environment for software process analysis, design, and enactment
Software process modelling and technology
Exceptions and exception handling in computerized information processes
ACM Transactions on Information Systems (TOIS)
Z in practice
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
Dynamic change within workflow systems
COCS '95 Proceedings of conference on Organizational computing systems
Using event contexts and matching constraints to monitor software processes
Proceedings of the 17th international conference on Software engineering
How to deal with deviations during process model enactment
Proceedings of the 17th international conference on Software engineering
Proceedings of the 17th international conference on Software engineering
ICSE '91 Proceedings of the 13th international conference on Software engineering
A Discipline for Software Engineering
A Discipline for Software Engineering
IEEE Transactions on Software Engineering
Software Process Model Evolution in the SPADE Environment
IEEE Transactions on Software Engineering
Scaling Up Rule-Based Software Development Environments
ESEC '91 Proceedings of the 3rd European Software Engineering Conference
ASTRAL: An Assertion Language for Specifying Realtime Systems
ESEC '91 Proceedings of the 3rd European Software Engineering Conference
Towards Requirements for Enactment Mechanisms
EWSPT '94 Proceedings of the Third European Workshop on Software Process Technology
The Software Process and the Modelling of Complex Systems
EWSPT '95 Proceedings of the 4th European Workshop on Software Process Technology
ISAW '96 Joint proceedings of the second international software architecture workshop (ISAW-2) and international workshop on multiple perspectives in software development (Viewpoints '96) on SIGSOFT '96 workshops
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
Tolerating Deviations in Process Support Systems via Flexible Enactment of Process Models
IEEE Transactions on Software Engineering
Managing inconsistent specifications: reasoning, analysis, and action
ACM Transactions on Software Engineering and Methodology (TOSEM)
Software process validation: quantitatively measuring the correspondence of a process to a model
ACM Transactions on Software Engineering and Methodology (TOSEM)
Managing Process Inconsistency Using Viewpoints
IEEE Transactions on Software Engineering
Measuring Process Consistency: Implications for Reducing Software Defects
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Techniques for Supporting Dynamic and Adaptive Workflow
Computer Supported Cooperative Work
Handling of Irregularities in Human Centered Systems: A Unified Framework for Data and Processes
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
A framework for multi-valued reasoning over inconsistent viewpoints
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Guest Editorial: Introduction to the Special Section
IEEE Transactions on Software Engineering
Journal of Software Maintenance: Research and Practice
Error handling in process support systems
Advances in exception handling techniques
Restructuring Requirements Specifications For Managing Inconsistency And Change: A Case Study
ICRE '98 Proceedings of the 3rd International Conference on Requirements Engineering: Putting Requirements Engineering to Practice
Error Handling in Process Support Systems
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Introducing Workflow Management in Software Maintenance Processes
ICSM '01 Proceedings of the IEEE International Conference on Software Maintenance (ICSM'01)
Requirements interaction management
ACM Computing Surveys (CSUR)
Reconciling System Requirements and Runtime Behavior
IWSSD '98 Proceedings of the 9th international workshop on Software specification and design
ACM Transactions on Software Engineering and Methodology (TOSEM)
A deviation-tolerant approach to software process evolution
Ninth international workshop on Principles of software evolution: in conjunction with the 6th ESEC/FSE joint meeting
Mining Violations to Relax Relational Database Constraints
DaWaK '09 Proceedings of the 11th International Conference on Data Warehousing and Knowledge Discovery
Models and tools for managing development processes
Models and tools for managing development processes
An algebraic approach for managing inconsistencies in software processes
ICSP'07 Proceedings of the 2007 international conference on Software process
A deviation management system for handling software process enactment evolution
ICSP'08 Proceedings of the Software process, 2008 international conference on Making globally distributed software development a success story
Tool support for dynamic development processes
Graph transformations and model-driven engineering
A human-centric runtime framework for mixed service-oriented systems
Distributed and Parallel Databases
Dealing with changes in service orchestrations
Proceedings of the 27th Annual ACM Symposium on Applied Computing
Crowdsourcing tasks to social networks in BPEL4People
World Wide Web
Hi-index | 0.00 |
Most modern business activities are carried out by a combination of computerized tools and human agents. Typical examples are engineering design activities, office procedures, and banking systems. All these human-centered systems are characterized by the interaction among people, and between people and computerized tools. This interaction defines a process, whose effectiveness is essential to ensure the quality of the delivered products and/or services. To support these systems, process-centered environments and workflow management systems have been recently developed. They can be collectively identified with the term process technology. This technology is based on the explicit definition of the process to be followed (the process model). The model specifies the kind of support that has to be provided to human agents. An essential property that process technology mut exhibit is the ability of tolerating, controlling, and supporting deviations and inconsistencies of the real-world behaviors with respect to the proocess model. This is necessary to provide consistent and effective support to the human-centered system, still maintaining a high degree of flexibility and adaptability to the evolving needs, preferences, an expertise of the the human agents. This article presents a formal framework to characterize the interaction between a human-centered system and its automated support. It does not aim at introducing a new language or system to describe processes. Rather, it aims at identifying the basic properties and features that make it possible to formally define the concepts of inconsistency and deviation. This formal framework can then be used to compare existing solutions and guide future research work.