Nettsider med emneord «live sequence charts»

Publisert 23. aug. 2017 10:36

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).

See project link. Ask for discussions with one of the supervisors, for more information or variations of the project. See also general concerns.