Diploma Thesis. Dipartimento di Scienze dell'Informazione, Università degli Studi di Milano, Italy, 1990/91. In Italian.
Abstract: In this thesis, in the perspective of providing a support environment for OBJSA nets, a prototypical version of an user interface is specified and implemented. OBJSA nets are a specification language for real systems based on the combination of Petri nets and algebraic specification techniques. Hence an user, to give the specification of an OBJSA net, has to provide a couple consisting of a net and of an object, obtained by instantiating some OBJSA-built-in parameterized modules with few information. The prototype of user interface, presented in the thesis, guides the user in providing the necessary information.
Keywords: specification (and) implementation (of) user interface (for) OBJSA net language; superposed automata net; OBJ language; user interface; algebraic specification.