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.
|Number of pages||17|
|Journal||Science of Computer Programming|
|Early online date||9 Apr 2011|
|Publication status||Published - Mar 2013|
Ireland, A., Grov, G., Llano Rodriguez, M. T., & Butler, M. (2013). Reasoned modelling critics: turning failed proofs into modelling guidance. Science of Computer Programming, 78(3), 293–309. http://dx.doi.org/10.1016/j.scico.2011.03.006