Abstract
The activities of formal modelling and reasoning are closely related. But while the rigour of building formal models brings significant benefits, formal reasoning remains a major barrier to the wider acceptance of formalism within design. Here we propose reasoned modelling critics — an approach which aims to abstract away from the complexities of low-level proof obligations, and provide high-level modelling guidance to designers when proofs fail. Inspired by proof planning critics, the technique combines proof-failure analysis with modelling heuristics. Here, we present the details of our proposal, implement them in a prototype and outline future plans.
| Original language | English |
|---|---|
| Pages (from-to) | 293–309 |
| Number of pages | 17 |
| Journal | Science of Computer Programming |
| Volume | 78 |
| Issue number | 3 |
| Early online date | 9 Apr 2011 |
| Publication status | Published - Mar 2013 |