Dia 1

1
Debug in Compose
Ing Rolf Huisman
2
Index

• Composition filters
• Debugging
• Debugging composition filters
• Continuation

3
Composition filters

• Composition filters (today) means Compose
• So, problems using Compose
• Compse doesnt support it or incorrectly
• Made a typo in the name
• Using a wrong selector
• Implemented something the wrong way
• Implemented a filter annomaly
• Didnt us the right gramar
• Visual Studio

4
Composition filters

• Composition filters (today) means Compose
• So, problems using Compose
• Compse doesnt support it or incorrectly
• Made a typo in the name
• Using a wrong selector
• Implemented something the wrong way
• Implemented a filter annomaly
• Didnt us the right gramar
• Visual Studio

5
Composition filters

• Composition filters (today) means Compose
• So, problems using Compose
• Compse doesnt support it or incorrectly
• Made a typo in the name
• Using a wrong selector
• Implemented something the wrong way
• Implemented a filter annomaly
• Didnt us the right gramar
• Visual Studio

6
Composition Filters

• Essence
• Making the runtime behavior clear so it can
  reflected on the code
• And that where debugging comes into play

7
Debugging

• Architecture

8
Debugger

• Representation of the state/code
• What does a composition filter look like ?
• Representation breakpoint
• How do you specify (a) certain state(s) ?

9
Debugging Composition Filters

• Many Representations filters

10
Debugging Composition Filters

• Nice representations but unclear State

11
Debugging Composition Filters

• So made other representations
• Inline
• Like AspectJ

12
Debugging Composition Filters

• So made other representations
• Vortex
• Not workable

13
Debugging Composition Filters

• So made other representations
• Coffee filter
• Pack man

14
Debugging Composition Filters

• So made other representations
• Face the music
• Nice time aspect

15
Debugging Composition Filters

• Current Prototype
• ltDemogt

16
Murphy page

• In case the demo doesnt work

17
Debugging Composition Filters

• Breakpoints
• Overkill of events
• Need to express filter events at runtime
• Regular expressions
• LTL
• SQL
• ?

18
Debugging Compositional filters

• Using regular expressions as breakpoint
• When a sequence arrives catch
• E.g. (A -gt B)(B -gt C)
• If Class A sends a message to B and later B to C
  catch that last message

19
Debugging Compositional filters

• LTL Linear Temporal Logic
• Just declare assertions
• E.g. (A-gt B) gt X (B-gt C)
• If Class A sends a message to B, B must send a
  message to C. If it doesnt, show what happens.

20
Debugging Compositional filters

• SQL(like)
• Define conditions
• E.g. select message from composestar where
  sourceA AND targetB

21
Continuation

• Expanding prototype
• Look more into conditional breakpoints