Action-based programming community

Demos, publications, thesis, etc.

Action processor simulator by Hannu-Matti Järvinen

Action processor simulator and slides about action-based computing can be found at the page http://www.cs.tut.fi/~hmj/Actions/. The slides were for seminar "Action-based Computing" at Tampere University of Technology, Spring 2014 and the action processor simulator was used in demos made by the students.

Pre-prosessor for action processor simulator by Anna Sokolinskaya

Anna Sokolinskaya's MSc Thesis Experimental pre-processor for Action-based computing is available at http://urn.fi/URN:NBN:fi:tty-201605254091. The software developed for the thesis is for research purpose only, and offered as it is without any warranty: sokolinskaya-actionparser.zip.

Programming example by Heikki Virtanen

This simple GNU Emacs add-on (https://github.com/hessuvi/autogit-mode) is a tiny demonstration how verification modelling and visual verification can be used as basis in software development. There is a state machine describing the behaviour of the system and it is simulated and implementation details added in Emacs-lisp.

Selected publications

Antti Jääskeläinen, Hannu-Matti Jarvinen, and Heikki Virtanen: Action-Based Visualization. VISSOFT 2014. (http://dx.doi.org/10.1109/VISSOFT.2014.13)
Hannu-Matti Järvinen: Actions, Objects, and Subjects. PDPTA 2013. (http://worldcomp-proceedings.com/proc/p2013/PDP3441.pdf.)

Other publications by community members

Hannu-Matti Järvinen: Google Scholar profile.

Antti Jääskeläinen in computer science bibliography.

Heikki Virtanen in computer science bibliography.