A Model to Design and Verify Context-Aware Adaptive Service Composition
A Model to Design and Verify Context-Aware Adaptive Service Composition
复制标题
DOI：
10.1109/scc.2009.61
复制
发表时间：
2009-09
期刊：
影响因子：
--
通讯作者：
Javier Cubo;M. Sama;F. Raimondi;David S. Rosenblum
中科院分区：
文献类型：
--
作者：
Javier Cubo;M. Sama;F. Raimondi;David S. Rosenblum
在Web服务组合中引入移动客户端和上下文感知行为可能会产生错误和不一致。我们引入了一个组合模型的扩展，其中上下文感知是显式的，并且许多正确性属性是可验证的。特别是，我们的扩展模型支持验证通常用于验证依赖于上下文的应用程序的属性。我们还提出了一套算法来有效地验证这些属性。
The introduction of mobile clients and context-aware behaviors into Web Service compositions may generate faults and inconsistencies. We introduce an extension of a composition model where context-awareness is made explicit and a number of correctness properties are verifiable. In particular, our extended model enables the verification of properties commonly used to validate context dependent applications. We also propose a set of algorithms to verify these properties efficiently.