Modeldriven QoS Assurance for QoSenabled Middleware

1
Model-driven QoS Assurance for QoS-enabled
Middleware

• Douglas C. Schmidt, ISIS, Vanderbilt

Integration of Model-Checking in Model-Based
QoS-enabled Component Middleware

• NEW IDEAS
• Define domain-specific modeling languages (DSMLs)
  for mapping platform-independent QoS policies to
  platform-specific QoS options
• Platform-Independent Component Modeling Language
  (PICML)
• Component QoS Modeling Language (CQML)
• Use model transformations to automate the mapping
  from platform-independent to platform-specific
• Graph Rewriting Transformation (GReAT) tool
• Use model-checking to validate QoS option
  configurations dependencies
• Bogor modeling tool

Analysis Tools

• MILITARY IMPACT
• Ensure consistent operational behavior across
  distributed communities of interest
• Ensure critical resources are available to
  provide planners commanders relevant
  information when needed
• Lack of effective QoS configuration tools result
  in QoS policy mis-configurations that are hard to
  analyze debug
• Provide model-driven engineering (MDE) tools for
  system architects to perform functional QoS
  co-design
• Functionality QoS are highly dependent,
  particularly in heterogeneous DRE systems
• Our DSMLs MDE tools facilitate automation

PROJECT SCHEDULE/MILESTONES
1 (June 2006) Project Kickoff. 2 (June
2007) QUICKER DSML tools in Real-time CCM
context, demo basic modeling capabilities. 3
(June 2008) Enhancement of QUICKER to optimize
hierarchical component assemblies. Focus
impact of optimizations in homogeneous
context. 4 (June 2009) Demonstration of
QUICKER tools optimization techniques in
CCM DDS context. Focus impact of
optimizations in heterogeneous contexts.