Business artifacts: An approach to operational specification
IBM Systems Journal
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
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
On lifecycle constraints of artifact-centric workflows
WS-FM'10 Proceedings of the 7th international conference on Web services and formal methods
Conformance checking of interacting processes with overlapping instances
BPM'11 Proceedings of the 9th international conference on Business process management
Hi-index | 0.00 |