• Journal of Internet Computing and Services
• /
• v.10 no.3
• /
• pp.1-8
• /
• 2009

The primary tasks of a workflow management system specify workflow models with respect to resource, control-flow, data-flow, functional, and operational perspectives, and to enact their workcases (workflow instances). In terms of enacting workflow models, the essential criterion grading the quality of the system is "how much is the system able to guarantee the correctness of workflow models' enactment?". Particularly, the workflow determinacy problem, which may be caused by the interference of the control-flow and the data-flow specifications, is the most challenging issue in guaranteeing the correctness of the system. We are able to solve the problem by either of the following two approaches-analysis of workflow model and verification of workflow enactment. In the paper, we propose a technique that guarantee the system's correctness through verifying workflow enactment. In other words, the technique is able to detect the conflicts of control-flow and data-flow enactments existing on a workflow model, which causes the system to be non-determinant in enacting workflow models. Finally, by applying the technique to the e-Chautauque workflow management system developed by the authors' research group, we prove that the technique is a feasible solution for the workflow determinacy problem.

• Journal of the Korea Convergence Society
• /
• v.11 no.12
• /
• pp.225-232
• /
• 2020

In This paper examines how "Kamishibai" was used for ideological education of children during the war. "Kamishibai" was proposed by the Ministry of Education as a methodology to "cultivate children's right concentricity. In particular, , which was produced based on a true story, highlights the father's love sent to children by obtaining chocolate wrappers from comrades, and the children's envy for chocolate. Kazuo's interview, saying, "I will succeed my father," showed that he has a continuous personality that comes with another sacrifice. After the Sino-Japanese War, the war situation intensified, and in 1940, a new edict decided to enact the "Army Support Corps". This is a measure to select eligible youth applicants from 15 to 17 years of age, after training for 4 years, and then appoint them to aviation soldiers and sergeants. This is a legal maintenance that can be put into the battlefield at any time according to the trend of the war. Just as Kazuo, a real character in "Chocolate and Soldiers", also became a "boy flight soldier" after his father's death, flying airplanes to boys at the time was also a dream that Japan's great citizens should have. In the , it is suggested that "the father enshrined in Yasukuni" is a great person, and that "I" will also grow and become a "good citizen". In particular, the two brothers in the work show the value of eternal sacrifices in Yasukuni as a typical model of the "great people".

• Journal of Chest Surgery
• /
• v.36 no.4
• /
• pp.242-254
• /
• 2003

Most of the studies conducted have investigated the beneficial effects of ischemic preconditioning on normothermic myocardial ischemia. However, the effect of preconditioning could be attenuated through the use of multidose cold cardioplegia as practiced in contemporary clinical heart surgical procedures. The purpose of this study was to investigate whether preconditioning improves postischemic cardiac function in a model of 25℃ moderate hypothermic ischemic heart induced by cold cardioplegia in isolated rat hearts. Material and Method: The isolated Sprague-Dawley rat hearts were randomly assigned to four groups. All hearts were perfused at 37℃ for 20 minutes with Krebs-Henseleit solution before the baseline hemodynamic data were obtained. Group 1 consisted of preconditioned hearts that received 3 minutes of global ischemic preconditioning at 37℃, followed by 5 minutes of reperfusion before 120 minutes of cardioplegic arrest (n=6). Cold (4℃) St. Thomas Hospital cardioplegia solution was infused to induce cardioplegic arrest. Maintaining the heart at 25℃, infusion of the cardioplegia solution was repeated every 20 minutes throughout the 120 minutes of ischemic period. Group 2 consisted of control hearts that underwent no manipulations between the periods of equilibrium and 120 minutes of cardioplegic arrest (n=6). After 2 hours of cardioplegic arrest, Krebs solution was infused and hemodynamic data were obtained for 30 minutes (group 1, 2: cold cardioplegia group). Group 3 received two episodes of ischemic preconditioning before 30 min of 37℃ normothermic ischemia and 30 minutes of reperfusion (n=6). Group 4 served as ischemic controls for group 3 (group 3, 4: warm ischemia group). Result: Preconditioning did not influence parameters such as left ventricular systolic pressure (LVSP), left ventricular end-diastolic pressure (LVEDP), rate-pressure product (RPP) and left ventricular dp/dt (LV dp/dt) in the cold cardioplegia group. (p=NS) However, preconditioning before warm ischemia attenuated the ischemia induced cardiac dysfunction, improving the LVSP, LVEDP, RPP, and LVdp/dt. Less leakage of CPK and LDH were observed in the ischemic preconditioning group compared to the control group (p<0.05). Conclusion: Ischemic preconditioning improved postischemic cardiac function after warm ischemia, but did not protect cold cardioplegic hearts.