Now showing items 21-21 of 21

    • Verification and validation of UML artifact-centric business process models 

      Estañol Lamarca, Montserrat; Sancho Samsó, María Ribera; Teniente López, Ernest (Springer, 2015)
      Conference report
      Open Access
      This paper presents a way of checking the correctness of artifact-centric business process models defined using the BAUML framework. To ensure that these models are free of errors, we propose an approach to verify (i.e. ...