No abstract

This paper deals with a form of workflow flexibility called case handling as applied to healthcare systems, called careflow systems. We consider a case study of cutaneous melanoma to illustrate flexibility of careflow systems. We first present algorithmic version of medical guidelines for cutaneous melanoma and then model these medical guidelines using YAWL workflow design tool that is based on Petri nets model of computation. We consider both rigid and flexible models of related careflow systems. The YAWL flexible model uses case handling as a form of careflow flexibility. We compare both models from a perspective of functionality and usability.

No abstract

<p class="MsoNormal" style="text-align: left; margin: 0cm 0cm 0pt; layout-grid-mode: char;" align="left"><span class="text"><span style="font-family: ";Arial";,";sans-serif";; font-size: 9pt;">Inter-Organizational Workflows (IOWF) become important as they provide solution for data sharing, heterogeneity in resources and work coordination at global level. However, a secured computing infrastructure like Multilevel Security (MLS) is needed to support today’s vast businesses.</span></span><span style="font-family: ";Arial";,";sans-serif";; font-size: 9pt;"> <span class="text">In this paper Message Sequence Charts (MSC) are used to specify the positive and negative interactions between cooperating organizations. Petri nets are used to model the workflows in each organization. IOWF is obtained by combining Message Sequence Charts (MSC) and workflows of local organizations.</span> <span class="text">We present an algorithm to incorporate MLS features into IOWFs using Bell-LaPadula security model. In this model security labels of subject and object are verified before the subject can access the object. The algorithm reduces the workflows of participating organizations using the reduction rules while preserving the communication patterns between organizations. We also present an algorithm to identify implicit places in the IOWF with MLS features. Our method and algorithms are illustrated by a running example.</span></span></p>

No abstract