•LOC:
•allows early constraint specification
and analysis, even before they can be fully evaluated
•is interpreted over structures similar
to simulation runs
•specifies naturally typical constraints
•can be checked by simulation and formal techniques
•Possible
extensions
•more than one variable, quantifiers,
finite traces, temporal operators, ...