A Graph-based Operational Semantics for a Machine Model with Actor-based Concurrency

TitleA Graph-based Operational Semantics for a Machine Model with Actor-based Concurrency
Publication TypeWorkshop Paper
AuthorsMolderez, T, Schippers H, Janssens D
Workshop Name8th BElgian-NEtherlands software eVOLution seminar (BENEVOL 2009)
Place PublishedLouvain-la-Neuve, Belgium
Year of Publication2009
Publication Languageeng
Abstract

This paper introduces an extension to an existing delegation-based machine model that offers support for multi- dimensional separation of concerns (MDSOC). More specifically, we add concurrency primitives based on the well- known actor model of computation and specify an operational semantics for this extended machine model using graph rewrite rules. Apart from being inherently suitable for dealing with parallelism, graph rewriting has the advantage of decent tool support, allowing for visual simulation. We validate our work by demonstrating a practical example in which the concurrency primitives are combined with existing MDSOC features.

URLhttp://win.ua.ac.be/ tmolder/documents/Graph-based\_MDSoC\_Machine\_Model-BNEVOL2009.pdf