For the most recent entries see the Petri Nets Newsletter.

Specification and Prototypical Implementation of a User Interface for OBJSA Nets Languages.

Bramini, David

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography