Marco Baldassari

Learn More
The PROTOB object-oriented methodology for the executable specification of large-scale event-driven systems is introduced and described. Two supporting features of PROTOB are also presented: the graphic and textual language that formally describes the behaviour of objects, which is based on highlevel Petri nets called “PROT nets” and which is demonstrated(More)
  • 1