2 WORKFLOW Flow object Connection objects Swimlane Artifact Utilizzo di BPMN...

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "2 WORKFLOW...7. 2.2.1.1 Flow object...14. 2.2.1.2 Connection objects...15. 2.2.1.3 Swimlane...16. 2.2.1.4 Artifact...17. 2.2.1.5 Utilizzo di BPMN..."

Transcript

1 I Indice 1 INTRODUZIONE WORKFLOW WORKFLOW MANAGMENT COALITION (WFMC) LINGUAGGI BPML e BPMN (Business Process Management Language / Notation) Flow object Connection objects Swimlane Artifact Utilizzo di BPMN Vantaggi di BPMN BPEL4WS (Business Process Executive Language for Web Services) WSCI (Web Services Choreography Interface) XLang (Microsoft BizTalk Language) WSFL (Web Services Flow Language) UML Linguaggi a confronto TOOLS Collaxa BPEL Designer & Server Popkin s System Architect IBM Business Process Execution Language for Web Services JavaTM Run Time (BPWS4J) Intalio n³ BPMS BEA WebLogic Workshop Metamill - Visual UML CASE Tool Visual UML TENDENZE ATTUALI NELLO SVILUPPO DI APPLICAZIONI WEB APPLICAZIONI PER LA REALIZZAZIONE DI PROCESSI DI BUSINESS...44

2 II 3.2 WEB SERVICE MODELLAZIONE AD ALTO LIVELLO Il modello di struttura Modello di composizione Modello di navigazione Link Non-contestual link Automatic e Transport link Generazione automatica di applicazioni web Unit WebML per la modellazione di workflow MODEL VIEW CONTROL Funzionamento di Struts VERIFICA FORMALE MODELLO DELL APPLICAZIONE SPECIFICA DELLE REGOLE DI VERIFICA VALIDAZIONE AUTOMATICA SCELTE PROGETTUALI USE CASE DIAGRAM REQUISITI DI FLESSIBILITÀ SPECIFICA REQUISITI PER LA NOTAZIONE GRAFICA Elementi di BPMN adottati MAPPATURA DI WORKFLOW IN LTL TOOL L INTERFACCIA GRAFICA (GUI) Toolbar principale La canvas La toolbar della canvas Panoramica del diagramma Pannello informazioni SALVATAGGIO DIAGRAMMI WORKFLOW...75

3 III Documento XML generato FILE CONFIGURAZIONE TRASFORMAZIONE LINEAR TEMPORAL LOGIC (LTL) Output della trasformazione PREDISPOSIZIONE AL MULTILIVELLO IMPLEMENTAZIONE CLASS DIAGRAM Implementazione del class diagram LIBRERIA GRAFICA STRUTTURA DATI SALVATAGGIO FILE XML GENERAZIONE TRASFORMAZIONE XSL exstensible Stylesheet Language (XSL) e XPath Alcuni esempi di codice FUNZIONI PARTICOLARI (POSIZIONAMENTO FRECCE) CONCLUSIONI E SVILUPPI FUTURI APPENDICE A: BIBLIOGRAFIA...102

4 Introduzione 4 1 Introduzione Dalla nascita di Internet ad oggi molte cose sono cambiate nella strutturazione delle applicazioni web. Inizialmente erano disponibili solo semplici pagine html con scopi divulgativi o informativi. Oggigiorno le necessità e le potenzialità della rete sono notevolmente aumentate e di pari passo sono cresciute la complessità e le funzionalità offerte dalle applicazioni web: sino a pochi anni fa era possibile solamente avere informazioni relative all andamento dei titoli di borsa, ora gli istituti finanziari forniscono anche servizi come Home Banking e Trading online. Risulta quindi evidente che le applicazioni attuali necessitano di una progettazione molto accurata e strutturata, sia dal punto di vista della formalizzazione del processo di sviluppo, sia dal punto di vista delle notazioni formali e semiformali per la specifica dei requisiti e la progettazione. In tale ambito esistono diversi linguaggi di modellazione che consentono la generazione semiautomatica delle applicazioni. Questi linguaggi forniscono dei costrutti atti a descrivere la realtà d interesse ad un alto livello di astrazione, prescindendo dai dettagli dell architettura, tramite una modellazione che può essere visuale o solamente formale. Per questo, si punta a distinguere i diversi ambiti di realizzazione della appicazioni web consentendo di progettare in maniera indipendete tra loro modello dei dati, modello dell ipertesto e modello di rappresentazione dell ipertesto. Le applicazioni generate mediante questi linguaggi sono sempre più orientate ai processi, per questo motivo è bene avere un modello di workflow sottostante che sia in grado di descriverle in maniera semplice e comprensibile. Tramite questo modello è possibile definire delle regole formali che consentano di verifcare la correttezza delle applicazioni rispetto a certe proprietà. La verifica formale è un nuovo strumento che serve a validare la progettazione rispetto alla specifica di partenza. Negli ultimi anni è nata un intera disciplina che se ne occupa. Tali concetti vengono trattati diffusamente in questa tesi, dando particolare importanza sia alla specifica formale delle proprietà da soddifare che al modello delle applicazioni sulle quali viene realizzata la validazione.

5 Introduzione 5 Per poter sfruttare le caratteristiche di questo tipo di verifica l applicazione deve essere specificata formalmente. Se questo vincolo viene rispettato allora il controllo del soddisfacimento di proprietà formali può essere effettuato tramite dei verificatori automatici. L utilizzo di questo tipo di verifica permette la diminuzione dei tempi e dei costi nella progettazione dell applicazione sfruttando al meglio il concetto di anticipazione delle conoscenze. Difatti, grazie a questa tecnica, è possibile avere un feedback prima ancora che la realizzazione dell applicativo venga terminata. In particolare, questo lavoro di tesi si focalizza sulla verifica delle proprietà orientate ai processi, concentrando l attenzione sull ordine di esecuzione delle attività e sul soddisfacimento di vincoli sia temporali che logici. Le proprietà delle applicazioni che vanno verificate, molto spesso sono specificate tramite formule logiche temporali. Nel caso particolare delle proprietà dei workflow ben si adattano linguaggi formali come Linear Temporal Logic (LTL). Scrivere e comprendere il tipo di formule relative a questi linguaggi risulta essere molto complesso per un utente umano, ma ben si adatta alle caratteristiche di una macchina. Nasce così l idea di realizzare un tool che consenta di generare automaticamente regole di logica temporale partendo da una descrizione formale dell applicazione web. Dopo un attenta analisi della struttura delle applicazioni più diffuse ci si è resi conto di come questa possa essere ben rappresentata tramite un processo di business ma per la formalizzazione si rende necessario definire una notazione standard. L intento è quindi quello di facilitare il compito del progettista per ciò che concerne l aspetto di verifica formale delle proprietà associate alle applicazioni web. A tale scopo è stata definita una notazione grafica, basata su uno standard esistente per la definizione dei workflow: BPML. La rappresentazione grafica del modello di processo ha come scopo quello di descrivere le proprietà (pre-condizioni, vincoli, ecc ) che la struttura dell applicazione deve soddisfare. A partire da tale rappresentazione vi è poi l obiettivo di generare automaticamente, tramite un apposita trasformazione, formule temporali basate sulla logica di LTL. Questa tesi è stata sviluppata presso il dipartimento di Elettronica e Informazione del Politecnico di Milano, nell ambito del gruppo di Basi di Dati. Nella sua forma finale, il lavoro si presenta suddiviso in capitoli, del cui contenuto forniamo una breve descrizione: nel capitolo 2 viene fatta un analisi degli standard candidati alla modellizzazione dei processi di business. Inoltre vengono presentati alcuni tool basati su tali notazioni;

6 Introduzione 6 nel capitolo 3 sono presentate le tendenze attuali nello sviluppo di applicazioni web, in modo particolare si tratterà di modellazione ad alto livello, model view control (MVC); nel capitolo 4 si parla delle potenzialità offerte dalla verification e di come questa stia assumendo un ruolo sempre più importante nello sviluppo di applicazioni complesse; nel capitolo 5 sono presentate le scelte progettuali fatte per la realizzazione del tool visuale di modellazione. Saranno analizzati in particolare due aspetti: l analisi dei requisiti che dovrà soddisfare la notazione grafica adottata per la rappresentazione dei diagrammi di workflow e le regole di mapping tra i diagrammi di workflow e le formule temporali espresse in LTL. nel capitolo 6 si illustra il funzionamento del tool, dall interfaccia grafica al salvataggio/caricamento dei file. In questo capitolo è descritta anche l implementazione della trasformazione LTL; nel capitolo 7 si presentano le scelte implementative effettuate tra cui le librerie grafiche e la struttura dati, oltre ad alcune funzioni ritenute di particolare rilevanza. il capitolo 8 è dedicato alle conclusioni e ai possibili sviluppi futuri mentre l ultima sezione riporta la bibliografia delle fonti che hanno contribuito ad arricchire questa tesi e la nostra formazione.

7 WorkFlow 7 2 WorkFlow La tendenza attuale delle appicazioni web tendono è quella di assumere un carattere sempre più orientatato verso i processi. Per questo motivo diviene necessario utilizzare i diagrammi di workflow per modellizzare le proprietà che devono soddisfare. In questo capitolo andremo ad analizzare in dettaglio alcuni standard esistenti soffermandoci sulla loro capacità espressiva. I vantaggi che si possono trarre dall utilizzo di questo genere di diagrammi possono essere riassunti nei punti seguenti: il lavoro non arriva in postazioni errate e non si blocca. Gli addetti sono raramente chiamati a recuperare il lavoro in seguito ad errori; i manager possono concentrarsi su problemi riguardanti l azienda e il personale, come le prestazioni individuali e le procedure di ottimizzazione, piuttosto che sull assegnamento dei compiti. Agli impiegati non è più richiesto d inviare il lavoro ad un altra postazione e di controllarne il progresso; le procedure sono documentate formalmente ed eseguite esattamente, assicurando che il lavoro sia eseguito in maniera corretta e rispettando i requisiti a cui è vincolato; ad ogni processo è assegnata la persona (o la macchina) più competente e i processi più importanti sono assegnati per primi. Gli utenti non perdono tempo a cercare su quale oggetto lavorare, magari procrastinando lavori importanti ma difficili; il parallelismo, dove due o più compiti sono eseguiti in concorrenza, è più semplice da realizzare rispetto ad un workflow tradizionale. Se la persona più competente svolge il compito più importante e segue le procedure corrette l organizzazione è condotta in maniera più efficiente, i costi diminuiscono e il servizio al cliente generalmente migliora notevolmente. Se il lavoro è equamente distribuito e si ha la sicurezza che si stia svolgendo correttamente, gli utenti sono più soddisfatti. Per questi motivi l utilizzo di un workflow è un ottima soluzione sia dal punto di vista dell azienda che del cliente.

8 WorkFlow Workflow Managment Coalition (WFMC) La WFMC, fondata nell Agosto del 1993, è un organizzazione internazionale no-profit costituita dalle principali aziende sviluppatrici di software basato sui workflow, da utenti, analisti e gruppi di ricercatori. Il suo scopo è quello di promuovere e sviluppare i workflow al fine di definire degli standard nella terminologia, nell interoperabilità e nella connettività tra i software che ne fanno uso. Costituita da più di 300 membri in tutto il mondo, la WFMC è il principale riferimento per il mercato del software di questo settore. Adottando la terminologia di un generico workflow definita dalla WFMC, si definisce [25]: Attività: elemento basilare (elemento logico) attraverso il quale è definito il processo. Come per le istanze del processo anche per le istanze delle attività sono definiti degli stati. Sempre per analogia, e per meglio chiarificare il concetto di istanza, facendo l esempio di una conferenza una delle attività è quella di bidding, mentre un istanza di quell attività è l espressione delle preferenze da parte dei revisori per i documenti sottoscritti alla conferenza sull integrazione degli ipertesti estesi con i workflow. Ogni istanza può dunque trovarsi in uno dei seguenti stati: o inactive: o active: o suspended: o completed: esiste l istanza, ma nessun task esiste ancora; esiste un task al quale è stata assegnata per l esecuzione; non accade nulla fino a quando l attività non sarà resumed; l attività è terminata consistentemente (correttamente). Attori di un workflow possono essere sia utenti umani sia risorse computerizzate. Processo di business: insieme di una o più attività collegate tra loro in modo da realizzare un obiettivo di politica di business, ponendosi, generalmente, in un contesto di struttura organizzativa con ruoli e relazioni. Processo: rappresentazione di un processo di business che supporta una manipolazione automatica come la gestione da parte di un workflow managment system. La definizione del processo è data tramite una rete di attività, le relative relazioni, elementi per indicarne l inizio e la fine e informazioni riguardo le singole attività, come,

9 WorkFlow 9 per esempio, gli attori che ne prendono parte, le applicazioni informatiche e i dati associati, ecc Workflow: automazione, parziale o totale, di un processo di business durante il quale documenti, informazioni o compiti sono passati, tramite determinate regole procedurali, da un attore ad un altro per eseguire operazioni. Workflow Managment System: un sistema che definisce, crea e gestisce l esecuzione di workflow attraverso l uso di software in grado di interpretare la definizione di processo, di interagire con gli attori e, dove richiesto, di richiedere l utilizzo di tool e applicazioni informatiche. Business Process (i.e. qualcosa che dovrà succedere) è definito in una è gestito da un Process Definition (una rappresentazione di quello che dovrà succedere) Workflow Managment System (controlla gli aspetti automatici del Business Process) Sub-Processes composto da usato per creare e gestire attaverso che possono essere Activities Process Instances (una rappresentazione di quello che sta attualmente succedendo) Activities manuali (non sono gestite come parte del Workflow System) Activities automatizzate Figura 2-1: relazioni tra gli elementi definiti dalla WFMC durante l esecuzione sono rappresentate da Work Items (compiti assegnati ad un attore del workflow) Activity Instances che includono In Figura 2-1 possiamo vedere le relazioni che intercorrono tra i vari elementi definiti dalla Coalizione: e/o Invoked Applications (applicazioni/ tool utilizzati per supportare una activity)

10 WorkFlow Linguaggi Nel mondo dei workflow, per sfruttarne al meglio le potenzialità, sono nati diversi linguaggi ognuno dei quali con i suoi pregi e difetti. Alcuni sono ormai datati e sono stati rimpiazzati da altri più moderni che hanno aggiunto nuove caratteristiche, non disponibili in precedenza, senza toglierne alcuna. Tra i principali troviamo BMPL e la sua notazione grafica BPMN [14] e YAWL [9]. Per quanto riguarda la rappresentazione dei workflow la tendenza attuale è quella di includere nella notazione elementi per l utilizzo dei web service. Tra questi citiamo BPEL4WS (che usa come notazione BPMN) [14]. Nell analisi daremo una visione generale dei linguaggi, parlando anche del supporto che questi possono dare ai web service. Accenneremo quindi anche a Coreografia ed Orchestrazione termini spesso utilizzati nella descrizione dei servizi. Nonostante la definizione di questi termini non colga un consenso universale, ne forniremo ugualmente una sommaria. La Coreografia, che in genere descrive i processi di più alto livello, tiene traccia della sequenza di messaggi che può coinvolgere più applicazioni attraverso una visione globale del processo: tende a dare una visione più collaborativa delle interazioni. L Orchestrazione descrive come i servizi interagiscano tra loro a livello di messaggi scambiati. Fornisce una descrizione della logica di business e dell ordine d esecuzione delle interazioni. Vediamo una panoramica dei linguaggi candidati, dal punto di vista notazione, alla realizzazione del tool grafico BPML e BPMN (Business Process Management Language / Notation) BPML è un meta-linguaggio per la modellazione dei processi di business così come XML è un meta-linguaggio per la modellazione dei dati. BPML fornisce un modello esecutivo astratto per creare processi di business collaborativi e transazionali basato concettualmente su una macchina a stati finiti transazionale.

11 WorkFlow 11 Allo stesso modo di come i documenti XML sono solitamente descritti da un XML Schema, i processi BPML possono essere descritti in un linguaggio di modellazione chiamato extensible BPML XML Schema. Definito come mezzo per la convergenza delle applicazioni aziendali esistenti verso l orientamento ai processi, BPML offre il supporto esplicito a transazioni distribuite sia di tipo sincrono che asincrono. BPMN serve a definire un Business Process Diagram (BPD), questo diagramma sarà un insieme di oggetti grafici collegati tra loro da frecce che rappresentano i controlli di flusso, il cui scopo è quello di definire l ordine di svolgimento delle azioni. Questi oggetti consentono il facile sviluppo di semplici diagrammi di flusso che hanno il pregio di risultare familiari ed intuitivi alla maggior parte degli utenti che ne fanno uso (es. flowchart). Gli elementi che compongono il BPD sono stati definiti rispettando due criteri principali: il primo è che siano il più possibile distinguibili l uno dall altro; il secondo che la forma risulti il più possibile familiare. Le attività sono rettangolari mentre le decisioni hanno la forma di rombi. Ciò che si evidenzia, in BPMN, è la ricerca di semplici meccanismi in grado di creare un modello dei processi di business che forniscano la necessaria espressività del linguaggio per gestire la complessità intrinseca dei processi di business. L approccio che si è seguito per soddisfare questi due requisiti, in apparente contrasto tra loro, è quello di organizzare gli aspetti grafici della notazione in specifiche categorie. La generazione di questo ristretto gruppo di categorie permette, a chi legge un BPD, di riconoscere facilmente a quale tipo di categoria appartiene ogni elemento del diagramma, portando quindi ad una più intuitiva comprensione del BPD stesso. All interno di ogni categoria di base è possibile introdurre delle varianti che permettono di arricchire l espressività della notazione, senza comunque discostarsi dall aspetto originario. Presentiamo di seguito i simboli utilizzati per la definizione di un processo di business: Activity, Sub-process, Pool e Lane: Name Activity: unità di lavoro Lane: partizione di una pool, per scopi vari Name Subprocess: attività che può essere a sua volta scomposta in un sottoprocesso Pool: rappresenta un partecipante Figura 2-2: Activity, Sub-process, Pool e Lane in BPMN

12 WorkFlow 12 Eventi (Figura 2-3) caratterizzati per Flow Dimension e Type Dimension: Flow Dimension Type Dimension Start (avvio di un processo) End (conclusione di processo) Intermediate (evento nel corso del processo) Figura 2-3: Eventi in BPMN Flussi (Figura 2-4), nei quali, dove necessario, è possibile specificare condizioni: Control/ sequence flow: Sequenza di esecuzione Default flow: in presenza di più scelte, flusso scelto di default Message flow Figura 2-4: Flussi in BPMN Conditional control/sequence flow: seguito se la condizione specificata all inizio del flow è verificata Association: associazione o flusso di data-objects

13 WorkFlow 13 Gateway (Figura 2-5): punto di fusione, separazione e/o decisione tra diversi flussi: Figura 2-5: Gateway in BPMN Rappresentiamo ora (Figura 2-6) un esempio d utilizzo di BPMN relativo ad una richiesta di prestito: Loan request SVC Empl Mgr Cust Application Preliminary validation Application Application + Application Financial check GetJobCheck JobCheck Req [type Receive] [type Send] Job Check + Application Final approval Application JobCheckS JobCheckE Figura 2-6: esempio d utilizzo di BPMN L esempio rappresenta una transazione in cui un cliente può effettuare una richiesta di prestito mediante la compilazione di alcuni form. Un manager eseguirà dei controlli preliminari e quindi passerà la pratica ad un impiegato che svolgerà controlli più approfonditi. Sarà poi lo stesso manager a prendere una decisione finale in base ai dati rilevati dall impiegato. Nei prossimi paragrafi saranno analizzati in dettaglio gli elementi principali di BPMN.

14 WorkFlow Flow object Un BPD è basato fondamentalmente su tre oggetti base, che costituiscono la categoria dei flow object, in tal modo l utente non deve essere in grado di riconoscere un elevato numero di differenti forme. I tre flow object sono: Event : è rappresentato graficamente da un cerchio ed è qualcosa che accade durante lo svolgimento di un processo di business. Ci sono tre differenti tipi di event che variano in funzione del momento in cui sono utilizzati all interno del BPD: Start, Intermediate e End (Figura 2-7). Figura 2-7: rappresentazione grafica di Start, Intermediate e End Activity: è rappresentata graficamente da un rettangolo con gli angoli arrotondati ed indica una generica mansione svolta all interno di un processo. Ogni attività può essere di due tipi o atomica (task) o non atomica (subprocess), in quest ultimo caso l activity avrà disegnato al suo interno nella parte inferiore il simbolo + che precisa la presenza di un sotto processo all interno della stessa. Tramite questa proprietà è possibile generare dei diagrammi di tipo multi-livello. Figura 2-8: rappresentazione grafica di Activity e Activity con Sub-Process Gateway : vengono rappresentati graficamente tramite un rombo e utilizzati per controllare sia la divisione (split) che la riunificazione (merge) del flusso di informazione all interno di un BPD. In ogni rombo viene inserito un simbolo che indica quale è il criterio di valutazione logica dello specifico gateway. Nella Figura 2-9 sono descritti in successione i gateway And, Or e Xor. Figura 2-9: rappresentazione grafica di And, Or e Xor

15 WorkFlow Connection objects I flow object, definiti nel capitolo precedente, vengono tra loro collegati all interno di un diagramma così da creare la struttura base di un processo di business. Vi sono vari tipi di Connecting object definiti dalla notazione di BPMN: Sequence flow: è rappresentato da una linea continua con una freccia posta ad un estremo della linea per indicare il flusso che seguono i dati. Tramite i sequenze flow è possibile conoscere quale è l ordine con cui vengono svolte le attività all interno di un BPD; Association: è rappresentato graficamente da una linea tratteggiata con una freccia posta al suo estremo. A differenza del sequence flow non serve per collegare due attività, ma ha il compito di associare alle flow object dati, testo o altre entità chiamate Artifact. Vedremo in seguito, con un esempio, quali sono i possibili impieghi; Message flow: è rappresentato come una linea tratteggiata che ha un cerchio aperto ad un capo e una freccia aperta all altro, come si vede nella seguente figura. E utilizzato per mostrare il flusso di messaggi tra due differenti partecipanti al processo di business. In BPMN, i due partecipanti sono rappresentati tramite due separate pool.

16 WorkFlow 16 Di seguito (Figura 2-10) riportiamo un semplice esempio di BPD dove sono rappresentati gli elementi base descritti nei precedenti paragrafi: Figura 2-10: esempio di processo di business Swimlane BPMN inserisce nella propria notazione un concetto che era già presente in altri linguaggi di modellazione (i.e. gli Activity Diagram di UML) cioè le swimlane. Tali costrutti hanno lo scopo di organizzare graficamente le attività, in diversi gruppi, per illustrarne le diverse competenze e/o funzionalità richieste. I due tipi di elementi base che costituiscono la categoria delle swimlane sono: Pool: rappresenta un partecipante all interno di un processo di business. Funge da contenitore grafico per raggruppare tra loro le activity. Il nome che dà il titolo ad ogni pool indica l attore del processo associato. Questo ricopre un aspetto importate nella definizione di processi di tipo Business to Business (B2B). Le pool sono utilizzate quando il diagramma implica almeno due soggetti che ricoprono dei ruoli distinti uno dall altro, per questo all interno del BPD risultano fisicamente separati. Figura 2-11: rappresentazione grafica di una pool

17 WorkFlow 17 Lane: sono una sotto-partizione di una pool, servono ad organizzare e a specializzare le activity all interno della pool. Figura 2-12: rappresentazione grafica di una Lane Come si può notare dall esempio, nella Figura 2-13, i sequence flow che collegano le activity possono attraversare i bordi di una lane per collegare tra loro delle activity che hanno come riferimento due differenti partecipanti al processo: Figura 2-13: segmento di processo con lane Artifact Lo scopo di BPMN è quello di garantire la maggiore flessibilità possibile nello sviluppo di un generico diagramma. Per ottemperare a questa specifica sono presenti nella notazione degli artifact. Non c è limite al numero di artifact che è possibile inserire in un diagramma, questo per consentire di descrivere nel modo più accurato possibile i processi di business. La notazione definisce tre oggetti per questa categoria:

18 WorkFlow 18 Data object: sono utilizzate per mostrare quali sono i dati richiesti o prodotti da un activity. Le data object vengono collegate alle activity tramite un collegamento di tipo association (vedi Figura 2-17 ). Figura 2-14: rappresentazione grafica di una data object Group: è un rettangolo che ha gli angoli arrotondati, disegnato con una linea tratteggiata. Può essere utilizzato per generare la documentazione o scopi d analisi, ma non ha alcuna influenza sui sequence flow. Figura 2-15: rappresentazione grafica di un group Annotation: è un meccanismo per consentire a chi disegna il BPD di inserire dei commenti testuali che aiutino ulteriormente il lettore nella comprensione del diagramma del processo di business. Figura 2-16: rappresentazione grafica di annotation

19 WorkFlow 19 Di seguito viene riportato un esempio in cui si dimostra come gli oggetti del gruppo artifact vengono utilizzati all interno di un BPD: Figura 2-17: processo con elementi della categoria artifact E bene sottolineare che l introduzione degli elementi della categoria artifact in un diagramma non altera in alcun modo la struttura base di un qualsiasi processo composto da activity, gateway e sequence flow. Per questo è possibile fare un raffronto tra la Figura 2-13 e la Figura Utilizzo di BPMN BPMN è utilizzato per descrivere un ampia varietà d informazioni a differenti tipi d'utenza. E possibile descrivere diversi tipi di processo di business, per ognuno dei quali è permessa la rappresentazione di ogni singola parte a diversi livelli di dettaglio. Uno dei possibili utilizzi di BPMN permette la realizzazione di un modello base sviluppabile all interno di un BPD. Tale modello prende il nome di processo Business to Business (B2B) di tipo collaborativo. Un processo B2B descrive l interazione tra due o più entità di business. I diagrammi per questo tipo

20 WorkFlow 20 di processo generalmente hanno una rappresentazione molto generale. Per questo motivo, un processo non viene analizzato dal punto di vista di uno dei partecipanti ma è utilizzato per descrivere l interazione che c è tra i partecipanti. Nella Figura 2-18 vediamo un esempio di processo B2B. Figura 2-18: esempio di processo B2B di tipo collaborativo Vantaggi di BPMN BPMN è il risultato di una lunga ricerca sui linguaggi di modellazione da parte del BPMI notation working group, all interno del quale confluisce una larga parte della comunità degli sviluppatori di notazioni per modelli inerenti i processi di business. La definizione di BPMN punta a ridurre la frammentazione che si è sviluppata con la proliferazione di una miriade di tool per la modellazione dei processi di business. Lo scopo del BPMI working group è stato quello di prendere da queste notazioni, tra loro divergenti, le idee migliori e raggrupparle in un unica notazione standard. Le notazioni da cui si è preso spunto per la definizione di BPMN sono: UML Activity Diagram, IDEF, ebxml, Activity Decision Flow e Rosettanet. L utilizzo di un unico standard consentirebbe, inoltre, una più rapida adozione da parte del pubblico di strumenti per la modellazione dei processi di business, riducendo così il divario che esiste tra la fase di analisi e la fase di implementazione del processo. Basti considerare che

21 WorkFlow 21 solitamente i due ambiti sono gestiti da persone che hanno una visione del problema sostanzialmente diversa l una dall altra. In genere, l analisi viene sviluppata a livello di management di una azienda, che si concentra su aspetti del processo che non necessariamente hanno la stessa rilevanza a livello implementativo, dove il progettista dovrà invece tenere conto di altri fattori BPEL4WS (Business Process Executive Language for Web Services) BPEL4WS, attualmente giunto alla versione 2.0 (Aprile 2004), è una notazione per specificare il comportamento di processi di business basato su web service [14]. I processi in BPEL4WS esportano e importano funzionalità usando esclusivamente interfacce di web service. BPEL4WS nasce come risultato dalla fusione di XLang e WSFL (che vedremo nelle prossime sezioni). Si pone uno strato sopra WSDL poiché ogni processo BPEL4WS può essere esposto come servizio in WSDL, di cui, tra l altro, sfrutta le definizioni di data types per descrivere il passaggio di informazioni. BPEL4WF può anche referenziare servizi esterni specificati in WSDL. In questo linguaggio i processi di business possono essere descritti in due modi: i processi di business eseguibili modellano il comportamento reale di un partecipante in un interazione di business; i protocolli di business usano descrizioni di processo per specificare lo scambio reciproco di messaggi eseguito da ogni parte coinvolta nel protocollo, senza però rivelare il relativo comportamento interno. Le descrizioni dei processi per protocolli di business sono chiamate processi astratti. BPEL4WS fornisce un linguaggio per la specifica formale di un processo di business e di protocolli d interazione di business. Così facendo, BPEL4WS estende il modello d interazione con i web service e consente di supportare transazioni di business. BPEL4WS definisce un modello d integrazione interoperabile che dovrebbe facilitare l espansione verso l integrazione dei processi automatizzati sia nell area intra-corporate che in quella B2B. Uno degli scopi principali di BPEL è diminuire il costo dell automazione dei processi di business tra imprese.

BPEL: Business Process Execution Language

BPEL: Business Process Execution Language Ingegneria dei processi aziendali BPEL: Business Process Execution Language Ghilardi Dario 753708 Manenti Andrea 755454 Docente: Prof. Ernesto Damiani BPEL - definizione Business Process Execution Language

Dettagli

Business Process Modeling and Notation e WebML

Business Process Modeling and Notation e WebML Business Process Modeling and Notation e WebML 24 Introduzione I Web Service e BPMN sono standard de facto per l interoperabilità in rete a servizio delle imprese moderne I Web Service sono utilizzati

Dettagli

Integrazione di servizi: Enterprise Service Bus (ESB) e Business Process Execution Language (BPEL)

Integrazione di servizi: Enterprise Service Bus (ESB) e Business Process Execution Language (BPEL) Università degli Studi di Roma Tor Vergata Facoltà di Ingegneria Integrazione di servizi: Enterprise Service Bus (ESB) e Business Process Execution Language (BPEL) Corso di Sistemi Distribuiti Stefano

Dettagli

Intalio. Leader nei Sistemi Open Source per il Business Process Management. Andrea Calcagno Amministratore Delegato

Intalio. Leader nei Sistemi Open Source per il Business Process Management. Andrea Calcagno Amministratore Delegato Intalio Convegno Open Source per la Pubblica Amministrazione Leader nei Sistemi Open Source per il Business Process Management Navacchio 4 Dicembre 2008 Andrea Calcagno Amministratore Delegato 20081129-1

Dettagli

UML Component and Deployment diagram

UML Component and Deployment diagram UML Component and Deployment diagram Ing. Orazio Tomarchio Orazio.Tomarchio@diit.unict.it Dipartimento di Ingegneria Informatica e delle Telecomunicazioni Università di Catania I diagrammi UML Classificazione

Dettagli

Università degli Studi di Parma. Facoltà di Scienze MM. FF. NN. Corso di Laurea in Informatica

Università degli Studi di Parma. Facoltà di Scienze MM. FF. NN. Corso di Laurea in Informatica Università degli Studi di Parma Facoltà di Scienze MM. FF. NN. Corso di Laurea in Informatica A.A. 2007-08 CORSO DI INGEGNERIA DEL SOFTWARE Prof. Giulio Destri http://www.areasp.com (C) 2007 AreaSP for

Dettagli

Introduzione. E un sistema EAI molto flessibile, semplice ed efficace:

Introduzione. E un sistema EAI molto flessibile, semplice ed efficace: Overview tecnica Introduzione E un sistema EAI molto flessibile, semplice ed efficace: Introduce un architettura ESB nella realtà del cliente Si basa su standard aperti Utilizza un qualsiasi Application

Dettagli

B.P.S. Business Process Server ALLEGATO C10

B.P.S. Business Process Server ALLEGATO C10 B.P.S. Business Process Server ALLEGATO C10 REGIONE BASILICATA DIPARTIMENTO PRESIDENZA DELLA GIUNTA REGIONALE UFFICIO SISTEMA INFORMATIVO REGIONALE E STATISTICA Via V. Verrastro, n. 4 85100 Potenza tel

Dettagli

Valutazione comparativa di applicazioni open source per il Business Process Management

Valutazione comparativa di applicazioni open source per il Business Process Management Valutazione comparativa di applicazioni open source per il Business Process Management Abstract Uno dei passi fondamentali della metodologia USBD (Unified Scenario-Based Design) è la modellazione dei processi

Dettagli

2- Identificazione del processo. (o dei processi) da analizzare. Approcci: Esaustivo. In relazione al problema. Sulla base della rilevanza

2- Identificazione del processo. (o dei processi) da analizzare. Approcci: Esaustivo. In relazione al problema. Sulla base della rilevanza PROCESS MAPPING (2) Approcci: 2- Identificazione del processo Esaustivo (o dei processi) da analizzare Mappatura a largo spettro (es.: vasta implementazione di un ERP) In relazione al problema ad es. i

Dettagli

AOT Lab Dipartimento di Ingegneria dell Informazione Università degli Studi di Parma. Unified Process. Prof. Agostino Poggi

AOT Lab Dipartimento di Ingegneria dell Informazione Università degli Studi di Parma. Unified Process. Prof. Agostino Poggi AOT Lab Dipartimento di Ingegneria dell Informazione Università degli Studi di Parma Unified Process Prof. Agostino Poggi Unified Process Unified Software Development Process (USDP), comunemente chiamato

Dettagli

UNIVERSITÀ DEGLI STUDI DI PADOVA

UNIVERSITÀ DEGLI STUDI DI PADOVA UNIVERSITÀ DEGLI STUDI DI PADOVA Facoltà di Scienze MM.FF.NN. Corso di Laurea Specialistica in Informatica Tesi di Laurea: GENERAZIONE DI GRAFI IN BUSINESS PROCESS MANAGEMENT NOTATION Laureanda: Contiero

Dettagli

UML: Class Diagram. Ing. Orazio Tomarchio Orazio.Tomarchio@diit.unict.it

UML: Class Diagram. Ing. Orazio Tomarchio Orazio.Tomarchio@diit.unict.it UML: Class Diagram Ing. Orazio Tomarchio Orazio.Tomarchio@diit.unict.it Dipartimento di Ingegneria Informatica e delle Telecomunicazioni Università di Catania Class Diagram Forniscono una vista strutturale

Dettagli

APPLICAZIONE WEB PER LA GESTIONE DELLE RICHIESTE DI ACQUISTO DEL MATERIALE INFORMATICO. Francesco Marchione e Dario Richichi

APPLICAZIONE WEB PER LA GESTIONE DELLE RICHIESTE DI ACQUISTO DEL MATERIALE INFORMATICO. Francesco Marchione e Dario Richichi APPLICAZIONE WEB PER LA GESTIONE DELLE RICHIESTE DI ACQUISTO DEL MATERIALE INFORMATICO Francesco Marchione e Dario Richichi Istituto Nazionale di Geofisica e Vulcanologia Sezione di Palermo Indice Introduzione...

Dettagli

IT FINANCIAL MANAGEMENT

IT FINANCIAL MANAGEMENT IT FINANCIAL MANAGEMENT L IT Financial Management è una disciplina per la pianificazione e il controllo economico-finanziario, di carattere sia strategico sia operativo, basata su un ampio insieme di metodologie

Dettagli

GUIDA RAPIDA emagister-agora Edizione BASIC

GUIDA RAPIDA emagister-agora Edizione BASIC GUIDA RAPIDA emagister-agora Edizione BASIC Introduzione a emagister-agora Interfaccia di emagister-agora Configurazione dell offerta didattica Richieste d informazioni Gestione delle richieste d informazioni

Dettagli

F O R M A T O E U R O P E O

F O R M A T O E U R O P E O F O R M A T O E U R O P E O P E R I L C U R R I C U L U M V I T A E INFORMAZIONI PERSONALI Nome Indirizzo Laura Bacci, PMP Via Tezze, 36 46100 MANTOVA Telefono (+39) 348 6947997 Fax (+39) 0376 1810801

Dettagli

How to Develop Accessible Linux Applications

How to Develop Accessible Linux Applications How to Develop Accessible Linux Applications Sharon Snider Copyright 2002 IBM Corporation v1.1, 2002-05-03 Diario delle Revisioni Revisione v1.1 2002-05-03 Revisionato da: sds Convertito in DocBook XML

Dettagli

INTRODUZIONE ALLA GESTIONE DEL PROGETTO SOFTWARE CON UML

INTRODUZIONE ALLA GESTIONE DEL PROGETTO SOFTWARE CON UML Università degli Studi di Parma Dipartimento di Matematica e Informatica Corso di Laurea in Informatica DISPENSE INTRODUTTIVE INTRODUZIONE ALLA GESTIONE DEL PROGETTO SOFTWARE CON UML Prof. Giulio Destri

Dettagli

Il Business Process Management: nuova via verso la competitività aziendale

Il Business Process Management: nuova via verso la competitività aziendale Il Business Process Management: nuova via verso la competitività Renata Bortolin Che cosa significa Business Process Management? In che cosa si distingue dal Business Process Reingeneering? Cosa ha a che

Dettagli

ORACLE BUSINESS INTELLIGENCE STANDARD EDITION ONE A WORLD CLASS PERFORMANCE

ORACLE BUSINESS INTELLIGENCE STANDARD EDITION ONE A WORLD CLASS PERFORMANCE ORACLE BUSINESS INTELLIGENCE STANDARD EDITION ONE A WORLD CLASS PERFORMANCE Oracle Business Intelligence Standard Edition One è una soluzione BI completa, integrata destinata alle piccole e medie imprese.oracle

Dettagli

Processi di business sovra-regionali relativi ai sistemi regionali di FSE. Versione 1.0 24 Giugno 2014

Processi di business sovra-regionali relativi ai sistemi regionali di FSE. Versione 1.0 24 Giugno 2014 Processi di business sovra-regionali relativi ai sistemi regionali di FSE Versione 1.0 24 Giugno 2014 1 Indice Indice... 2 Indice delle figure... 3 Indice delle tabelle... 4 Obiettivi del documento...

Dettagli

Rational Unified Process Introduzione

Rational Unified Process Introduzione Rational Unified Process Introduzione G.Raiss - A.Apolloni - 4 maggio 2001 1 Cosa è E un processo di sviluppo definito da Booch, Rumbaugh, Jacobson (autori dell Unified Modeling Language). Il RUP è un

Dettagli

Panoramica su ITIL V3 ed esempio di implementazione del Service Design

Panoramica su ITIL V3 ed esempio di implementazione del Service Design Master Universitario di II livello in Interoperabilità Per la Pubblica Amministrazione e Le Imprese Panoramica su ITIL V3 ed esempio di implementazione del Service Design Lavoro pratico II Periodo didattico

Dettagli

Piazza delle Imprese alimentari. Viale delle Manifatture. Via della Produzione

Piazza delle Imprese alimentari. Viale delle Manifatture. Via della Produzione Piazza delle Imprese alimentari Viale delle Manifatture Via della Produzione PASSEPARTOUT MEXAL è una soluzione gestionale potente e completa per le imprese che necessitano di un prodotto estremamente

Dettagli

RELAZIONI TRA SERVIZI PER L IMPIEGO

RELAZIONI TRA SERVIZI PER L IMPIEGO RELAZIONI TRA SERVIZI PER L IMPIEGO E AZIENDE-UTENTI L IMPATTO DELLE PROCEDURE INFORMATIZZATE a cura di Germana Di Domenico Elaborazione grafica di ANNA NARDONE Monografie sul Mercato del lavoro e le politiche

Dettagli

Processi (di sviluppo del) software. Fase di Analisi dei Requisiti. Esempi di Feature e Requisiti. Progettazione ed implementazione

Processi (di sviluppo del) software. Fase di Analisi dei Requisiti. Esempi di Feature e Requisiti. Progettazione ed implementazione Processi (di sviluppo del) software Fase di Analisi dei Requisiti Un processo software descrive le attività (o task) necessarie allo sviluppo di un prodotto software e come queste attività sono collegate

Dettagli

AlboTop. Software di gestione Albo per Ordini Assistenti Sociali

AlboTop. Software di gestione Albo per Ordini Assistenti Sociali AlboTop Software di gestione Albo per Ordini Assistenti Sociali Introduzione AlboTop è il nuovo software della ISI Sviluppo Informatico per la gestione dell Albo professionale dell Ordine Assistenti Sociali.

Dettagli

PROPOSTE SISTEMA DI CITIZEN RELATIONSHIP MANAGEMENT (CRM) REGIONALE

PROPOSTE SISTEMA DI CITIZEN RELATIONSHIP MANAGEMENT (CRM) REGIONALE PROPOSTE SISTEMA DI CITIZEN RELATIONSHIP MANAGEMENT (CRM) REGIONALE Versione 1.0 Via della Fisica 18/C Tel. 0971 476311 Fax 0971 476333 85100 POTENZA Via Castiglione,4 Tel. 051 7459619 Fax 051 7459619

Dettagli

PROFILI ALLEGATO A. Profili professionali

PROFILI ALLEGATO A. Profili professionali ALLEGATO A Profili professionali Nei profili di seguito descritti vengono sintetizzate le caratteristiche di delle figure professionali che verranno coinvolte nell erogazione dei servizi oggetto della

Dettagli

THUN con ARIS: dall'ottimizzazione dei processi verso l enterprise SOA

THUN con ARIS: dall'ottimizzazione dei processi verso l enterprise SOA SAP World Tour 2007 - Milano 11-12 Luglio 2007 THUN con ARIS: dall'ottimizzazione dei processi verso l enterprise SOA Agenda Presentazione Derga Consulting Enterprise SOA Allineamento Processi & IT Il

Dettagli

Gestione delle Architetture e dei Servizi IT con ADOit. Un Prodotto della Suite BOC Management Office

Gestione delle Architetture e dei Servizi IT con ADOit. Un Prodotto della Suite BOC Management Office Gestione delle Architetture e dei Servizi IT con ADOit Un Prodotto della Suite BOC Management Office Controllo Globale e Permanente delle Architetture IT Aziendali e dei Processi IT: IT-Governance Definire

Dettagli

CHE COS È DOCFLY FATTURAZIONE PA... 3 1.1 IL GESTIONALE WEB... 3 1.2 ACCESSO ALL INTERFACCIA WEB... 4 1.3 FUNZIONALITÀ DELL INTERFACCIA WEB...

CHE COS È DOCFLY FATTURAZIONE PA... 3 1.1 IL GESTIONALE WEB... 3 1.2 ACCESSO ALL INTERFACCIA WEB... 4 1.3 FUNZIONALITÀ DELL INTERFACCIA WEB... 1. CHE COS È DOCFLY FATTURAZIONE PA... 3 1.1 IL GESTIONALE WEB... 3 1.2 ACCESSO ALL INTERFACCIA WEB... 4 1.3 FUNZIONALITÀ DELL INTERFACCIA WEB... 5 1.3.1 CREAZIONE GUIDATA DELLA FATTURA IN FORMATO XML

Dettagli

Business Process Management

Business Process Management Business Process Management Comprendere, gestire, organizzare e migliorare i processi di business Caso di studio a cura della dott. Danzi Francesca e della prof. Cecilia Rossignoli 1 Business process Un

Dettagli

Utilizzato con successo nei più svariati settori aziendali, Passepartout Mexal BP è disponibile in diverse versioni e configurazioni:

Utilizzato con successo nei più svariati settori aziendali, Passepartout Mexal BP è disponibile in diverse versioni e configurazioni: Passepartout Mexal BP è una soluzione gestionale potente e completa per le imprese che necessitano di un prodotto estremamente flessibile, sia dal punto di vista tecnologico sia funzionale. Con più di

Dettagli

white paper La Process Intelligence migliora le prestazioni operative del settore assicurativo

white paper La Process Intelligence migliora le prestazioni operative del settore assicurativo white paper La Process Intelligence migliora le prestazioni operative del settore assicurativo White paper La Process Intelligence migliora le prestazioni operative del settore assicurativo Pagina 2 Sintesi

Dettagli

Configuration Managment Configurare EC2 su AWS. Tutorial. Configuration Managment. Configurare il servizio EC2 su AWS. Pagina 1

Configuration Managment Configurare EC2 su AWS. Tutorial. Configuration Managment. Configurare il servizio EC2 su AWS. Pagina 1 Tutorial Configuration Managment Configurare il servizio EC2 su AWS Pagina 1 Sommario 1. INTRODUZIONE... 3 2. PROGRAMMI NECESSARI... 4 3. PANNELLO DI CONTROLLO... 5 4. CONFIGURARE E LANCIARE UN ISTANZA...

Dettagli

più del mercato applicazioni dei processi modificato. Reply www.reply.eu

più del mercato applicazioni dei processi modificato. Reply www.reply.eu SOA IN AMBITO TELCO Al fine di ottimizzare i costi e di migliorare la gestione dell'it, le aziende guardano, sempre più con maggiore interesse, alle problematiche di gestionee ed ottimizzazione dei processi

Dettagli

Copyright Università degli Studi di Torino, Progetto Atlante delle Professioni 2009 IT PROCESS EXPERT

Copyright Università degli Studi di Torino, Progetto Atlante delle Professioni 2009 IT PROCESS EXPERT IT PROCESS EXPERT 1. CARTA D IDENTITÀ... 2 2. CHE COSA FA... 3 3. DOVE LAVORA... 4 4. CONDIZIONI DI LAVORO... 5 5. COMPETENZE... 6 Quali competenze sono necessarie... 6 Conoscenze... 8 Abilità... 9 Comportamenti

Dettagli

Utilizzato con successo nei più svariati settori aziendali, con Passepartout Mexal BP ogni utente può disporre di funzionalità

Utilizzato con successo nei più svariati settori aziendali, con Passepartout Mexal BP ogni utente può disporre di funzionalità PASSEPARTOUT MEXAL BP è una soluzione gestionale potente e completa per le imprese che necessitano di un prodotto estremamente flessibile, sia dal punto di vista tecnologico sia funzionale. Con più di

Dettagli

Introduzione alle applicazioni di rete

Introduzione alle applicazioni di rete Introduzione alle applicazioni di rete Definizioni base Modelli client-server e peer-to-peer Socket API Scelta del tipo di servizio Indirizzamento dei processi Identificazione di un servizio Concorrenza

Dettagli

GUIDA ALLA GESTIONE DEI TICKET REV. 1. guida_gestione_tck_rev1.doc - 1 di 9

GUIDA ALLA GESTIONE DEI TICKET REV. 1. guida_gestione_tck_rev1.doc - 1 di 9 GUIDA ALLA GESTIONE DEI TICKET REV. 1 guida_gestione_tck_rev1.doc - 1 di 9 INTRODUZIONE Dopo aver utilizzato internamente per alcuni anni il nostro software di Ticketing, abbiamo deciso di metterlo a disposizione

Dettagli

Analisi dei requisiti e casi d uso

Analisi dei requisiti e casi d uso Analisi dei requisiti e casi d uso Indice 1 Introduzione 2 1.1 Terminologia........................... 2 2 Modello della Web Application 5 3 Struttura della web Application 6 4 Casi di utilizzo della Web

Dettagli

Metadati e Modellazione. standard P_META

Metadati e Modellazione. standard P_META Metadati e Modellazione Lo standard Parte I ing. Laurent Boch, ing. Roberto Del Pero Rai Centro Ricerche e Innovazione Tecnologica Torino 1. Introduzione 1.1 Scopo dell articolo Questo articolo prosegue

Dettagli

Enterprise Services Infrastructure ESI 2.0

Enterprise Services Infrastructure ESI 2.0 Enterprise Services Infrastructure ESI 2.0 Caratteristiche e Posizionamento ver. 2.1 del 21/01/2013 Cos è ESI - Enterprise Service Infrastructure? Cos è ESI? ESI (Enteprise Service Infrastructure) è una

Dettagli

Informatica per la comunicazione" - lezione 9 -

Informatica per la comunicazione - lezione 9 - Informatica per la comunicazione" - lezione 9 - Protocolli di livello intermedio:" TCP/IP" IP: Internet Protocol" E il protocollo che viene seguito per trasmettere un pacchetto da un host a un altro, in

Dettagli

Cross Software ltd Malta Pro.Sy.T Srl. Il gestionale come l'avete sempre sognato... Pag. 1

Cross Software ltd Malta Pro.Sy.T Srl. Il gestionale come l'avete sempre sognato... Pag. 1 Il gestionale come l'avete sempre sognato... Pag. 1 Le funzionalità di X-Cross La sofisticata tecnologia di CrossModel, oltre a permettere di lavorare in Internet come nel proprio ufficio e ad avere una

Dettagli

Business Process Management

Business Process Management Corso di Certificazione in Business Process Management Progetto Didattico 2015 con la supervisione scientifica del Dipartimento di Informatica Università degli Studi di Torino Responsabile scientifico

Dettagli

Ing. Andrea Saccà. Stato civile: Celibe Nazionalità: Italiana Data di nascita: 9 Ottobre 1978 Luogo di nascita: Roma Residenza: Roma

Ing. Andrea Saccà. Stato civile: Celibe Nazionalità: Italiana Data di nascita: 9 Ottobre 1978 Luogo di nascita: Roma Residenza: Roma Indirizzo: Via dell'automobilismo, 109 00142 Roma (RM) Sito Web : http://www.andreasacca.com Telefono: 3776855061 Email : sacca.andrea@gmail.com PEC : andrea.sacca@pec.ording.roma.it Ing. Andrea Saccà

Dettagli

MODALITÀ DI QUALIFICAZIONE DELLA PORTA DI DOMINIO

MODALITÀ DI QUALIFICAZIONE DELLA PORTA DI DOMINIO MODALITÀ DI QUALIFICAZIONE DELLA PORTA DI DOMINIO Versione 1.1 INDICE 1. PREFAZIONE 3 1.1 Autori 3 1.2 Modifiche Documento 3 1.3 Riferimenti 4 1.4 Acronimi e Definizioni 4 2. OBIETTIVI E CONTESTO DI RIFERIMENTO

Dettagli

Guida ai Servizi Internet per il Referente Aziendale

Guida ai Servizi Internet per il Referente Aziendale Guida ai Servizi Internet per il Referente Aziendale Indice Indice Introduzione...3 Guida al primo accesso...3 Accessi successivi...5 Amministrazione dei servizi avanzati (VAS)...6 Attivazione dei VAS...7

Dettagli

Dalla Mappatura dei Processi al Business Process Management

Dalla Mappatura dei Processi al Business Process Management Dalla Mappatura dei Processi al Business Process Management Romano Stasi Responsabile Segreteria Tecnica ABI Lab Roma, 4 dicembre 2007 Agenda Il percorso metodologico Analizzare per conoscere: la mappatura

Dettagli

Enterprise Content Management. Terminologia. KM, ECM e BPM per creare valore nell impresa. Giovanni Marrè Amm. Del., it Consult

Enterprise Content Management. Terminologia. KM, ECM e BPM per creare valore nell impresa. Giovanni Marrè Amm. Del., it Consult KM, ECM e BPM per creare valore nell impresa Giovanni Marrè Amm. Del., it Consult Terminologia Ci sono alcuni termini che, a vario titolo, hanno a che fare col tema dell intervento KM ECM BPM E20 Enterprise

Dettagli

Corso Base ITIL V3 2008

Corso Base ITIL V3 2008 Corso Base ITIL V3 2008 PROXYMA Contrà San Silvestro, 14 36100 Vicenza Tel. 0444 544522 Fax 0444 234400 Email: proxyma@proxyma.it L informazione come risorsa strategica Nelle aziende moderne l informazione

Dettagli

Le funzionalità di un DBMS

Le funzionalità di un DBMS Le funzionalità di un DBMS Sistemi Informativi L-A Home Page del corso: http://www-db.deis.unibo.it/courses/sil-a/ Versione elettronica: DBMS.pdf Sistemi Informativi L-A DBMS: principali funzionalità Le

Dettagli

Studio di retribuzione 2014

Studio di retribuzione 2014 Studio di retribuzione 2014 TECHNOLOGY Temporary & permanent recruitment www.pagepersonnel.it EDITORIALE Grazie ad una struttura costituita da 100 consulenti e 4 uffici in Italia, Page Personnel offre

Dettagli

Sistemi di supporto alle decisioni Ing. Valerio Lacagnina

Sistemi di supporto alle decisioni Ing. Valerio Lacagnina Cosa è il DSS L elevato sviluppo dei personal computer, delle reti di calcolatori, dei sistemi database di grandi dimensioni, e la forte espansione di modelli basati sui calcolatori rappresentano gli sviluppi

Dettagli

EMC Documentum xcp for Business Process Management

EMC Documentum xcp for Business Process Management Analisi dettagliata Abstract Oggi le aziende devono affrontare una sfida comune: ottimizzare i processi di business e la loro efficienza operativa. Per vincere questa sfida, EMC Documentum xcelerated Composition

Dettagli

***** Il software IBM e semplice *****

***** Il software IBM e semplice ***** Il IBM e semplice ***** ***** Tutto quello che hai sempre voluto sapere sui prodotti IBM per qualificare i potenziali clienti, sensibilizzarli sulle nostre offerte e riuscire a convincerli. WebSphere IL

Dettagli

Elementi di UML (7): Diagrammi dei componenti e di deployment

Elementi di UML (7): Diagrammi dei componenti e di deployment Elementi di UML (7): Diagrammi dei componenti e di deployment Università degli Studi di Bologna Facoltà di Scienze MM. FF. NN. Corso di Laurea in Scienze di Internet Anno Accademico 2004-2005 Laboratorio

Dettagli

Business Intelligence. Il data mining in

Business Intelligence. Il data mining in Business Intelligence Il data mining in L'analisi matematica per dedurre schemi e tendenze dai dati storici esistenti. Revenue Management. Previsioni di occupazione. Marketing. Mail diretto a clienti specifici.

Dettagli

Neomobile incentra l infrastruttura IT su Microsoft ALM, arrivando a 40 nuovi rilasci a settimana

Neomobile incentra l infrastruttura IT su Microsoft ALM, arrivando a 40 nuovi rilasci a settimana Storie di successo Microsoft per le Imprese Scenario: Software e Development Settore: Servizi In collaborazione con Neomobile incentra l infrastruttura IT su Microsoft ALM, arrivando a 40 nuovi rilasci

Dettagli

Energy risk management

Energy risk management Il sistema di supporto alle tue decisioni Energy risk management Un approccio orientato agli attori M.B.I. Srl, Via Francesco Squartini 7-56121 Pisa, Italia - tel. 050 3870888 - fax. 050 3870808 www.powerschedo.it

Dettagli

GESTIRE LA BIBLIOGRAFIA

GESTIRE LA BIBLIOGRAFIA GESTIRE LA BIBLIOGRAFIA STRUMENTI DI GESTIONE BIBLIOGRAFICA I software di gestione bibliografica permettono di raccogliere, catalogare e organizzare diverse tipologie di materiali, prendere appunti, formattare

Dettagli

L idea. 43.252.003.274.489.856.000 combinazioni possibili di cui solo una è quella corretta

L idea. 43.252.003.274.489.856.000 combinazioni possibili di cui solo una è quella corretta Guardare oltre L idea 43.252.003.274.489.856.000 combinazioni possibili di cui solo una è quella corretta I nostri moduli non hanno altrettante combinazioni possibili, ma la soluzione è sempre una, PERSONALIZZATA

Dettagli

Il Concetto di Processo

Il Concetto di Processo Processi e Thread Il Concetto di Processo Il processo è un programma in esecuzione. È l unità di esecuzione all interno del S.O. Solitamente, l esecuzione di un processo è sequenziale (le istruzioni vengono

Dettagli

END-TO-END SERVICE QUALITY. LA CULTURA DELLA QUALITÀ DAL CONTROLLO DELLE RISORSE ALLA SODDISFAZIONE DEL CLIENTE

END-TO-END SERVICE QUALITY. LA CULTURA DELLA QUALITÀ DAL CONTROLLO DELLE RISORSE ALLA SODDISFAZIONE DEL CLIENTE END-TO-END SERVICE QUALITY. LA CULTURA DELLA QUALITÀ DAL CONTROLLO DELLE RISORSE ALLA SODDISFAZIONE In un mercato delle Telecomunicazioni sempre più orientato alla riduzione delle tariffe e dei costi di

Dettagli

SOA GOVERNANCE: WHAT DOES IT MEAN? Giorgio Marras

SOA GOVERNANCE: WHAT DOES IT MEAN? Giorgio Marras SOA GOVERNANCE: WHAT DOES IT MEAN? Giorgio Marras 2 Introduzione Le architetture basate sui servizi (SOA) stanno rapidamente diventando lo standard de facto per lo sviluppo delle applicazioni aziendali.

Dettagli

Client di Posta Elettronica PECMailer

Client di Posta Elettronica PECMailer Client di Posta Elettronica PECMailer PECMailer è un semplice ma completo client di posta elettronica, ovvero un programma che consente di gestire la composizione, la trasmissione, la ricezione e l'organizzazione

Dettagli

DBMS (Data Base Management System)

DBMS (Data Base Management System) Cos'è un Database I database o banche dati o base dati sono collezioni di dati, tra loro correlati, utilizzati per rappresentare una porzione del mondo reale. Sono strutturati in modo tale da consentire

Dettagli

WAN 80.80.80.80 / 24. L obiettivo è quello di mappare due server web interni (porta 80) associandoli agli indirizzi IP Pubblici forniti dall ISP.

WAN 80.80.80.80 / 24. L obiettivo è quello di mappare due server web interni (porta 80) associandoli agli indirizzi IP Pubblici forniti dall ISP. Configurazione di indirizzi IP statici multipli Per mappare gli indirizzi IP pubblici, associandoli a Server interni, è possibile sfruttare due differenti metodi: 1. uso della funzione di Address Translation

Dettagli

Supporto alle decisioni e strategie commerciali/mercati/prodotti/forza vendita;

Supporto alle decisioni e strategie commerciali/mercati/prodotti/forza vendita; .netbin. è un potentissimo strumento SVILUPPATO DA GIEMME INFORMATICA di analisi dei dati con esposizione dei dati in forma numerica e grafica con un interfaccia visuale di facile utilizzo, organizzata

Dettagli

PUBLIC, PRIVATE O HYBRID CLOUD: QUAL È IL TIPO DI CLOUD OTTIMALE PER LE TUE APPLICAZIONI?

PUBLIC, PRIVATE O HYBRID CLOUD: QUAL È IL TIPO DI CLOUD OTTIMALE PER LE TUE APPLICAZIONI? PUBLIC, PRIVATE O HYBRID CLOUD: QUAL È IL TIPO DI CLOUD OTTIMALE PER LE TUE APPLICAZIONI? Le offerte di public cloud proliferano e il private cloud è sempre più diffuso. La questione ora è come sfruttare

Dettagli

FIRESHOP.NET. Gestione Utility & Configurazioni. Rev. 2014.3.1 www.firesoft.it

FIRESHOP.NET. Gestione Utility & Configurazioni. Rev. 2014.3.1 www.firesoft.it FIRESHOP.NET Gestione Utility & Configurazioni Rev. 2014.3.1 www.firesoft.it Sommario SOMMARIO Introduzione... 4 Impostare i dati della propria azienda... 5 Aggiornare il programma... 6 Controllare l integrità

Dettagli

Manipolazione di testi: espressioni regolari

Manipolazione di testi: espressioni regolari Manipolazione di testi: espressioni regolari Un meccanismo per specificare un pattern, che, di fatto, è la rappresentazione sintetica di un insieme (eventualmente infinito) di stringhe: il pattern viene

Dettagli

FORM Il sistema informativo di gestione della modulistica elettronica.

FORM Il sistema informativo di gestione della modulistica elettronica. Studio FORM FORM Il sistema informativo di gestione della modulistica elettronica. We believe in what we create This is FORM power La soluzione FORM permette di realizzare qualsiasi documento in formato

Dettagli

Entrate... 11 Uscite... 11 Trasferimento... 11 Movimenti ricorrenti... 11 Movimenti suddivisi... 12

Entrate... 11 Uscite... 11 Trasferimento... 11 Movimenti ricorrenti... 11 Movimenti suddivisi... 12 Data ultima revisione del presente documento: domenica 8 maggio 2011 Indice Sommario Descrizione prodotto.... 3 Licenza e assunzione di responsabilità utente finale:... 4 Prerequisiti:... 5 Sistema Operativo:...

Dettagli

EndNote Web. Quick Reference Card THOMSON SCIENTIFIC

EndNote Web. Quick Reference Card THOMSON SCIENTIFIC THOMSON SCIENTIFIC EndNote Web Quick Reference Card Web è un servizio online ideato per aiutare studenti e ricercatori nel processo di scrittura di un documento di ricerca. ISI Web of Knowledge, EndNote

Dettagli

REALIZZARE UN MODELLO DI IMPRESA

REALIZZARE UN MODELLO DI IMPRESA REALIZZARE UN MODELLO DI IMPRESA - organizzare e gestire l insieme delle attività, utilizzando una piattaforma per la gestione aziendale: integrata, completa, flessibile, coerente e con un grado di complessità

Dettagli

AUL22: FactoryTalk View SE Scoprite i vantaggi chiave di una soluzione SCADA integrata

AUL22: FactoryTalk View SE Scoprite i vantaggi chiave di una soluzione SCADA integrata AUL22: FactoryTalk View SE Scoprite i vantaggi chiave di una soluzione SCADA integrata Giampiero Carboni Davide Travaglia David Board Rev 5058-CO900C Interfaccia operatore a livello di sito FactoryTalk

Dettagli

Applicazione: DoQui/Index - Motore di gestione dei contenuti digitali

Applicazione: DoQui/Index - Motore di gestione dei contenuti digitali Riusabilità del software - Catalogo delle applicazioni: Applicativo verticale Applicazione: DoQui/Index - Motore di gestione dei contenuti digitali Amministrazione: Regione Piemonte - Direzione Innovazione,

Dettagli

DynDevice ECM. La Suite di applicazioni web per velocizzare, standardizzare e ottimizzare il flusso delle informazioni aziendali

DynDevice ECM. La Suite di applicazioni web per velocizzare, standardizzare e ottimizzare il flusso delle informazioni aziendali DynDevice ECM La Suite di applicazioni web per velocizzare, standardizzare e ottimizzare il flusso delle informazioni aziendali Presentazione DynDevice ECM Cos è DynDevice ICMS Le soluzioni di DynDevice

Dettagli

Progetto VirtualCED Clustered

Progetto VirtualCED Clustered Progetto VirtualCED Clustered Un passo indietro Il progetto VirtualCED, descritto in un precedente articolo 1, è ormai stato implementato con successo. Riassumendo brevemente, si tratta di un progetto

Dettagli

CORSO DI ALGORITMI E PROGRAMMAZIONE. JDBC Java DataBase Connectivity

CORSO DI ALGORITMI E PROGRAMMAZIONE. JDBC Java DataBase Connectivity CORSO DI ALGORITMI E PROGRAMMAZIONE JDBC Java DataBase Connectivity Anno Accademico 2002-2003 Accesso remoto al DB Istruzioni SQL Rete DataBase Utente Host client Server di DataBase Host server Accesso

Dettagli

ACCREDITAMENTO EVENTI

ACCREDITAMENTO EVENTI E.C.M. Educazione Continua in Medicina ACCREDITAMENTO EVENTI Manuale utente Versione 1.5 Maggio 2015 E.C.M. Manuale utente per Indice 2 Indice Revisioni 4 1. Introduzione 5 2. Accesso al sistema 6 2.1

Dettagli

Descrizioni VHDL Behavioral

Descrizioni VHDL Behavioral 1 Descrizioni VHDL Behavioral In questo capitolo vedremo come la struttura di un sistema digitale è descritto in VHDL utilizzando descrizioni di tipo comportamentale. Outline: process wait statements,

Dettagli

SMS API. Documentazione Tecnica YouSMS SOAP API. YouSMS Evet Limited 2015 http://www.yousms.it

SMS API. Documentazione Tecnica YouSMS SOAP API. YouSMS Evet Limited 2015 http://www.yousms.it SMS API Documentazione Tecnica YouSMS SOAP API YouSMS Evet Limited 2015 http://www.yousms.it INDICE DEI CONTENUTI Introduzione... 2 Autenticazione & Sicurezza... 2 Username e Password... 2 Connessione

Dettagli

Denuncia di Malattia Professionale telematica

Denuncia di Malattia Professionale telematica Denuncia di Malattia Professionale telematica Manuale utente Versione 1.5 COME ACCEDERE ALLA DENUNCIA DI MALATTIA PROFESSIONALE ONLINE... 3 SITO INAIL... 3 LOGIN... 4 UTILIZZA LE TUE APPLICAZIONI... 5

Dettagli

Web conferencing e collaborazione in tempo reale su Internet: la piattaforma Meetecho

Web conferencing e collaborazione in tempo reale su Internet: la piattaforma Meetecho Web conferencing e collaborazione in tempo reale su Internet: la piattaforma Meetecho Tobia Castaldi Alessandro Amirante Lorenzo Miniero Simon Pietro Romano Giorgio Ventre 02/10/2009 GARR 2009 "Network

Dettagli

Corso di Amministrazione di Sistema Parte I ITIL 3

Corso di Amministrazione di Sistema Parte I ITIL 3 Corso di Amministrazione di Sistema Parte I ITIL 3 Francesco Clabot Responsabile erogazione servizi tecnici 1 francesco.clabot@netcom-srl.it Fondamenti di ITIL per la Gestione dei Servizi Informatici Il

Dettagli

MINI GUIDA SINTETICA per l uso della lavagna interattiva multimediale

MINI GUIDA SINTETICA per l uso della lavagna interattiva multimediale MINI GUIDA SINTETICA per l uso della lavagna interattiva multimediale InterWrite SchoolBoard è un software per lavagna elettronica di facile utilizzo. Può essere adoperata anche da studenti diversamente

Dettagli

Basi di Dati prof. Letizia Tanca lucidi ispirati al libro Atzeni-Ceri-Paraboschi-Torlone. SQL: il DDL

Basi di Dati prof. Letizia Tanca lucidi ispirati al libro Atzeni-Ceri-Paraboschi-Torlone. SQL: il DDL Basi di Dati prof. Letizia Tanca lucidi ispirati al libro Atzeni-Ceri-Paraboschi-Torlone SQL: il DDL Parti del linguaggio SQL Definizione di basi di dati (Data Definition Language DDL) Linguaggio per modificare

Dettagli

DAT@GON. Gestione Gare e Offerte

DAT@GON. Gestione Gare e Offerte DAT@GON Gestione Gare e Offerte DAT@GON partecipare e vincere nel settore pubblico La soluzione sviluppata da Revorg per il settore farmaceutico, diagnostico e di strumentazione medicale, copre l intero

Dettagli

Web Conferencing and Collaboration tool

Web Conferencing and Collaboration tool Web Conferencing and Collaboration tool La piattaforma Meetecho Piattaforma di Web Conferencing e Collaborazione on line in tempo reale Caratteristiche generali Soluzione client-server progettata per essere

Dettagli

FASE DEBUGGING: Compiler Linker. controllando che la voce Genera le informazioni per il debug cioè. "Generate debugging information"

FASE DEBUGGING: Compiler Linker. controllando che la voce Genera le informazioni per il debug cioè. Generate debugging information FASE DEBUGGING: Prima della compilazione, si devono inserire 1 nel progetto informazioni per il debug cioè si devono visualizzare le opzioni di progetto seguendo il percorso: controllando che la voce Genera

Dettagli

IBM Cognos 8 BI Midmarket Reporting Packages Per soddisfare tutte le vostre esigenze di reporting restando nel budget

IBM Cognos 8 BI Midmarket Reporting Packages Per soddisfare tutte le vostre esigenze di reporting restando nel budget Data Sheet IBM Cognos 8 BI Midmarket Reporting Packages Per soddisfare tutte le vostre esigenze di reporting restando nel budget Panoramica Le medie aziende devono migliorare nettamente le loro capacità

Dettagli

Elementi di semantica denotazionale ed operazionale

Elementi di semantica denotazionale ed operazionale Elementi di semantica denotazionale ed operazionale 1 Contenuti! sintassi astratta e domini sintattici " un frammento di linguaggio imperativo! semantica denotazionale " domini semantici: valori e stato

Dettagli

UNIVERSITÀ DEGLI STUDI DI BERGAMO. PROPOSTE di TIROCINI/TESI di LAUREA - Prof. Patrizia Scandurra

UNIVERSITÀ DEGLI STUDI DI BERGAMO. PROPOSTE di TIROCINI/TESI di LAUREA - Prof. Patrizia Scandurra PROPOSTE di TIROCINI/TESI di LAUREA - Prof. Patrizia Scandurra A seguire alcune proposte di tirocini/tesi in tre ambiti dell ingegneria del software (non del tutto scorrelati): (1) Model-driven driven

Dettagli

IT Club FVG Ditedi CMDBuild: case study di un progetto open source www.cmdbuild.org Fabio Bottega f.bottega@tecnoteca.com

IT Club FVG Ditedi CMDBuild: case study di un progetto open source www.cmdbuild.org Fabio Bottega f.bottega@tecnoteca.com IT Club FVG Ditedi CMDBuild: case study di un progetto open source www.cmdbuild.org Fabio Bottega f.bottega@tecnoteca.com 2 Tecnoteca è nata nel 2000 con sede a Tavagnacco ha scelto da subito di lavorare

Dettagli

Risolvere un problema significa individuare un procedimento che permetta di arrivare al risultato partendo dai dati

Risolvere un problema significa individuare un procedimento che permetta di arrivare al risultato partendo dai dati Algoritmi Algoritmi Risolvere un problema significa individuare un procedimento che permetta di arrivare al risultato partendo dai dati Il procedimento (chiamato algoritmo) è composto da passi elementari

Dettagli