Rapporto di progetto (Project report), 2015, ENG

LEARN PAD - Formal verification of business processes

Re B.; Polini A.; Gnesi S.; Ferrari A.; Fornari F.; Spagnolo G. O.; Corradini F.

Computer Science Division, School of Science and Technologies, University of Camerino, Camerino, Italy; Computer Science Division, School of Science and Technologies, University of Camerino, Camerino, Italy; CNR-ISTI, Pisa, Italy; CNR-ISTI, Pisa, Italy; Computer Science Division, School of Science and Technologies, University of Camerino, Camerino, Italy; CNR-ISTI, Pisa, Italy; Computer Science Division, School of Science and Technologies, University of Camerino, Camerino, Italy

In this deliverable we identified the quality assessment strategies for Business Process models related to the Learn PAd project. This is discussed considering different roles impacting on the platform and strategies to be implemented for its maintaining. After an in-depth analysis of the literature this deliverable (i) reports guidelines to model Business Processes in such a way that resulting model are understandable and (ii) discusses Business Process correctness criteria. Such quality check impacts on the learnability of the Business Process for Public Administrations. The deliverable also introduces some technical details that paves the basis to successively create the Learn PAd platform model verification component.

Keywords

BPMN, Business Process, Understandability, Verification, Quality, Learnability, Control Structure Performance Analysis and Design Aids

CNR authors

Gnesi Stefania, Ferrari Alessio, Spagnolo Giorgio Oronzo

CNR institutes

ISTI – Istituto di scienza e tecnologie dell'informazione "Alessandro Faedo"

ID: 354184

Year: 2015

Type: Rapporto di progetto (Project report)

Creation: 2016-04-21 17:40:33.000

Last update: 2023-03-08 13:34:35.000

External links

OAI-PMH: Dublin Core

OAI-PMH: Mods

OAI-PMH: RDF

External IDs

CNR OAI-PMH: oai:it.cnr:prodotti:354184