ETD system

Electronic theses and dissertations repository

 

Tesi etd-06162009-093757


Thesis type
Tesi di laurea vecchio ordinamento
Author
MARTINUCCI, MARCO
URN
etd-06162009-093757
Title
Realizzazione di un portale pubblico mediante SAP NetWeaver Portal ed analisi formale di processi di business
Struttura
INGEGNERIA
Corso di studi
INGEGNERIA INFORMATICA
Commissione
Relatore Prof.ssa Bernardeschi, Cinzia
Relatore Dott. Chiavaccini, Roberto
Parole chiave
  • SAP
  • portal
  • BPEL
  • PVS
  • NetWeaver
Data inizio appello
17/07/2009;
Consultabilità
parziale
Data di rilascio
17/07/2049
Riassunto analitico
In questa tesi è stato analizzato il modulo NetWeaver Portal della piattaforma NetWeaver di SAP AG per l&#39;accesso integrato al sistema informativo aziendale ed è stato implementato un semplice portale pubblico accessibile via Internet basandosi su una realtà esistente.<br>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.<br>Per tale scopo è stata esaminata la possibilità di simulazione ed analisi formale dei processi definiti all&#39;interno di tale piattaforma NetWeaver.<br>E&#39; stato implementato un simulatore semplificato di processi descritti mediante il linguaggio BPEL, utilizzando il sistema di specifica e verifica formale PVS.
File