Ticket #66 (new feature)
implement static analysis of refinements
| Reported by: | till | Owned by: | mcodescu |
|---|---|---|---|
| Priority: | critical | Milestone: | 0.95 |
| Component: | development-graph | Version: | 0.66 |
| Keywords: | Cc: | tarlecki@… |
Description (last modified by luecke) (diff)
For the refinement language (syntax and semantics), see T. Mossakowski and D. Sannella and A.Tarlecki, A simple refinement language for CASL, WADT 2004, LNCS 3423, p. 162-185, 2005.
The parser has already been implemented; the static semantics is missing. Note that at this stage, behavioural refinement is not supported yet (therefore "simple refinement").
The extended static semantics of CASL architectural specification needs to be changed; see discussions with Andrzej Tarlecki.
Change History
Note: See
TracTickets for help on using
tickets.
