Specification and Verification of Artifact Behaviors in Business Process Models
ICSOC '07 Proceedings of the 5th international conference on Service-Oriented Computing
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
Control and data dependencies in business processes based on semantic business activities
Proceedings of the 10th International Conference on Information Integration and Web-based Applications & Services
Automatic construction of simple artifact-based business processes
Proceedings of the 12th International Conference on Database Theory
Automatic verification of data-centric business processes
Proceedings of the 12th International Conference on Database Theory
Towards formal analysis of artifact-centric business process models
BPM'07 Proceedings of the 5th international conference on Business process management
Artifact systems with data dependencies and arithmetic
Proceedings of the 14th International Conference on Database Theory
Comparing workflow specification languages: a matter of views
Proceedings of the 14th International Conference on Database Theory
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems - Volume Part I
On lifecycle constraints of artifact-centric workflows
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Procedural security analysis: A methodological approach
Journal of Systems and Software
Automatic verification of data-centric business processes
BPM'11 Proceedings of the 9th international conference on Business process management
BPM'11 Proceedings of the 9th international conference on Business process management
Comparing workflow specification languages: A matter of views
ACM Transactions on Database Systems (TODS)
Artifact systems with data dependencies and arithmetic
ACM Transactions on Database Systems (TODS)
Verification of relational data-centric dynamic systems with external services
Proceedings of the 32nd symposium on Principles of database systems
A causal model to predict the effect of business process evolution on quality of service
Proceedings of the 9th international ACM Sigsoft conference on Quality of software architectures
| Hi-index | 0.00 |
Business Artifacts are the core entities used by businesses to record information pertinent to their operations. Business operational models are representations of the processing of business artifacts. Traditional process modeling approaches focus on the actions taken to achieve a certain goal (verb-centric). Business artifact-centric modeling starts by identifying what is acted upon (noun-centric), and constructs business operational models by identifying the tasks/actions that business actors execute to add business value. In this paper, we identify important classes of properties on artifact-centric operational models. In particular, we focus on persistence, uniqueness and arrival properties. To enable a static analysis of these properties, we propose a formal model for artifact-centric operational models. We show that the formal model guarantees persistence and uniqueness. We prove that, while checking an arrival property is undecidable in general, under a restricted version of the formalism, an arrival property can be checked in EXPTIME .