ETD

Archivio digitale delle tesi discusse presso l’Università di Pisa

Tesi etd-09032016-114950

Tipo di tesi

Tesi di laurea magistrale

URN

etd-09032016-114950

Titolo

Analisi round-trip di processi BPMN

Dipartimento

INFORMATICA

Corso di studi

INFORMATICA PER L'ECONOMIA E PER L'AZIENDA (BUSINESS INFORMATICS)

Parole chiave

analisi
BPMN
Petri
reti

Data inizio appello

07/10/2016

Consultabilità

Completa

Riassunto (Inglese)

Riassunto (Italiano)

la tesi affronta il problema della verifica di processi BPMN concentrandosi su tecniche di analisi che consentono di riportare i risultati ottenuti dal modello formale (rete di Petri) alla notazione grafica BPMN. Lo studio ha portato allo sviluppo di un plug-in di ProM che svolge l'analisi in modo automatico

File

Nome file	Dimensione
Analisi_..._BPMN.pdf	4.92 Mb
Contatta l’autore