Task support in an office system
ACM Transactions on Information Systems (TOIS)
Petri nets: an introduction
Office automation: a social and organizational perspective
Office automation: a social and organizational perspective
Automated support for the enactment of rigorously described software processes
ISPW '88 Proceedings of the 4th international software process workshop on Representing and enacting the software process
The design requirements of office systems
ACM Transactions on Information Systems (TOIS)
Office procedure as practical action: models of work and system design
ACM Transactions on Information Systems (TOIS)
A notation for malleable and interoperable coordination mechanisms for CSCW systems
COCS '95 Proceedings of conference on Organizational computing systems
A framework for formalizing inconsistencies and deviations in human-centered systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Step-by-step: a concept for describing co-operation within workflow management systems
ACM SIGOIS Bulletin - Special issue: groupware for self-organizing units
Generalized process structure grammars GPSG for flexible representations of work
CSCW '96 Proceedings of the 1996 ACM conference on Computer supported cooperative work
Distributed Coordination and Workflow on the World Wide Web
Computer Supported Cooperative Work - Special issue on groupware and the World Wide Web
WorkWeb system—multi-workflow management with a multi-agent system
GROUP '97 Proceedings of the international ACM SIGGROUP conference on Supporting group work: the integration challenge
Workflow management in geoprocessing applications
Proceedings of the 6th ACM international symposium on Advances in geographic information systems
Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
Tolerating Deviations in Process Support Systems via Flexible Enactment of Process Models
IEEE Transactions on Software Engineering
Tolerating exceptions in workflows: a unified framework for data and processes
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
A comprehensive approach to flexibility in workflow management systems
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
Software process validation: quantitatively measuring the correspondence of a process to a model
ACM Transactions on Software Engineering and Methodology (TOSEM)
Logic representation of processes in work activity coordination
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 1
Techniques for Supporting Dynamic and Adaptive Workflow
Computer Supported Cooperative Work
ML-DEWS: Modeling Language to Support Dynamic Evolution within Workflow Systems
Computer Supported Cooperative Work
A Light Workflow Management System Using SimpleProcess Models
Computer Supported Cooperative Work
Supporting Different Dimensions of Adaptabilityin Workflow Modeling
Computer Supported Cooperative Work
A Knowledge-based Approach to Handling Exceptions inWorkflow Systems
Computer Supported Cooperative Work
Configuration for Adaptation – A Human-centeredApproach to Flexible Workflow Enactment
Computer Supported Cooperative Work
A framework for workflow management systems based on objects, rules and roles
ACM Computing Surveys (CSUR)
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
Interaction as a framework for flexible workflow modelling
GROUP '01 Proceedings of the 2001 International ACM SIGGROUP Conference on Supporting Group Work
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Introducing eservices in business process models
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change
Information Systems Frontiers
A knowledge-based approach for handling exceptions in business processes
Information Technology and Management
IntelliGEN: A Distributed Workflow System for Discovering Protein-Protein Interactions
Distributed and Parallel Databases
Error handling in process support systems
Advances in exception handling techniques
ADOME-WFMS: towards cooperative handling of workflow exceptions
Advances in exception handling techniques
Flexible Workflow Management in the OPENflow System
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
Web-Based Workflow Evolution in ADOME-WFMS
WAIM '01 Proceedings of the Second International Conference on Advances in Web-Age Information Management
A Logical Framework for Exception Handling in ADOME Workflow Management System
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Controlled Flexibility in Workflow Management
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Adaptive and Dynamic Service Composition in eFlow
CAiSE '00 Proceedings of the 12th International Conference on Advanced Information Systems Engineering
Design for Change: Evolving Workflow Specifications in ULTRAflow
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
A Component-Based Workflow System with Dynamic Modifications
NGIT '99 Proceedings of the 4th International Workshop on Next Generation Information Technologies and Systems
ADOME-WFMS: Towards Cooperative Handling of Workflow Exceptions
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
Error Handling in Process Support Systems
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
A Three-Layer Model for Workflow Semantic Recovery in an Object-Oriented Environment
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
Net Theory and Workflow Models (abstract)
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Making Work Flow: On the Application of Petri Nets to Business Process Management
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
A Knowledge-Based Approach for Designing Robust Business Processes
Business Process Management, Models, Techniques, and Empirical Studies
A Workflow Change Is a Workflow
Business Process Management, Models, Techniques, and Empirical Studies
Improving Flexibility of Workflow Management Systems
Business Process Management, Models, Techniques, and Empirical Studies
Agent Coordination Infrastructures for Virtual Enterprises and Workflow Management
CIA '01 Proceedings of the 5th International Workshop on Cooperative Information Agents V
Flexible Workflow Management Systems: An Approach Based on Generic Process Models
DEXA '99 Proceedings of the 10th International Conference on Database and Expert Systems Applications
Pockets of Flexibility in Workflow Specification
ER '01 Proceedings of the 20th International Conference on Conceptual Modeling: Conceptual Modeling
A Work ow Management Systems Architecture that Support Ad-Hoc Recoveries
IDEAS '99 Proceedings of the 1999 International Symposium on Database Engineering & Applications
Design issues and performance improvements in routing strategy on the internet workflow
International Journal of Network Management
Process inheritance and instance modification
GROUP '03 Proceedings of the 2003 international ACM SIGGROUP conference on Supporting group work
Architectural concerns in distributed and mobile collaborative systems
Journal of Systems Architecture: the EUROMICRO Journal - Special issue: Evolutions in parallel distributed and network-based processing
Flexible Support of Team Processes by Adaptive Workflow Systems
Distributed and Parallel Databases
Flexible Support and Management of Adaptive Workflow Processes
Information Systems Frontiers
Correctness criteria for dynamic changes in workflow systems: a survey
Data & Knowledge Engineering - Special issue: Advances in business process management
Specification and validation of process constraints for flexible workflows
Information Systems
Dynamic restructuring of recovery nets
ADC '05 Proceedings of the 16th Australasian database conference - Volume 39
Case handling: a new paradigm for business process support
Data & Knowledge Engineering
The Metamorphoses of Workflow Projects in their Early Stages
Computer Supported Cooperative Work
Ontology-based workflow change management for flexible eGovernment service delivery
dg.o '03 Proceedings of the 2003 annual national conference on Digital government research
A tool for minimizing update errors for workflow applications: the CARD model
Computers and Industrial Engineering
Building conference proceedings requires adaptable workflow and content management
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
Applying algebraic approaches for modeling workflows and their transformations in mobile networks
Mobile Information Systems
State-Based Modeling Of Flexible Workflow Executions In Distributed Environments
Journal of Integrated Design & Process Science
Dynamic workflow change in PDM systems
Computers in Industry
Rethinking CSCW systems: the architecture of MILANO
ECSCW'97 Proceedings of the fifth conference on European Conference on Computer-Supported Cooperative Work
Supporting effective unexpected exceptions handling in workflow management systems
Proceedings of the 2007 ACM symposium on Applied computing
Advanced Topics In Workflow Management: Issues, Requirements, And Solutions
Journal of Integrated Design & Process Science
Process Evolution with Atomicity Consistency
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
A framework for managing the evolution of business protocols in web services
APCCM '07 Proceedings of the fourth Asia-Pacific conference on Comceptual modelling - Volume 67
Self-adapting recovery nets for policy-driven exception handling in business processes
Distributed and Parallel Databases
Supporting the dynamic evolution of Web service protocols in service-oriented architectures
ACM Transactions on the Web (TWEB)
A flexible information management system for supporting manufacturing activities
International Journal of Computer Applications in Technology
Resource disconnection management in MANET driven by process time plan
Proceedings of the 1st international conference on Autonomic computing and communication systems
A Process Meta Model to Support Policy Based Management in Workflow System
ICCS '07 Proceedings of the 7th international conference on Computational Science, Part III: ICCS 2007
Agent Behavior Alignment: A Mechanism to Overcome Problems in Agent Interactions During Runtime
CIA '07 Proceedings of the 11th international workshop on Cooperative Information Agents XI
Enhancing process-adaptation capabilities with web-based corporate radar technologies
OBI '08 Proceedings of the first international workshop on Ontology-supported business intelligence
Analysis of workflow dynamic changes based on Petri net
Information and Software Technology
Relaxed Compliance Notions in Adaptive Process Management Systems
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Business Driven SOA Customization
ICSOC '08 Proceedings of the 6th International Conference on Service-Oriented Computing
Process-Aware Information Systems: Lessons to Be Learned from Process Mining
Transactions on Petri Nets and Other Models of Concurrency II
Flexibility in Process-Aware Information Systems
Transactions on Petri Nets and Other Models of Concurrency II
On managing business processes variants
Data & Knowledge Engineering
Using interaction models to detect and resolve inconsistencies in evolving service compositions
Web Intelligence and Agent Systems
Workflow management in the grid era: A goal-driven approach based on process patterns
Multiagent and Grid Systems - New tendencies on agents and grid environments
Another Approach to Service Instance Migration
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Dynamic change in workflow-based coordination of distributed services
IWSAS'01 Proceedings of the 2nd international conference on Self-adaptive software: applications
Evaluation of correctness criteria for dynamic workflow changes
BPM'03 Proceedings of the 2003 international conference on Business process management
Implementation of policy based management in workflow management system
CSCWD'06 Proceedings of the 10th international conference on Computer supported cooperative work in design III
Infrastructure of an agile supply chain system: a virtual agent modeling approach
ICCS'03 Proceedings of the 2003 international conference on Computational science: PartIII
Dynamic context-aware business process: a rule-based approach supported by pattern identification
Proceedings of the 2010 ACM Symposium on Applied Computing
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
An efficient approach for supporting dynamic evolutionary change of adaptive workflow
APWeb'08 Proceedings of the 10th Asia-Pacific web conference on Progress in WWW research and development
Adding support for dynamics patterns to static business process management systems
SC'08 Proceedings of the 7th international conference on Software composition
A service-based architecture for dynamically reconfigurable workflows
Journal of Systems and Software
Journal of Biomedical Informatics
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
Resilient Business Process Management: Framework and services
Expert Systems with Applications: An International Journal
Towards a dynamic rule-based business process
International Journal of Web and Grid Services
Federated enactment of workflow patterns
EuroPar'10 Proceedings of the 16th international Euro-Par conference on Parallel processing: Part I
iTasks for a change: type-safe run-time change in dynamically evolving workflows
Proceedings of the 20th ACM SIGPLAN workshop on Partial evaluation and program manipulation
Collaborative coordination of activities with temporal dependencies
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Prototype of object-oriented declarative workflows
ACIIDS'11 Proceedings of the Third international conference on Intelligent information and database systems - Volume Part I
Process mining and verification of properties: an approach based on temporal logic
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Policy-based workflow management system
WAIM'05 Proceedings of the 6th international conference on Advances in Web-Age Information Management
A dynamic workflow management system for coordination of cooperative activities
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Integrating process learning and process evolution – a semantics based approach
BPM'05 Proceedings of the 3rd international conference on Business Process Management
Worklets: a service-oriented implementation of dynamic flexibility in workflows
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
A collaborative framework for unexpected exception handling
CRIWG'05 Proceedings of the 11th international conference on Groupware: design, Implementation, and Use
Motown: a practical approach to workflows
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
An incremental approach to analyzing temporal constraints of workflow processes
APWeb'12 Proceedings of the 14th Asia-Pacific international conference on Web Technologies and Applications
On enabling integrated process compliance with semantic constraints in process management systems
Information Systems Frontiers
Using Recommendation to Support Adaptive Clinical Pathways
Journal of Medical Systems
Toward design, modelling and analysis of dynamic workflow reconfigurations
WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
A Petri net model for changing units of learning in runtime
Knowledge-Based Systems
Knowledge-Based Behavior Specification
WI-IAT '12 Proceedings of the The 2012 IEEE/WIC/ACM International Joint Conferences on Web Intelligence and Intelligent Agent Technology - Volume 03
Computational Coordination Mechanisms: A tale of a struggle for flexibility
Computer Supported Cooperative Work
Runtime Dynamic Structural Changes of Scientific Workflows in Clouds
UCC '13 Proceedings of the 2013 IEEE/ACM 6th International Conference on Utility and Cloud Computing
A Logic Framework for Incremental Learning of Process Models
Fundamenta Informaticae
Towards a formal analysis of dynamic reconfiguration in WS-BPEL
Intelligent Decision Technologies
| Hi-index | 0.00 |
Dynamic change is a large and pervasive unsolved problem which surfaces within office systems as well as within software engineering, manufacturing, and numerous other domains. Procedural changes, performed in an ad hoc manner, can cause inefficiencies, inconsistencies, and catastrophic breakdowns within offices. This paper is concerned with dynamic change to procedures in the context of workflow systems. How can we make workflow systems more flexible and open? We believe that part of the answer lies in the study and solution of the dynamic change problem. In this paper, we use a Petri net formalism to analyze structural change within office procedures. As an example, we define a class of change called “synthetic cut-over change”, and apply our formalism to prove that this class maintains correctness when downsizing occurs.