ved Lektor Thomas Hildebrandt, IT Universitetet - CFIR

More documents

Recommendations

Info

ibution of DCR Graphs [5]. Asistribution provides for any (covents,a set of corresponding localections.Get F’IT, BPM Seminar, 25. September, 2012Thomas Hildebrandt, hilde@itu.dkCase Management Modellingprescribemedicineendtreatmentsign• Afhængigheder mellem handlinger - ikkeeksplicit process-flowEDOC 2011N%+Ngivemedicine% %+ Ndon'ttrustrk, DCR Graphs have been exdsupport for model checking oferties in SPIN [9]. A first versionU3 DaysOpen-oriented Event-based Program-case) [6] based Betingelse on DCR Graphs andcontext-sensitive (condition) reactive servicesprototyped.UpdateCasehavioral type systems for distributed DCR Graphs.References:1. Van der Aalst, Pesic.: DecSerFlow: Towards a truly declarativeservice flow language. WS-FM 2006.2. Hull et al.: Business Entities with Guard-Stage-Milestone Lifecycles:Managing Entity Interactions with Conditions and EventsDEBS 20113. Hildebrandt and Mukkamala: Distributed Dynamic Condition ResponseStructures. PLACES 20104. Hildebrandt, Mukkamala and Slaats: Designing a Cross-organizationalCase Management System using Dynamic Condition Response Graphs.5. Hildebrandt, Mukkamala and Slaats: Safe Distribution of DeclarativeProcesses. SEFMOpfølgning 201114 Days(response)6. Hildebrandt and Zanitti: A Process-oriented Event-based ProgrammingLanguageLo% LoLODEBS2012ProposeAcceptHold meetingdates-LO 7. Trustworthy+pervasive LO healthcare with processes DA (TrustCare) researchproject. Funded by % The Danish Council for Strategic Research (grant1 Day#2106-07-0019) http://www.trustcare.dk/1 Day8. Mukkamala. ADA+%Formal Model For Declarative Workflows - DynamicConditionAcceptResponse % Graphs. PhD thesis.DADA9. http://tinyurl.com/dcrveriProposedates-DAPh.d-projekt, Tijs Slaats og afhandlingaf Rao R. Mukkamala(se www.itu.dk/people/rao ogwww.trustcare.dk)• Tillad dynamiske ændringerTrustworthy Pervasive Healthcare Services projectDynamic Condition Response (DCR) GraphsCross-organizational Case ManagementGuard-Stage-Milestone Paradigm, IBM Research, NYwww.itu.dk/research/modelsTuesday, September 25, 1217IT UNIVERSITY OF COPENHAGEN
Get F’IT, BPM Seminar, 25. September, 2012Thomas Hildebrandt, hilde@itu.dkTable 7.2 - BPMN Extended Modeling ElementsMergingBehavioral TypesBPMN uses the term :merge; to refer to theexclusive combining of two or more paths intoone path (also known as an OR-Join).A Merging Exclusive Gateway is used to showthe merging of multiple Sequence Flows (seeupper figure to the right).If all the incoming flow is alternative, then aGateway is not needed. That is, uncontrolledflow provides the same behavior (see lowerfigure to the right).• Tværorganisatoriske/globaleprocesser kan beskrives somkoreografier• Men hvordan sikres at de interne/lokale processer følger koreografien?• Behavioral Types: Beskriverprotokollen for hver lokal processder typecheckes før de køreswww.itu.dk/research/modelsTuesday, September 25, 12Table 7.2 - BPMN Extended Modeling ElementsMergingLoopingActivity LoopingSequence Flow LoopingLoopingActivity LoopingSequence Flow Looping18BPMN SimpleTreatmentChoreorgraphyuses the term :merge; to refer to theexclusive combining of two or more paths intoone path (also known as an OR-Join).A Merging Exclusive Gateway is used to showthe merging of multiple Sequence Flows (seeupper figure to the right).If all the incoming flow is alternative, then aGateway is not needed. That is, uncontrolledflow BPMN provides provides the 2 same (two) behavior mechanisms (see for lower loopingfigure within to the a Process. right).The attributes of Tasks and Sub-Processeswill determine if they are repeated or performedonce (see page 197). There are twotypes of loops: Standard and Multi-Instance. Asmall looping indicator will be displayed at thebottom-center of the activity.Loops can be created by connecting aSequence Flow to an :upstream; object. Anobject is considered to be upstream if thatobject BPMN has provides an outgoing 2 (two) Sequence mechanisms Flow for that loopingwithin to a a series Process. of other Sequence Flows,leadsthe last of which is an incoming SequenceFlow The attributes for the original of Tasks object. and Sub-Processeswill determine if they are repeated or performedonce (see page 197). There are twotypes of loops: Standard and Multi-Instance. Asmall looping indicator will be displayed at thebottom-center of the activity.Loops can be created by connecting aSequence Flow to an :upstream; object. Anobject is considered to be upstream if thatobject has an outgoing Sequence Flow thatleads to a series of other Sequence Flows,the last of which is an incoming SequenceFlow for the original object.result1See Next Two FiguresNurseTest1Pat ientDoctorresult2See Next Two FiguresNurseTest2Pat ientDoctor38 Business Process Model and Notation, v2.038 Business Process Model and Notation, v2.0Figure 1. Workflow as BPMN 2.0 Choreographynot okokprescriptionDoctorPr escr ib ePat ientNurseDischargecorresponding Process Matrix spreadsheet. We then demonstrate in Sec. 2.2 howthe process matrix workflow processes can be described compactly in multipartysession types with assertions and symmetric sum types. Finally we overview theprototype implementation in Sec. 2.3.2.1 Example Workflow as Choreography and Process MatrixA simple CPG workflow involving three participants is described in Fig. 1 as aChoreograpy diagram in the Business Process Modelling Notation (BPMN) 2.0.The described workflow is activated, when a patient is admitted (indicated by thestart event). Then two tests are executed in parallel by a nurse. Note that eachactivity box is a communication between the three participants with one initiatorBetty:(indicated in the white ribbon) and two receivers (indicated in the shaded ribbons).Thus, the test results are sent by the nurse to both the patient and the doctor.Each test may be repeated,EUas indicatedCOSTby the repeating subprocessActionarrow, e.g. ifthe test failed or the result was not clear. Then, depending the results of thetests, either the patient is discharged directly, or the doctor prescribes a drug to thepatient, sending the prescription to both the patient and the nurse. The workflowis ended when the patient is discharged. The described workflow is a standardparadigm in CPGs; that is, first a set of tests are performed and, depending on theresults, either more tests are performed, IT UNIVERSITY the patient is OF discharged, COPENHAGEN or a treatment is executed. In this workflow the treatment consists of simply prescribing a drugto the patient.
Page 3 and 4: Get F’IT, BPM Seminar, 25. Septem
Page 36 and 37: 1.1.1 name height weight bPdose fro
Page 38 and 39: important Get F’IT, BPM to stress
Page 40: Get F’IT, BPM Seminar, 25. Septem

ved Lektor Thomas Hildebrandt, IT Universitetet - CFIR

Create successful ePaper yourself

Delete template?

Save as template?