Deriving composite service specifications

Lifecycle Management of Service-based Applications on Multi-Clouds: A Research Roadmap

The Frame Problem in Web Service Specifications

WSSL: A Fluent Calculus-based Language for Web Service Specifications

Fluent Calculus-based Semantic Web Service Composition and Verification using WSSL

Deriving Specifications for Composite Web Services

Towards Realizing Dynamic QoS-aware Web Service Composition

A Novel Specification and Composition Language for Services

Rule-based Real-Time Activity Recognition in a Smart Home Environment