Javier Cámara & Gwen Salaün & Carlos Canal of Department of University of Malaga, Spain-优快云博客

本文探讨了在泛在计算环境中服务的行为自我适应及其在运行时的组合与适应方法。研究通过将组件和服务的行为建模为标记转换系统(LTS)，实现了不同行为接口之间的动态匹配与调整。介绍了几种关键的技术方案，包括基于上下文的行为接口适应、运行时组件组合及适应等。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

Gwen Salaün :http://www.lcc.uma.es/~salaun/

Department of Computer Science, University of Malaga, Malaga, Spain

Research areas: formal methods, specification and verification, composition and adaptation of components and services.

Carlos Canal :http://www.lcc.uma.es/~canal/index_eng.html

Behavioural Self-Adaptation of Services in Ubiquitous Computing Environments, Javier Cámara, Carlos Canal, Gwen Salaün, SEAMS'09, May 2009, Vancouver, Canada. To appear.

Composition and Run-time Adaptation of Mismatching Behavioural Interfaces, Javier Cámara, Gwen Salaün, Carlos Canal, JUCS, 14(13):2182--2211, October 2008.(09sciencedirect)

Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems:Javier Cámara, Carlos Canal, Gwen Salaün . Electr. Notes Theor. Comput. Sci. 215: 111-130 (2008) (09sciencedirect)

注：We choose to specify behavioural interfaces using Labelled Transition Systems (LTSs) as notation.在这几篇论文中把组件的行为建模成 LTS，这中方法在Jyotishman Pathak & Vasant Honavar & Robyn R. Lutz of Iowa State University 及相关论文中使用过，区别是前者使用的是组件后者使用的是service

Context-Based Adaptation of Component Behavioural Interfaces: Javier Cubo, Gwen Salaün, Javier Cámara, Carlos Canal, Ernesto Pimentel. COORDINATION 2007: 305-323

Run-time Composition and Adaptation of Mismatching Behavioural Transactions: Javier Cámara, Gwen Salaün, Carlos Canal: . SEFM 2007: 381-390

Dynamic Contextual Adaptation: Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel:. Electr. Notes Theor. Comput. Sci. 175(2): 81-95 (2007)

转载于:https://www.cnblogs.com/lqcdkj/archive/2009/05/05/1450202.html