Thesis etd-06162009-093757 |
Link copiato negli appunti
Thesis type
Tesi di laurea vecchio ordinamento
Author
MARTINUCCI, MARCO
URN
etd-06162009-093757
Thesis title
Realizzazione di un portale pubblico mediante SAP NetWeaver Portal ed analisi formale di processi di business
Department
INGEGNERIA
Course of study
INGEGNERIA INFORMATICA
Supervisors
Relatore Prof.ssa Bernardeschi, Cinzia
Relatore Dott. Chiavaccini, Roberto
Relatore Dott. Chiavaccini, Roberto
Keywords
- BPEL
- NetWeaver
- portal
- PVS
- SAP
Graduation session start date
17/07/2009
Availability
Withheld
Release date
17/07/2049
Summary
In questa tesi è stato analizzato il modulo NetWeaver Portal della piattaforma NetWeaver di SAP AG per l'accesso integrato al sistema informativo aziendale ed è stato implementato un semplice portale pubblico accessibile via Internet basandosi su una realtà esistente.
Parallelamente alla definizione delle funzionalità fornite dal portale, è importante definire anche i processi di business ad esso collegati. Partendo da tali definizioni è infatti possibile analizzarne la correttezza ed eventuali ottimizzazioni.
Per tale scopo è stata esaminata la possibilità di simulazione ed analisi formale dei processi definiti all'interno di tale piattaforma NetWeaver.
E' stato implementato un simulatore semplificato di processi descritti mediante il linguaggio BPEL, utilizzando il sistema di specifica e verifica formale PVS.
Parallelamente alla definizione delle funzionalità fornite dal portale, è importante definire anche i processi di business ad esso collegati. Partendo da tali definizioni è infatti possibile analizzarne la correttezza ed eventuali ottimizzazioni.
Per tale scopo è stata esaminata la possibilità di simulazione ed analisi formale dei processi definiti all'interno di tale piattaforma NetWeaver.
E' stato implementato un simulatore semplificato di processi descritti mediante il linguaggio BPEL, utilizzando il sistema di specifica e verifica formale PVS.
File
| Nome file | Dimensione |
|---|---|
The thesis is not available. |
|