Verifiable UML artifact-centric business process models

CIKM 2014 - Proceedings of the 2014 ACM International Conference on Information and Knowledge Management

Volumn , Issue , 2014, Pages 1289-1298

  Calvanese, Diego ^a   Montali, Marco ^a   Estañol, Montserrat ^b   Teniente, Ernest ^b  

^a FREE UNIVERSITY OF BOZEN BOLZANO   (Italy)

^b UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

BPM; Business artifacts; Formal verification; UML

Indexed keywords

KNOWLEDGE MANAGEMENT; LIFE CYCLE; MODELING LANGUAGES;

ARTIFACT-CENTRIC; BUSINESS ARTIFACTS; BUSINESS PROCESS MODEL; FIRST ORDER; MODELING METHODOLOGY; TEMPORAL PROPERTY; TWO-LINE;

FORMAL VERIFICATION;

EID: 84937495224     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2661829.2662050     Document Type: Conference Paper

References (22)

1. B. Bagheri Hariri, D. Calvanese, G. D. Giacomo, A. Deutsch, and M. Montali. Verification of relational data-centric dynamic systems with external services. In Proc. of PODS, pages 163-174. ACM, 2013.
2. B. Bagheri Hariri, D. Calvanese, M. Montali, G. De Giacomo, R. De Masellis, and P. Felli. Description logic knowledge and action bases. J. Artif. Intell. Res., 46:651-686, 2013.
3. F. Belardinelli, A. Lomuscio, and F. Patrizi. Verification of GSM-based artifact-centric systems through finite abstraction. In Proc. of ICSOC, volume 7636 of LNCS, pages 17-31. Springer, 2012.
4. K. Bhattacharya, R. Hull, and J. Su. A data-centric design methodology for business processes. In Handbook of Research on Business Process Management, pages 1-28. 2009.
5. D. Calvanese, G. D. Giacomo, D. Lembo, M. Montali, and A. Santoso. Ontology-based governance of data-aware processes. In Proc. of RR, volume 7497 of LNCS, pages 25-41. Springer, 2012.
6. D. Calvanese, M. Montali, M. Estañol, and E. Teniente. Verifiable UML artifact-centric business process models (Extended version). CoRR Report arXiv:1408.5094, arXiv.org e-Print archive, 2014.
7. E. Damaggio, A. Deutsch, and V. Vianu. Artifact systems with data dependencies and arithmetic. ACM Trans. on Database Systems, 37(3):1-36, Aug. 2012.
8. E. Damaggio, R. Hull, and R. Vaculín. On the equivalence of incremental and fixpoint semantics for business artifacts with guard-stage-milestone lifecycles. Inf. Syst., 38(4):561-584, 2013.
9. M. Estañol, A. Queralt, M.-R. Sancho, and E. Teniente. Artifact-centric business process models in UML. In Proc. of BPM Workshops, volume 132 of LNBIP, pages 292-303. Springer, 2012.
10. M. Estañol, M.-R. Sancho, and E. Teniente. Reasoning on UML data-centric business process models. In Proc. of ICSOC, volume 8274 of LNCS, pages 437-445. Springer, 2013.
11. D. Fahland, M. D. Leoni, B. F. van Dongen, and W. M. P. van der Aalst. Behavioral conformance of artifact-centric process models. In Proc. of BIS, volume 87 of LNBIP, pages 37-49. Springer, 2011.
12. C. E. Gerede and J. Su. Specification and verification of artifact behaviors in business process models. In Proc. of ICSOC, volume 4749 of LNCS, pages 181-192. Springer, 2007.
13. P. Gonzalez, A. Griesmayer, and A. Lomuscio. Verifying GSM-based business artifacts. In Proc. of ICWS, pages 25-32. IEEE, 2012.
14. R. Hull. Artifact-centric business process models: Brief survey of research results and challenges. In Proc. of OTM, volume 5332 of LNCS, pages 1152-1163. Springer, 2008.
15. R. Hull et al. Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events. In Proc. of DEBS, pages 51-62. ACM, 2011.
16. ISO. ISO/IEC 19505-2:2012 - OMG UML superstructure 2.4.1. Technical Report ISO/IEC 19505-2:2012, OMG, 2012.
17. V. Künzle and M. Reichert. PHILharmonicFlows: towards a framework for object-aware process management. Software Maintenance, 23(4), 2011.
18. A. Meyer, L. Pufahl, D. Fahland, and M. Weske. Modeling and enacting complex data dependencies in business processes. In Proc. of BPM, volume 8094 of LNCS, pages 171-186. Springer, 2013.
19. M. L. Minsky. Computation: Finite and Infinite Machines. Prentice-Hall, 1967.
20. OMG. OCL version 2.4. Technical report, OMG, 2014.
21. D. Solomakhin, M. Montali, S. Tessaris, and R. D. Masellis. Verification of artifact-centric systems: Decidability and modeling issues. In Proc. of ICSOC, volume 8274 of LNCS, pages 252-266. Springer, 2013.
22. M. Weske. Business Process Management: Concepts, Languages, Architectures. Springer, 2007.