Verification and validation of UML artifact-centric business process models

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 9097, Issue , 2015, Pages 434-449

  Estañol, Montserrat ^a   Sancho, Maria Ribera ^a,b   Teniente, Ernest ^a  

^a UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

^b BARCELONA SUPERCOMPUTING CENTER   (Spain)

Author keywords

Artifact Centric BPM; UML; Validation; Verification

Indexed keywords

FORMAL LOGIC; INFORMATION SYSTEMS; VERIFICATION;

ARTIFACT-CENTRIC; BUSINESS PROCESS MODEL; BUSINESS REQUIREMENT; SATISFIABILITY PROBLEMS; UML; VALIDATION; VERIFICATION-AND-VALIDATION;

SYSTEMS ENGINEERING;

EID: 84937458486     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-19069-3_27     Document Type: Conference Paper

References (18)

1. Bagheri Hariri, B., et al.: Verification of description logic knowledge and action bases. In: Raedt, L.D., et al. (eds.) ECAI. Frontiers in Artificial Intelligence and Applications, vol. 242, pp. 103–108. IOS Press (2012)
2. Bagheri Hariri, B., et al.: Verification of relational data-centric dynamic systems with external services. In: PODS, pp. 163–174. ACM (2013)
3. Calvanese, D., De Giacomo, G., Lembo, D., Montali, M., Santoso, A.: Ontologybased governance of data-aware processes. In: Krötzsch, M., Straccia, U. (eds.) RR 2012. LNCS, vol. 7497, pp. 25–41. Springer, Heidelberg (2012)
4. Calvanese, D., Montali, M., Estañol, M., Teniente, E.: Verifiable UML artifactcentric business process models. In: Li, J., Wang, X.S., Garofalakis, M.N., Soboroff, I., Suel, T., Wang, M. (eds.) CIKM 2014, pp. 1289–1298. ACM (2014)
5. Choppy, C., Klai, K., Zidani, H.: Formal verification of UML state diagrams: a Petri net based approach. ACM SIGSOFT Soft. Eng. Notes 36(1), 1–8 (2011)
6. Damaggio, E., Deutsch, A., Vianu, V.: Artifact systems with data dependencies and arithmetic. ACM Transactions on Database Systems 37(3), 1–36 (2012)
7. Eshuis, R.: Symbolic model checking of UML activity diagrams. ACMTrans. Softw. Eng. Methodol. 15(1), 1–38 (2006)
8. Estañol, M., Sancho, M.-R., Teniente, E.: Reasoning on UML data-centric business process models. In: Basu, S., Pautasso, C., Zhang, L., Fu, X. (eds.) ICSOC 2013. LNCS, vol. 8274, pp. 437–445. Springer, Heidelberg (2013)
9. Gerede, C.E., Su, J.: Specification and verification of artifact behaviors in business process models. In: Krämer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol. 4749, pp. 181–192. Springer, Heidelberg (2007)
10. Gonzalez, P., Griesmayer, A., Lomuscio, A.: Model checking GSM-based multiagent systems. In: Lomuscio, A.R., Nepal, S., Patrizi, F., Benatallah, B., Brandić, I. (eds.) ICSOC 2013. LNCS, vol. 8377, pp. 54–68. Springer, Heidelberg (2014)
11. Heath, F.T., Boaz, D., Gupta, M., Vaculìn, R., Sun, Y., Hull, R., Limonad, L.: Barcelona: a design and runtime environment for declarative artifact-centric BPM. In: Basu, S., Pautasso, C., Zhang, L., Fu, X. (eds.) ICSOC 2013. LNCS, vol. 8274, pp. 705–709. Springer, Heidelberg (2013)
12. Hull, R.: Artifact-centric business process models: brief survey of research results and challenges. In: Meersman, R., Tari, Z. (eds.) OTM 2008, Part II. LNCS, vol. 5332, pp. 1152–1163. Springer, Heidelberg (2008)
13. Lucas, F.J., Molina, F., Àlvarez, J.A.T.: A systematic review of UML model consistency management. Information & Software Technology 51(12), 1631–1645 (2009)
14. Queralt, A., Teniente, E.: Reasoning on UML conceptual schemas with operations. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 47–62. Springer, Heidelberg (2009)
15. Queralt, A., Teniente, E.: Verification and validation of UML conceptual schemas with OCL constraints. ACM Trans. Softw. Eng. Methodol. 21(2), 13 (2012)
16. Rull, G., Farré, C., Teniente, E., Urpí, T.: Providing explanations for database schema validation. In: Bhowmick, S.S., Küng, J., Wagner, R. (eds.) DEXA 2008. LNCS, vol. 5181, pp. 660–667. Springer, Heidelberg (2008)
17. Solomakhin, D., Montali, M., Tessaris, S., De Masellis, R.: Verification of artifactcentric systems: decidability and modeling issues. In: Basu, S., Pautasso, C., Zhang, L., Fu, X. (eds.) ICSOC 2013. LNCS, vol. 8274, pp. 252–266. Springer, Heidelberg (2013)
18. Weber, I., Hoffmann, J., Mendling, J.: Beyond soundness: on the verification of semantic business process models. Distributed and Parallel Databases 27(3), 271–343 (2010)