Visualization of Asynchronously Communicating Objects
This master topic studies techniques to mine open source software in order to construct models of the software in the ABS modeling language .
ABS is a modelling language specialized for distributed systems, focusing on executable object.oriented models. ABS supports flexible concurrency and synchronization mechanisms based on actor-like asynchronous communication (similar to Erlang and Scala's Akka library).
In this thesis, the student will survey techniques for visualizing the asynchronous communication of objects while the model is executing.