CAREER: A Logic-Based Dynamic Policy Model for Adaptive Workflow Management

本提案提出了一项研究计划，用于开发和评估动态政策模型、自适应组合方法和风险管理策略。他的建议的主要内容是开发证明理论推理和分析算法，使系统集成商和最终用户能够通过本地策略规范利用各种异构的Web服务。工作的主要焦点是与web服务工作流相关的问题。在日益动态、不确定和易出错的开放系统环境中，构建能够有效实现分布式服务组合和协调的基于服务的系统变得越来越困难。该研究将开发一个模型，该模型可以提供一种方法来指定底层服务的交互行为，从而根据其所有者和消费者的需求来调整其功能。策略强制的Web服务组合可以成为智能环境中信息和事件共享的重要渠道。该项目将使亚利桑那州立大学的学生能够尝试信息和Web服务管理的各个方面，从而提高学生对学习、计算和研究问题的认识。亚利桑那州立大学的认知普适计算中心（CUBIC）将与PI及其开发伙伴Microchip Technology Inc密切合作，测试和推广原型技术，如智能和感知环境。

This proposal presents a research program for developing and evaluating dynamic policy models, adaptive composition approaches, and risk management strategies. The mainthrust of his proposal is the development of proof theoretic reasoning and analysis algorithms to enable system integrators and end users to leverage diverse and heterogeneous Web services through local policy specifications. A primary focus of the work is web services workflow-related issues. It has become increasingly difficult to build services-based systems that can effectively achieve distributed services composition and coordination in increasingly dynamic, uncertain and error-prone open system environments. The research will develop one model which can provide a means for specifying the interactive behavior of the underlying services to align their capabilities according to the requirements of their owners and consumers. The policy enforced Web services composition can be an important conduit for information and event sharing in smart environments. The project will enable students at ASU to experiment with various aspects of information and Web services management, thereby increasing students' awareness of learning, computation, and research issues. The Center for Cognitive Ubiquitous Computing (CUBIC) at ASU will work closely with the PI and his development partner, Microchip Technology Inc, to test and disseminate prototype technologies, such as smart and aware environments.