ALF meeting May 8 @ CICC

Attendees
---------
Tim Ehrler
Joe Daniels
Steffen Rochel
W.Roethig

work doc review
---------------
* sec 6 (new)
specify: violation within arithmetic model or submodel
in context of LIMIT, not directly within LIMIT

rewording: ..._expression which identifies the VECTOR

* sec 4
draw picture to show analogy between NOISE_MARGIN <-> vil, vih
and NOISE <-> vol, voh.

* sec 3
name bullets "I1", "I2", "I3" as in example

supplementary proposal to sec 3:
define annotation for CURRENT or submodel within CURRENT:
FLOW = "in" | "out" defines the positive sense of measurement
default is "in" (backward compatible with ALF 2.0)

AI draw picture for FLOW - Wolfgang

PAR review
----------
AI double-check 12. with Paul and Dennis
DONE

AI check copyright in 11. with Dennis
DONE

Open discussion
---------------
Proposal: rewrite the grammar according to following principles:
- more specific syntax, simplify semantic restrictions
- Make syntax as specific as possible and use semantics to restrict usage.
  In particular: specify applicable annotations etc in the grammar
  instead of "all_purpose_item"

AI write proposal to that effect - Wolfgang