Recursive Advice for Coordination

Michal Tomasz Terepeta; Hanne Riis Nielson; Flemming Nielson

doi:10.1007/978-3-642-30829-1_10

Recursive Advice for Coordination

Michal Tomasz Terepeta, Hanne Riis Nielson, Flemming Nielson

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Abstract

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 language	English
Title of host publication	Coordination Models and Languages : 14th International Conference, COORDINATION 2012 Stockholm, Sweden, June 14-15, 2012 Proceedings
Editors	Marjan Sirjani
Publication date	2012
Pages	137-151
ISBN (Print)	978-3-642-30828-4
ISBN (Electronic)	978-3-642-30829-1
DOIs	https://doi.org/10.1007/978-3-642-30829-1_10
Publication status	Published - 2012
Event	14th International Conference on Coordination Models and Languages - Stockholm, Sweden Duration: 14 Jun 2012 → 15 Jun 2012 http://www.coordination2012.org/

Conference

Conference	14th International Conference on Coordination Models and Languages
Country/Territory	Sweden
City	Stockholm
Period	14/06/2012 → 15/06/2012
Internet address	http://www.coordination2012.org/

Series	Lecture Notes in Computer Science
Number	7274
ISSN	0302-9743

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.

Access to Document

10.1007/978-3-642-30829-1_10

OpenUrl availability

Full text

Cite this

@inproceedings{b5a9f64786a145bf84da7b806148fbe8,

title = "Recursive Advice for Coordination",

abstract = "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.",

author = "Terepeta, {Michal Tomasz} and Nielson, {Hanne Riis} and Flemming Nielson",

note = "The research presented in this paper has been supported by MT-LAB, a VKR Centre of Excellence for the Modelling of Information Technology.; 14th International Conference on Coordination Models and Languages, COORDINATION 2012 ; Conference date: 14-06-2012 Through 15-06-2012",

year = "2012",

doi = "10.1007/978-3-642-30829-1_10",

language = "English",

isbn = "978-3-642-30828-4",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

number = "7274",

pages = "137--151",

editor = "Marjan Sirjani",

booktitle = "Coordination Models and Languages",

url = "http://www.coordination2012.org/",

}

Terepeta, MT, Nielson, HR & Nielson, F 2012, Recursive Advice for Coordination. in M Sirjani (ed.), Coordination Models and Languages: 14th International Conference, COORDINATION 2012 Stockholm, Sweden, June 14-15, 2012 Proceedings. Lecture Notes in Computer Science, no. 7274, pp. 137-151, 14th International Conference on Coordination Models and Languages, Stockholm, Sweden, 14/06/2012. https://doi.org/10.1007/978-3-642-30829-1_10

Recursive Advice for Coordination. / Terepeta, Michal Tomasz; Nielson, Hanne Riis; Nielson, Flemming.
Coordination Models and Languages: 14th International Conference, COORDINATION 2012 Stockholm, Sweden, June 14-15, 2012 Proceedings. ed. / Marjan Sirjani. 2012. p. 137-151 (Lecture Notes in Computer Science; No. 7274).

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Recursive Advice for Coordination

AU - Terepeta, Michal Tomasz

AU - Nielson, Hanne Riis

AU - Nielson, Flemming

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

PY - 2012

Y1 - 2012

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

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

U2 - 10.1007/978-3-642-30829-1_10

DO - 10.1007/978-3-642-30829-1_10

M3 - Article in proceedings

SN - 978-3-642-30828-4

T3 - Lecture Notes in Computer Science

SP - 137

EP - 151

BT - Coordination Models and Languages

A2 - Sirjani, Marjan

T2 - 14th International Conference on Coordination Models and Languages

Y2 - 14 June 2012 through 15 June 2012

ER -

Recursive Advice for Coordination

Abstract

Conference

Bibliographical note

Access to Document

OpenUrl availability

Fingerprint

Cite this