Travelled to:1 × China
1 × Sweden
Collaborated with:E.Teniente M.Sancho D.Calvanese M.Montali
Talks about:artifact (2) process (2) centric (2) model (2) busi (2) uml (2) verifi (1) verif (1) valid (1)
Person: Montserrat Estañol
DBLP: Esta=ntilde=ol:Montserrat
Contributed to:
2015
2014Wrote 2 papers:
- CAiSE-2015-EstanolST #modelling #process #uml #validation #verification
- Verification and Validation of UML Artifact-Centric Business Process Models (ME, MRS, ET), pp. 434–449.
- CIKM-2014-CalvaneseMET #modelling #process #uml
- Verifiable UML Artifact-Centric Business Process Models (DC, MM, ME, ET), pp. 1289–1298.