Rapid Prototyping and Animation of Z Specifications Using {LOG}

CRISTIÁ, MAXIMILIANO; ROSSI, GIANFRANCO

Toulouse

Workshop; 1st International Workshop about Sets and Tools (SETS 2014); 2014

Prolog has been proposed as the programming language on which animation andprototyping of Z specifications should be based. However, we believe there is stillroom for improvements. In this paper, we want to revisit this issue in the light of apowerful, set-oriented constraint programming language like {log} (pronounced'setlog'). In particular, we pay attention to three points that we think are crucial:finding solutions to complex state predicates; defining formal criteria for guidingan evaluation process based on prototypes; and automatically adding graphical userinterfaces to prototypes generated from Z specifications. Three examples ofinformation systems prototypes are available online.