Petri nets: an introduction
Transformations and decompositions of nets
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
An efficient algorithm for branching bisimulation and stuttering equivalence
Proceedings of the seventeenth international colloquium on Automata, languages and programming
Process algebra
Improving the linearly based characterization of P/T nets
APN 90 Proceedings on Advances in Petri nets 1990
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
Free choice Petri nets
Dynamic change within workflow systems
COCS '95 Proceedings of conference on Organizational computing systems
Branching bisimilarity is an equivalence indeed!
Information Processing Letters
Branching time and abstraction in bisimulation semantics
Journal of the ACM (JACM)
Workflow management coalition member directory
Workflow handbook 1997
Adept_flex—Supporting Dynamic Changes of Workflows Without Losing Control
Journal of Intelligent Information Systems - Special issue on workflow management systems
Modeling and Analysis of Workflows Using Petri Nets
Journal of Intelligent Information Systems - Special issue on workflow management systems
The Unified Modeling Language user guide
The Unified Modeling Language user guide
Data & Knowledge Engineering - Special issue on ER '96
A comprehensive approach to flexibility in workflow management systems
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
Verification of workflow task structures: A petri-net-based approach
Information Systems
Enterprise information systems
ML-DEWS: Modeling Language to Support Dynamic Evolution within Workflow Systems
Computer Supported Cooperative Work
The Sap R/3 Handbook
Implementing Baan IV
Object-Oriented Database Systems: Concepts and Architectures
Object-Oriented Database Systems: Concepts and Architectures
Business Process Management, Models, Techniques, and Empirical Studies
Business Process Management, Models, Techniques, and Empirical Studies
The Linear Time - Branching Time Spectrum II
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Computer Supported Cooperative Work and Petri Nets
Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Life-Cycle Inheritance: A Petri-Net-Based Approach
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
A survey of equivalence notions for net based systems
Advances in Petri Nets 1992, The DEMON Project
Modeling and Enactment of Workflow Systems
Proceedings of the 14th International Conference on Application and Theory of Petri Nets
Ad-hoc workflow: problems and solutions
DEXA '97 Proceedings of the 8th International Workshop on Database and Expert Systems Applications
DEXA '97 Proceedings of the 8th International Workshop on Database and Expert Systems Applications
Dynamic evolution within workflow systems
Dynamic evolution within workflow systems
Process Specialization: Defining Specialization for State Diagrams
Computational & Mathematical Organization Theory
Inheritance of Interorganizational Workflows to Enable Business-to-Business E-Commerce
Electronic Commerce Research
Exterminating the Dynamic Change Bug: A Concrete Approach to Support Workflow Change
Information Systems Frontiers
IntelliGEN: A Distributed Workflow System for Discovering Protein-Protein Interactions
Distributed and Parallel Databases
The P2P Approach to Interorganizational Workflows
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Identifying Commonalities and Differences in Object Life Cycles Using Behavioral Inheritance
ICATPN '01 Proceedings of the 22nd 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
Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?
Information Technology and Management
Defining specialization for dataflow diagrams
Information Systems
Process inheritance and instance modification
GROUP '03 Proceedings of the 2003 international ACM SIGGROUP conference on Supporting group work
Information Technology and Management
Flexible Support of Team Processes by Adaptive Workflow Systems
Distributed and Parallel Databases
Correctness criteria for dynamic changes in workflow systems: a survey
Data & Knowledge Engineering - Special issue: Advances in business process management
Data & Knowledge Engineering - Special issue: Advances in business process management
Specification and (property) inheritance in CSP-OZ
Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Specification and validation of process constraints for flexible workflows
Information Systems
When are two workflows the same?
CATS '05 Proceedings of the 2005 Australasian symposium on Theory of computing - Volume 41
The Metamorphoses of Workflow Projects in their Early Stages
Computer Supported Cooperative Work
Slicing techniques for verification re-use
Theoretical Computer Science - Formal methods for components and objects
On using OO techniques to establish workflow conformance
Proceedings of the 2006 ACM symposium on Applied computing
Discovering Expressive Process Models by Clustering Log Traces
IEEE Transactions on Knowledge and Data Engineering
Building conference proceedings requires adaptable workflow and content management
VLDB '06 Proceedings of the 32nd international conference on Very large data bases
A configurable reference modelling language
Information Systems
Applying algebraic approaches for modeling workflows and their transformations in mobile networks
Mobile Information Systems
Dynamic workflow change in PDM systems
Computers in Industry
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
Electronic Notes in Theoretical Computer Science (ENTCS)
Process Evolution with Atomicity Consistency
SEAMS '07 Proceedings of the 2007 International Workshop on Software Engineering for Adaptive and Self-Managing Systems
Integration and verification of semantic constraints in adaptive process management systems
Data & Knowledge Engineering
Quantifying process equivalence based on observed behavior
Data & Knowledge Engineering
Translating unstructured workflow processes to readable BPEL: Theory and implementation
Information and Software Technology
Resource disconnection management in MANET driven by process time plan
Proceedings of the 1st international conference on Autonomic computing and communication systems
International Journal of Computer Integrated Manufacturing
Proceedings of the 2008 Spring simulation multiconference
A New Paradigm for the Enactment and Dynamic Adaptation of Data-Driven Process Structures
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
Applying Patterns during Business Process Modeling
BPM '08 Proceedings of the 6th International Conference on Business Process Management
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
On Measuring Process Model Similarity Based on High-Level Change Operations
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Complexity metrics for Workflow nets
Information and Software Technology
Modeling and monitoring of E-commerce workflows
Information Sciences: an International Journal
Flexibility in Process-Aware Information Systems
Transactions on Petri Nets and Other Models of Concurrency II
Deciding Substitutability of Services with Operating Guidelines
Transactions on Petri Nets and Other Models of Concurrency II
Deciding service composition and substitutability using extended operating guidelines
Data & Knowledge Engineering
Using interaction models to detect and resolve inconsistencies in evolving service compositions
Web Intelligence and Agent Systems
CMO --An Ontological Framework for Academic Programs and Examination Regulations
Proceedings of the 2008 conference on Information Modelling and Knowledge Bases XIX
Evaluation of inter-organizational business process solutions: A conceptual model-based approach
Information Systems Frontiers
Detecting artifact anomalies in business process specifications with a formal model
Journal of Systems and Software
Discovering Reference Models by Mining Process Variants Using a Heuristic Approach
BPM '09 Proceedings of the 7th International Conference on Business Process Management
Declarative specification and verification of service choreographiess
ACM Transactions on the Web (TWEB)
Another Approach to Service Instance Migration
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Evolutionary design through reflective Petri nets: an application to workflow
SE '08 Proceedings of the IASTED International Conference on Software Engineering
Maintaining consistency in layered architectures of mobile ad-hoc networks
FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering
Scenarios and techniques for choreography design
BIS'07 Proceedings of the 10th international conference on Business information systems
Deciding life-cycle inheritance on Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
Evaluation of correctness criteria for dynamic workflow changes
BPM'03 Proceedings of the 2003 international conference on Business process management
Towards a library for process programming
BPM'03 Proceedings of the 2003 international conference on Business process management
Web service orchestration with super-dual object nets
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
From public views to private views: correctness-by-design for services
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
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
Highly dynamic adaptation in process management systems through execution monitoring
BPM'07 Proceedings of the 5th international conference on Business process management
Local enforceability in interaction Petri nets
BPM'07 Proceedings of the 5th international conference on Business process management
A service-based architecture for dynamically reconfigurable workflows
Journal of Systems and Software
Specification and verification of harmonized business-process collaborations
Information Systems Frontiers
Resilient Business Process Management: Framework and services
Expert Systems with Applications: An International Journal
Prototype-based management of business process exception cases
Applied Intelligence
Correctness ensuring process configuration: an approach based on partner synthesis
BPM'10 Proceedings of the 8th international conference on Business process management
A distributed framework for reliable and efficient service choreographies
Proceedings of the 20th international conference on World wide web
Modeling and survivability analysis of service composition using Stochastic Petri Nets
The Journal of Supercomputing
Editorial: Mining business process variants: Challenges, scenarios, algorithms
Data & Knowledge Engineering
Efficient change management in long-term composed services
Service Oriented Computing and Applications
NIÑOS take five: the management infrastructure for distributed event-driven workflows
Proceedings of the 5th ACM international conference on Distributed event-based system
Achieving multi-tenanted business processes in SaaS applications
WISE'11 Proceedings of the 12th international conference on Web information system engineering
Choreographies as federations of choreographies and orchestrations
CoMoGIS'06 Proceedings of the 2006 international conference on Advances in Conceptual Modeling: theory and practice
Balancing flexibility and security in adaptive process management systems
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Enabling business process interoperability using contract workflow models
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Adapt or perish: algebra and visual notation for service interface adaptation
BPM'06 Proceedings of the 4th international conference on Business Process Management
Process equivalence: comparing two process models based on observed behavior
BPM'06 Proceedings of the 4th international conference on Business Process Management
Semantic correctness in adaptive process management systems
BPM'06 Proceedings of the 4th international conference on Business Process Management
On representing, purging, and utilizing change logs in process management systems
BPM'06 Proceedings of the 4th international conference on Business Process Management
Nested nets for adaptive systems
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
CCBR–Driven business process evolution
ICCBR'05 Proceedings of the 6th international conference on Case-Based Reasoning Research and Development
Integrating process learning and process evolution – a semantics based approach
BPM'05 Proceedings of the 3rd international conference on Business Process Management
High-level nets with nets and rules as tokens
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
On the concurrency of inter-organizational business processes
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
Evaluation of technical measures for workflow similarity based on a pilot study
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
Evolution of process choreographies in DYCHOR
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
Applying specialization to petri nets: implications for workflow design
BPM'05 Proceedings of the Third international conference on Business Process Management
Configurable process models as a basis for reference modeling
BPM'05 Proceedings of the Third international conference on Business Process Management
A process distance metric based on alignment of process structure trees
APWeb'12 Proceedings of the 14th international conference on Web Technologies and Applications
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
Change impact analysis in service-based business processes
Service Oriented Computing and Applications
A framework for behavior-consistent specialization of artifact-centric business processes
BPM'12 Proceedings of the 10th international conference on Business Process Management
On Utilizing Web Service Equivalence for Supporting the Composition Life Cycle
International Journal of Web Services Research
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
"Adore", a logical meta-model supporting business process evolution
Science of Computer Programming
Process Evolution in a Distributed Process Execution Environment
International Journal of Information System Modeling and Design
A survey of change management in service-based environments
Service Oriented Computing and Applications
An end-user approach to business process modeling
Journal of Network and Computer Applications
Hi-index | 5.23 |
Inheritance is one of the key issues of object-orientation. The inheritance mechanism allows for the definition of a subclass which inherits the features of a specific superclass. When adapting a workflow process definition to specific needs (ad-hoc change) or changing the structure of the workflow process as a result of reengineering efforts (evolutionary change), inheritance concepts are useful to check whether the new workflow process inherits some desirable properties of the old workflow process. Today's workflow management systems have problems dealing with both ad-hoc changes and evolutionary changes. As a result, a workflow management system is not used to support dynamically changing workflow processes or the workflow processes are supported in a rigid manner, i.e., changes are not allowed or handled outside of the workflow management system. In this paper, we propose inheritance-preserving transformation rules for workflow processes and show that these rules can be used to avoid problems such as the "dynamic-change bug." The dynamic-change bug refers to errors introduced by migrating a case (i.e., a process instance) from an old process definition to a new one. A transfer from an old process to a new process can lead to duplication of work, skipping of tasks, deadlocks, and livelocks. Restricting change to the inheritance-preserving transformation rules guarantees transfers without any of these problems. Moreover, the transformation rules can also be used to extract aggregate management information in case more than one version of a workflow process cannot be avoided.