ETD

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

Tesi etd-06162009-093757

Link copiato negli appunti
Tipo di tesi
Tesi di laurea vecchio ordinamento
Autore
MARTINUCCI, MARCO
URN
etd-06162009-093757
Titolo
Realizzazione di un portale pubblico mediante SAP NetWeaver Portal ed analisi formale di processi di business
Dipartimento
INGEGNERIA
Corso di studi
INGEGNERIA INFORMATICA
Relatori
Relatore Prof.ssa Bernardeschi, Cinzia
Relatore Dott. Chiavaccini, Roberto
Parole chiave
  • SAP
  • portal
  • BPEL
  • PVS
  • NetWeaver
Data inizio appello
17/07/2009
Consultabilità
Non consultabile
Data di rilascio
17/07/2049
Riassunto
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.
File
Nome file Dimensione
La tesi non è consultabile su richiesta dell’autore.
Contatta l’autore