Fluxuri de lucru. Modelare, verificare, securitate

--Securitatea fluxului informațional

Organizare și introducere

Vasile Alaiba <alaiba@info.uaic.ro>

Master Sisteme distribuite / Securitatea informaţieiFacultatea de Informatică, Universitatea „Al. I. Cuza” Iaşi

2015 – 2016

Obiective generale

• Familiarizarea cu conceptele de flux de

lucru, şi sistem de management a

fluxurilor de lucru

• Capacitatea de a modela şi implementa

un proces netrivial în limbajul BPMN 2.0

• Cunoaşterea de tehnici de verificare

specifice fluxurilor

• Înţelegerea aspectelor de securitate

Calendarul materiei

• Săptămânile 1-7 (fundamente):– studiem limbajul BPMN și tehnici de modelare

– realizăm documentarea și modelarea unui proces

• Săptămâna 8:– Test din materia de curs

• Săptămânile 9-16 (dezvoltare):– realizăm automatizarea unui proces

– aspecte avansate de modelare

– verificare şi securitate

– proiect de cercetare

Evaluare

• Nota finală se va calcula făcând media a 4 note:

• Partea I. Fundamente:– Modelarea unui proces (la laborator)

– Test scris (săptămâna 8)

• Partea II. Dezvoltare:– Automatizarea unui proces (la laborator)

– Proiect de cercetare (la curs)

• Notele sunt disponibile la adresa: TBD

Examen

• Materia pentru examenul din saptămâna a

8-a este ceea ce se discută la curs în

prima parte a semestrului

• Examenul va fi de tip grilă, plus o

problemă de modelare BPMN 2.0.

Restanța

• În restanță vor fi planificate:

– Examenul din săptămâna 8

– Un laborator la care se poate prezenta una

din temele de laborator sau proiectul de

cercetare

– Deci în restanță se poate obține maxim 50%

din punctaj.

Introducere

• Flux de lucru, proces de afaceri (workflow,

business process)

– Scopul unui flux de lucru este să asigure execuţia

unor activităţi în ordinea corectă pentru atingerea unui

rezultat

• Sistem de management a fluxurilor de lucru

(Workflow Management System – WfMS)

– Un sistem ce defineşte, administrează şi execută

procese prin apelul la alte componente software într-o

ordine stabilită explicit (WfMC 1996)

Limbaje de modelare

• Flowcharts (ad-hoc, nestandard)

• UML

• Reţele Petri

• YAWL

• BPMN

• și multe altele

Un proces descris printr-un flow chart (exemplu de utilizare SmartDraw, url:

http://www.smartdraw.com/specials/images/examples/flowchart-example-us-supreme-court-nomination-and-confirmation-process.png)

Modelarea unui proces ca diagramă de activități UML (exemplu de utilizare

ConceptDraw, url: http://www.conceptdraw.com/samples/business-process-

diagrams-unified-modeling-language)

Modelarea unui proces ca diagramă de comunicare UML (exemplu de

utilizare ConceptDraw, url: http://www.conceptdraw.com/samples/business-

process-diagrams-unified-modeling-language)

Modelarea unui proces ca diagramă de secvență UML (exemplu de utilizare

ConceptDraw, url: http://www.conceptdraw.com/samples/business-process-

diagrams-unified-modeling-language)

Modelarea unui proces ca diagramă de cazuri de utilizare UML (exemplu de

utilizare ConceptDraw, url: http://www.conceptdraw.com/samples/business-

process-diagrams-unified-modeling-language)

Modelarea unui proces ca rețea Petri

Petri Nets and Clinical Information Systems, Part III: Modeling Concepts and Tips, EHR

Science, 2012, url:

http://ehrscience.com/2012/11/05/petri-nets-and-clinical-information-systems-part-iii-

modeling-concepts-and-tips/

Modelarea unui proces în YAWL

A YAWL net with an OR-split and an OR-join, OR-join Semantics in

YAWL, url:

http://www.yawlfoundation.org/pages/research/orjoin.html

Modelarea unui proces în BPMN 2.0

Example diagram, Sub-Processes and Call Activities,

Activiti User Guide, url: http://www.activiti.org/userguide/

Bibliografie principală:

OMG Group, Business Process Model and Notation 2.0, 2011, url: http://www.omg.org/spec/BPMN/2.0/

OMG Group, Business Process Model and Notation 2.0.2, 2013, url:

http://www.omg.org/spec/BPMN/2.0.2/

Activiti User Guide, url: http://www.activiti.org/userguide/

Bibliografie suplimentară:

A. H. M. ter Hofstede et al, Modern Business Process Automation, Springer, 2010

W.M.P. van der Aalst, The Application of Petri Nets to Workflow Management, JCSC, 1998

Workflow Management Coalition, Workflow Security Considerations, 1998

WFMC. Workflow Management Coalition Terminology and Glossary(WFMC-TC-1011). Technical report, Workflow Management Coalition, Brussels, 1996.

Subiecte specifice vor fi însoțite punctual de referințe suplimentare.