Document - LEARN PAD - Formal verification of business processes

2015

Report Open Access

LEARN PAD - Formal verification of business processes

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

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

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.

Source: Project report, LEARN PAD, Deliverable D4.1, 2015

Back to previous page

Cite as

BibTeX entry

@techreport{oai:it.cnr:prodotti:354184,
	title = {LEARN PAD - Formal verification of business processes},
	author = {Re B. and Polini A. and Gnesi S. and Ferrari A. and Fornari F. and Spagnolo G.  O. and Corradini F.},
	institution = {Project report, LEARN PAD, Deliverable D4.1, 2015},
	year = {2015}
}