A Specification-based QoS-Aware Design

Framework for Service-based Applications

WSSL Specifications for the Motivating Scenario

Implementation:

• WSSL XML Schema (v4.0)
• WSSL/SDF: Enhanced FLUX kernel for Composition/Verification/Discovery
• WSSL/SDF (Eclipse Project)
• WSSL/TOOLS (Eclipse Project)