Proposed new structure for semantics chapter
This is my proposal for the semantics chapter, based on our previous meeting:
There are three main sections:
- Introduction etc. Noting that, in case of conflict, the trace semantics wins.
- Trace version of the Semantics
- Operational version of the Semantics (as much of it as we can do)
Then, within 2. Trace Semantics and 3. Operational Semantics Aspects, we would have mirrored subsections:
2.1 General Semantics Introductions
2.1.1: What is a scenario specification
2.1.2: What is a trace
2.1.3: What is a system state
2.2. Actions: giving a definition of what semantics for actions look like. Point to an appendix with all?
2.3 Scenario composition: giving a definition for trace acceptance for one_of, sequence, parallel, mix
2.4 Constraints: introducing the concept of constraints
2.5 Events: introducing the concept of events
2.6 Modifiers: introducing modifiers:
2.6.1 atomic modifiers: just describe them textually, as precisely as possible, possibly supported with mathematics where necessary. (→ define them in the Domain Model chapter?)
2.6.2 general modifiers such as “until” go in this chapter.
2.6.3 “special modifiers”
2.6.4 user-defined modifiers: can be constructed from constraints
2.7 Coverage and The Rest (tbc)
Then, in each of these subsections, I would propose three things: a) a definition of the semantics b) a few example scripts c) a few example traces (good and bad!)
---- OLD NOTES: ----
Semantics Chapter Outline
-
General things
-
Specification
-
Trace
-
State
-
-
(Composed) Scenarios
- composition operators: serial, parallel, one_of, ...
-
Actions
- built-in action go here: e.g. emit,
-
Domain model actions → define them in the Domain Model chapter(s)
-
Constraints
-
Events
-
Modifiers
-
atomic modifiers: just describe them textually, as precisely as possible, possibly supported with mathematics where necessary. (→ define them in the Domain Model chapter?)
-
general modifiers such as “until” go in this chapter.
-
“special modifiers”
-
user-defined modifiers: can be constructed from constraints
-
-
Coverage