U.S.-Turkey Cooperative Research: Modeling and Verification of Workflow Processes

9809945KiferDescription：该奖项是为了表彰纽约州立大学石溪分校计算机科学系Michael Kifer教授和土耳其安卡拉中东技术大学计算机科学副教授I.Hakki Toroslu博士之间的合作研究项目。这些科学家计划致力于开发一种强大的基于逻辑的形式主义，用于对工作流进行建模并验证其正确性。形式主义将建立在并发事务逻辑(CTR)之上，该逻辑已经取得了令人振奋的成果。他们还计划开发一个基于这种形式化的工作流管理系统调度器和验证器的原型。已经有一个基于CTR的工作流调度器的实现，这证明了该方法的可行性。拟议的实施将建立在这一经验的基础上，并将产生一个以可扩展和可验证的任务调度器为中心的灵活的工作流管理系统。范围：该项目将支持两名具有互补资质和机构设施的科学家之间的合作。这位美国科学家是这项研究的大部分理论背景的开发者，而土耳其方面在测试该模型所需的数据库管理方面拥有经验。需要解决的问题，即完善工作流管理系统，不仅具有重大的科学性，而且对两国也有许多重要的应用。该项目完全符合国际方案司的目标。

9809945KiferDescription: This award is for the support of a collaborative research project between Professor Michael Kifer, Computer Science Department at the State University of New York at Stony Brook and Dr. I. Hakki Toroslu, Associate Professor of Computer Science at the Middle East Technical University in Ankara, Turkey. These scientists plan to work on the development of a powerful logic-based formalism for modeling of workflows and for verification of their correctness. The formalism will be built on top of Concurrent Transaction Logic (CTR) for which there is already promising results. They also plan to develop a prototype of a workflow management system scheduler and verifier based on this formalism. There is already an implementation of a CTR-based workflow scheduler, which proves the feasibility of this approach. The proposed implementation will build on this experience and will result in a flexible workflow management system centered on an extensible and verifiable task scheduler.Scope: This project will support collaboration between two scientists with complementary qualifications and institutional facilities. The US scientist has been the developer of much of the theoretical background in this study, while the Turkish side has experience in the database management which is required to test the model. The problem to be solved, namely improving workflow management systems is significant scientifically, but also has many important applications to the two countries. The project fits well within the objectives of the Division of International Programs.