Verification of Large State/Event Systems Using Compositionality and Dependency Analysis
Formal Methods in System Design
Behavior-consistent specialization of object life cycles
ACM Transactions on Software Engineering and Methodology (TOSEM)
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Process Specialization: Defining Specialization for State Diagrams
Computational & Mathematical Organization Theory
Defining specialization for dataflow diagrams
Information Systems
Business artifacts: An approach to operational specification
IBM Systems Journal
On the Duality of Information-Centric and Activity-Centric Models of Business Processes
CAiSE '08 Proceedings of the 20th international conference on Advanced Information Systems Engineering
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
Artifact-Centric Business Process Models: Brief Survey of Research Results and Challenges
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part II on On the Move to Meaningful Internet Systems
The Computer Journal
Artifact-Centric Workflow Dominance
ICSOC-ServiceWave '09 Proceedings of the 7th International Joint Conference on Service-Oriented Computing
Generation of business process models for object life cycle compliance
BPM'07 Proceedings of the 5th international conference on Business process management
Towards formal analysis of artifact-centric business process models
BPM'07 Proceedings of the 5th international conference on Business process management
Deciding behaviour compatibility of complex correspondences between process models
BPM'10 Proceedings of the 8th international conference on Business process management
APROMORE: An advanced process model repository
Expert Systems with Applications: An International Journal
A process view framework for artifact-centric business processes
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
Efficient Consistency Measurement Based on Behavioral Profiles of Process Models
IEEE Transactions on Software Engineering
Compliance by design for artifact-centric business processes
BPM'11 Proceedings of the 9th international conference on Business process management
Conformance checking of interacting processes with overlapping instances
BPM'11 Proceedings of the 9th international conference on Business process management
An artifact-centric view-based approach to modeling inter-organizational business processes
WISE'11 Proceedings of the 12th international conference on Web information system engineering
Multilevel business process modeling: motivation, approach, design issues, and applications
Proceedings of the 5th Ph.D. workshop on Information and knowledge
Hi-index | 0.00 |
Driven by complex and dynamic business process requirements, there has been an increasing demand for business process reuse to improve modeling efficiency. Process specialization is an effective reuse method that can be used to customize and extend base process models to specialized models. In the recent years, artifact-centric business process modeling has emerged as it supports a more flexible process structure compared with traditional activity-centric process models. Although, process specialization has been studied for the traditional models by treating a process as a single object, the specialization of artifact-centric processes that consist of multiple interacting artifacts has not been studied. Inheriting interactions among artifacts for specialized processes and ensuring the consistency of the processes are challenging. To address these issues, we propose a novel framework for process specialization comprising artifact-centric process models, methods to define a specialized process model based on an existing process model, and the behavior consistency between the specialized model and its base model.