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

9809945 Kifer描述：该奖项是为了支持纽约州立大学斯托尼布鲁克分校计算机科学系Michael Kifer教授和I. Hakki Toroslu，土耳其安卡拉中东技术大学计算机科学副教授。 这些科学家计划致力于开发一种强大的基于逻辑的形式主义，用于工作流建模和验证其正确性。 的形式主义将建立在并发事务逻辑（CTR），已经有可喜的成果。 他们还计划开发一个原型的工作流管理系统调度和验证的基础上，这种形式主义。 已经有一个基于CTR的工作流调度器的实现，证明了这种方法的可行性。 拟议的实施将建立在这方面的经验，并将导致在一个灵活的工作流程管理系统集中在一个可扩展的和可验证的任务scheduler.Scope：该项目将支持两个科学家之间的合作与互补的资格和机构设施。 美国科学家一直是这项研究的大部分理论背景的开发者，而土耳其方面在测试模型所需的数据库管理方面具有经验。 本文所要解决的问题，即改进工作流管理系统，不仅具有重要的科学意义，而且对两国都有重要的应用价值。 该项目完全符合国际方案司的目标。

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.