Javier Cámara & Gwen Salaün & Carlos Canal of Department of University of Malaga, Spain

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