Reasoning on UML data-centric business process models

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

Volumn 8274 LNCS, Issue , 2013, Pages 437-445

  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

[No Author keywords available]

Indexed keywords

BUSINESS PROCESS MODEL; DATA CENTRIC; LOW-LEVEL LANGUAGE;

SEMANTICS;

MATHEMATICAL MODELS;

EID: 84892412739     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-45005-1_32     Document Type: Conference Paper

References (12)

1. Bagheri Hariri, B., Calvanese, D., Montali, M., De Giacomo, G., De Masellis, R., Felli, P.: Description logic knowledge and action bases. J. Artif. Intell. Res (JAIR) 46, 651-686 (2013)
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.: Ontology-based governance of data-aware processes. In: Krötzsch, M., Straccia, U. (eds.) RR 2012. LNCS, vol. 7497, pp. 25-41. Springer, Heidelberg (2012)
4. 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)
5. Damaggio, E., Deutsch, A., Vianu, V.: Artifact systems with data dependencies and arithmetic. ACM Transactions on Database Systems 37(3), 1-36 (2012)
6. Eshuis, R.: Symbolic model checking of UML activity diagrams. ACM Trans. Softw. Eng. Methodol. 15(1), 1-38 (2006)
7. Estañol, M., Queralt, A., Sancho, M.-R., Teniente, E.: Artifact-centric business process models in UML. In: Yao, S.B., Weldon, J.L., Navathe, S., Kunii, T.L. (eds.) Data Base Design Techniques 1978. LNCS, vol. 132, pp. 292-303. Springer, Heidelberg (1982)
8. 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)
9. 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)
10. 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)
11. Queralt, A., Teniente, E.: Verification and validation of UML conceptual schemas with OCL constraints. ACM Trans. Softw. Eng. Methodol. 21(2), 13 (2012)
12. Teorey, T., Lightstone, S., Nadeau, T.: Database Modeling and Design, 4th edn. Morgan Kaufmann, San Francisco (2006)