Fysikkbygningen øst (kart)
Sem Sælands vei 24
This project involves understanding Live Sequence Charts (see the book Come, Let’s Play of David Harel and Rami Marelly; available also for download) and the associated tool set Play-Engine. One can check a similar master outcome at the IFI Library. Live Sequence Charts are a formalism for modeling concurrent/parallel systems; and may be familiar to the Message Sequence Charts of UML and to the older formalism for concurrent and reactive systems Statecharts (see the book and the commercial tool Statemate).