Fluxuri de lucru. Modelare, verificare, securitatealaiba/pub/fluxuri-2016/curs/... · 2016. 2....
Transcript of Fluxuri de lucru. Modelare, verificare, securitatealaiba/pub/fluxuri-2016/curs/... · 2016. 2....
Fluxuri de lucru. Modelare, verificare, securitate
--Securitatea fluxului informațional
Organizare și introducere
Vasile Alaiba <[email protected]>
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.