1. Suggestions for TDL Graphical Symbols

2. Package
packagename

3. Comment
text

4. Annotation Type, Annotation
action actionname
action
body
body
actionref actionname
text
actionname
Question: where to define actions?
[ key ]
text

6. Configuration elements
Gate instance
Component instance with gates
Example or
name:type
name:type
name:type
name:type
SUT/TESTER
name:type
gate1:GT1
comp1:CT1
SUT
gate2:GT2

7. TestConfiguration Problem: type definitions must be given somewhere
Proposed: divide the canvas into definitions and test configuration parts

8. Gate type, Gate instance
I know, not the best
Gate instance or
typename interaction messagelist or
name:type
name:type

9. Component type – new MM Component type with gate and timer definitions
name:type
type
Component type with gate and timer definitions
typename
timerlist
name:type
typename
name:type
timerlist
typename
name:type
timers timerlist

10. ComponentInstanceRole
SUT|TESTER

11. Component instance – new MM
name : type
name
Component instance
name : type
SUT|TESTER
name

12. Connection
[ name ]

13. Configuration - new MM [ ] : optional name Test Configuration
ExampleConfig
gate1
comp2:CT1
TESTER
gate1
gate2
SIPconnection
comp1:CT1
SUT
gate2
CONTROLconnection
[ ] : optional name

14. Test Description
Optionally: not only the configuration reference, but the configuration specification itself
The headers of the component/gate lifelines shall be indicated in the behaviour CompoundBehaviour of the TestDescription
The component headers are not part of the “general” CombinedBehaviours, therefore it is adviseable to (re)introduce a special behaviour block in the meta-model instead of a simple CompoundBehaviour
Question: Shall we introduce the notion of lifeline into the meta-model?
Test Description
name (params)
Test Objective [ name ]
Description:
Reference:
Configuration: name

15. Behaviour of TestDescription
Left: all gates of the component (thick lifeline)
Right: gates individually (thin lifelines, gate symbols on top)
Comp1
Comp1 G1 G2

16. Single Combined Behaviour
type
type
[ [ guard ] ]
[ [ guard ] ]
exceptional type

17. Single Combined Behaviour - Compound, Optional
[ [ guard ] ]
[ [ guard ] ]
optional
optional
optional
[ [ guard ] ]
[ [ guard ] ]

18. Single Combined Behaviour - loops
boundedLoop
boundedLoop
Iteration: value
Iteration: value
unboundedLoop
unboundedLoop
[ [ guard ] ]
[ [ guard ] ]

19. Multiple Combined Behaviour
type
type
type: alt, compound, parallel, etc.
Right side version preferable (blocks are not separate objects, they are integrated into CombinedBehaviour
[ [ guard ] ]
[ [ guard ] ]
[ [ guard ] ]
[ [ guard ] ]
exceptional type

20. Multiple Combined Behaviour - alt
[ [ guard ] ]
[ [ guard ] ]
[ [ guard ] ]
[ [ guard ] ]

21. Multiple Combined Behaviour - Conditional
[ guard ]
[ guard ]
[ [ guard ] ]
[ [ guard ] ]

22. Multiple Combined Behaviour - Parallel

23. Atomic Behaviour break stop Can be mixed up with timer stop
pass | fail | inconc
pass | fail | inconc

24. Atomic Behaviour - Actions
action actionname
action
body
body
actionref actionname
actionname
Question: where to define actions?

25. Test Description Reference
ref calledTD ( params )
ref calledTD ( params )
calledTD ( params )

26. Exceptional Behaviour
type
type

27. Exceptional Behaviour – Default, Interrupt
optional

28. Periodic Behaviour
periodic
periodic
period: time
period: time

29. Interactions Point-to-point Point-to-multipoint (broadcast)
Ordering of receiving???

30. Timer Operations – Start, Stop, Timeout
timername (start value)
timername (start value)
timername
timername
timername
timername
timername
timername

31. Time Operations or
Wait
Quiescence
time 5s 5s or
time 5s 5s