Metamodellbasierte und hierarchieorientierte ... - RosDok

4.3 Workflow Runtime-Plugin 83
(a) Darstellung der Datenabhängigkeiten von AdjustMedication
im Runtime Plugin
(b) Darstellung der Datenabhängigkeiten von CheckPatientCondition
Abbildung 4.9: Darstellung von Daten während der Workflowausführung
DataCreate-Objekts dosage angezeigt wird. Das Attribut creationActivity vom neu erzeugten Datenobjekt
MedicationDosage3 ist bereits vom Runtime Plugin auf die erzeugende Aktivität AdjustMedication gesetzt
worden. Während der Abarbeitung der Aktivität hat der Nutzer die Aufgabe, die Attribute medication und
amount einzutragen.
In Abbildung 4.9(a) ist des Weiteren zu sehen, dass die aktuell ausgewählte Aktivität AdjustMedication nicht
beendet werden kann, da der entsprechende finish-Button deaktiviert ist. Um den Grund dafür herauszufinden,
kann der Nutzer peek ASSL procedure aus dem Optionsmenü des Runtime-Plugins (s. Abbildung 4.4(d))
aufrufen. Der ASSL-Prozeduraufruf finish(AdjustMedication) versucht diese Prozedur auszuführen und
liefert als Ergebnis, dass diese entweder erfolgreich ausgeführt werden kann oder eine Constraint-Verletzung
hervorgerufen wird. In Listing 4.4 ist die Konsolenausgabe des peek-Aufrufs der finish()-Operation von
Abbildung 4.9(a) zu sehen, die angibt, dass die Invariante MedicationEntriesMade verletzt wurde. Mit dieser
Information sieht der Nutzer, dass die Einträge für die aktuelle Medikation noch fehlen. Erst nachdem diese
getätigt wurden, kann die Aktivität beendet werden.
✞
1 checks valid invalid mul. viol. time (ms) Invariant
2 ... ... ... ... ... ...
3 1 1 0 0 0 MIWithSync::instanceDoneSelfDone
4 1 0 1 0 0 MedicationDosage::MedicationEntriesMade
5 0 0 0 0 0 MultiInstance::instanceCreated
6 ... ... ... ... ... ...
7 Total checks: 12 Overhead (checks - states checked): 11
8 Sorted 0 times.
✝
Listing 4.4: Konsolenausgabe bei Peek-Aufruf der finish() Operation bei AdjustMedication
☎
✆
In Abbildung 4.9(b) ist des Weiteren die Aktivität CheckPatientCondition ausgewählt worden. Deren
Datenabhängigkeiten getAllDiseases und PatientData des Worfklowmodells von Abbildung 3.13(b) werden
vom Runtime-Plugin dort angezeigt. Die DataRead-Tabelle repräsentiert die Daten des Informationssystems,
die über das getAllDiseases Objekt angefragt wurden. Des Weiteren ist das PatientData-Objekt im Object
properties-Fenster zu sehen. Da CheckPatientCondition eine Entscheidungsaktivität ist, werden dem Nutzer
zudem die zugehörigen Entscheidungsalternativen analog zur Abbildung 4.5(a) zur Auswahl gestellt.