Recursive Advice for Coordination

Michal Tomasz Terepeta, Hanne Riis Nielson, Flemming Nielson

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review


    Aspect-oriented programming is a programming paradigm that is often praised for the ability to create modular software and separate cross-cutting concerns. Recently aspects have been also considered in the context of coordination languages, offering similar advantages. However, introducing aspects makes analyzing such languages more difficult due to the fact that aspects can be recursive - advice from an aspect must itself be analyzed by aspects - as well as being simultaneously applicable in concurrent threads. Therefore the problem of reachability of various states of a system becomes much more challenging. This is important since ensuring that a system does not contain errors is often equivalent to proving that some states are not reachable. In this paper we show how to solve these challenges by applying a successful technique from the area of software model checking, namely communicating pushdown systems. Even though primarily used for analysis of recursive programs, we are able to adapt them to fit this new context.
    Original languageEnglish
    Title of host publicationCoordination Models and Languages : 14th International Conference, COORDINATION 2012 Stockholm, Sweden, June 14-15, 2012 Proceedings
    EditorsMarjan Sirjani
    Publication date2012
    ISBN (Print)978-3-642-30828-4
    ISBN (Electronic)978-3-642-30829-1
    Publication statusPublished - 2012
    Event14th International Conference on Coordination Models and Languages - Stockholm, Sweden
    Duration: 14 Jun 201215 Jun 2012


    Conference14th International Conference on Coordination Models and Languages
    Internet address
    SeriesLecture Notes in Computer Science

    Bibliographical note

    The research presented in this paper has been supported by MT-LAB, a VKR Centre
    of Excellence for the Modelling of Information Technology.


    Dive into the research topics of 'Recursive Advice for Coordination'. Together they form a unique fingerprint.

    Cite this