Tools Group

1
Tools Group

• Jeff Gray
• Guenter Kniesel
• Katharina Mehner
• Mark Mahoney
• Roger Alexander

2
Focus Areas

• Aspect Interference
• Visualization of Aspect Models
• State-based Modeling

3
Aspect Interference

• Syntactic Conflicts
• Structural mismatch, name clashes, etc.
• Semantic Conflicts
• Preconditions, Postconditions, Invariants
• Interference occurs in Control and Data
  dependencies
• Protocol - specification of sequence of events
• Does it work after weaving?
• Assertions need to be context dependent and
  context independent

4
Visualization of Aspect Models

• Assertion The model is not the diagram, and the
  diagram is not the model
• The model is the model!
• We dont need Rorschach diagrams!

5
Visualization Tools

• Declarative quantified queries, that yield
• Slices of a model, that are
• Rendered visually and interactively

6
State-based Modeling

• How do we combine state machines?
• Orthogonal models and aspects are easy
• How do we establish relationships between states?
• Sub-state
• Super-state
• Overlapping states
• How do we detect conflicts?