【24h】

A Logic-based Formalism for Pervasive Workflow

机译:基于逻辑的逻辑形式主义,用于普及工作流程

获取原文

摘要

Pervasive computing is an effort towards achieving the vision of an invisible computing fabric around us [1, 2]. For effective management of such pervasive systems we need a way to capture the dynamic environment around us and provide adaptive systems that proactively tailor themselves depending upon specific contexts such as location, time, and other parameters. In other words, individual services are embedded ubiquitously in such pervasive systems and the need is to compose them so as to achieve specific user requirements. We find that Service-Oriented Architecture (SOA) is particularly appropriate for modelling such pervasive workflows. Web service composition in the SOA paradigm is a widely researched issue for the past few years which have introduced new thoughts and approaches to this problem. Dustdar et al. [8] reveals the intrinsic problems, complexities and limitations of the topic. From the perspective of the user we can classify the problem of service composition into two broad categories: (i) task-based and (ii) event-based. Most previous works have focused on the former assuming a given "task-template" [3, 4]. Service composition engines reformat user-requests into abstract well-defined task templates that are framed as a graph of abstract services. These abstract services are the sub goals that constitute a global goal to be achieved in the best way through a service composition process. However, a task-template requires prior understanding of the specific input and output requirements of each of the abstract sub services. In a dynamic pervasive environment such prior understanding is not always possible owing to the characteristic uncertainty of the tasks themselves and hence they cannot be modeled as a goal for a service composition process.
机译:普遍的计算是努力实现我们周围的隐形计算面料的愿景[1,2]。为了有效管理这种普遍的系统,我们需要一种方法来捕获我们周围的动态环境,并提供自动定制自身的自适应系统,这取决于诸如位置,时间和其他参数的特定上下文。换句话说,个人服务在这种普遍的系统中覆盖普遍存在,需要构成它们以实现特定的用户要求。我们发现面向服务的架构(SOA)特别适合建模这种普遍存在的工作流程。 SOA范例中的Web服务组成是过去几年中的一个广泛研究的问题,这引起了这个问题的新思想和方法。 Dustdar等人。 [8]揭示了主题的内在问题,复杂性和局限性。从用户的角度来看,我们可以将服务组合问题分为两种广泛类别:(i)基于任务和(ii)基于事件的基于事件。最先前的作品专注于前者假设给定的“任务模板”[3,4]。服务构成引擎将用户请求重新格式化为抽象定义的任务模板,该模板被构成为抽象服务的图表。这些抽象服务是构成通过服务成分过程以最佳方式实现的全球目标的子目标。但是,任务模板需要先前了解每个抽象子服务的特定输入和输出要求。在动态的普遍存在环境中,由于任务本身的特征不确定性,并不总是可以始终如一的理解,因此它们不能被建模为服务成分过程的目标。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号