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.
Type de document :
Communication dans un congrès
Marjan Sirjani. 14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7274, pp.137-151, 2012, Coordination Models and Languages. 〈10.1007/978-3-642-30829-1_10〉
Liste complète des métadonnées

Littérature citée [16 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01529587
Contributeur : Hal Ifip <>
Soumis le : mercredi 31 mai 2017 - 09:59:51
Dernière modification le : mercredi 31 mai 2017 - 10:00:58
Document(s) archivé(s) le : mercredi 6 septembre 2017 - 14:45:32

Fichier

978-3-642-30829-1_10_Chapter.p...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Michał Terepeta, Hanne Nielson, Flemming Nielson. Recursive Advice for Coordination. Marjan Sirjani. 14th International Conference on Coordination Models and Languages (COORDINATION), Jun 2012, Stockholm, Sweden. Springer, Lecture Notes in Computer Science, LNCS-7274, pp.137-151, 2012, Coordination Models and Languages. 〈10.1007/978-3-642-30829-1_10〉. 〈hal-01529587〉

Partager

Métriques

Consultations de la notice

18

Téléchargements de fichiers

12