Conference
Verification and validation of UML artifact-centric business process models
| Τίτλος: | Verification and validation of UML artifact-centric business process models |
|---|---|
| Συγγραφείς: | Estañol Lamarca, Montserrat, Sancho Samsó, María Ribera, Teniente López, Ernest |
| Συνεισφορές: | Universitat Politècnica de Catalunya. Departament d'Enginyeria de Serveis i Sistemes d'Informació, Universitat Politècnica de Catalunya. MPI - Modelització i Processament de la Informació |
| Στοιχεία εκδότη: | Springer |
| Έτος έκδοσης: | 2015 |
| Συλλογή: | Universitat Politècnica de Catalunya, BarcelonaTech: UPCommons - Global access to UPC knowledge |
| Θεματικοί όροι: | Systems engineering--Computer simulation, artifact-centric BPM UML verification validation, Enginyeria de sistemes -- Models matemàtics |
| Περιγραφή: | 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. there are no internal mistakes) and to validate them (i.e. the model complies with the business requirements). This approach is based on translating these models into logic and then encoding the desirable properties as satisfiability problems of derived predicates. In this way, we can then use a tool to check if these properties are fulfilled ; Peer Reviewed ; Postprint (author's final draft) |
| Τύπος εγγράφου: | conference object |
| Περιγραφή αρχείου: | 16 p.; application/pdf |
| Γλώσσα: | English |
| Relation: | http://link.springer.com/chapter/10.1007%2F978-3-319-19069-3_27; https://hdl.handle.net/2117/85189 |
| DOI: | 10.1007/978-3-319-19069-3_27 |
| Διαθεσιμότητα: | https://hdl.handle.net/2117/85189 https://doi.org/10.1007/978-3-319-19069-3_27 |
| Rights: | Open Access |
| Αριθμός Καταχώρησης: | edsbas.926245CD |
| Βάση Δεδομένων: | BASE |
| DOI: | 10.1007/978-3-319-19069-3_27 |
|---|