Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems

Abstract : Requirements of open systems involve constraints on clients behavior as well as system functionalities. Clients are supposed to follow policy rules derived from such constraints. Otherwise, the system as a whole might fall into undesired situations. This paper proposes a framework for system description in which client behavior and policy rules are explicitly separated. The description is encoded in Maude so that advanced analysis techniques such as LTL model-checking are applied to reason about the system properties.
Type de document :
Communication dans un congrès
Sang Lyul Min; Robert Pettit; Peter Puschner; Theo Ungerer. 8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. Springer, Lecture Notes in Computer Science, LNCS-6399, pp.83-94, 2010, Software Technologies for Embedded and Ubiquitous Systems. 〈10.1007/978-3-642-16256-5_10〉
Liste complète des métadonnées

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

https://hal.inria.fr/hal-01055395
Contributeur : Hal Ifip <>
Soumis le : mardi 12 août 2014 - 15:28:14
Dernière modification le : samedi 16 décembre 2017 - 06:54:03
Document(s) archivé(s) le : mercredi 26 novembre 2014 - 23:11:18

Fichier

seus2010A.pdf
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Shin Nakajima, Masaki Ishiguro, Kazuyuki Tanaka. Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems. Sang Lyul Min; Robert Pettit; Peter Puschner; Theo Ungerer. 8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. Springer, Lecture Notes in Computer Science, LNCS-6399, pp.83-94, 2010, Software Technologies for Embedded and Ubiquitous Systems. 〈10.1007/978-3-642-16256-5_10〉. 〈hal-01055395〉

Partager

Métriques

Consultations de la notice

184

Téléchargements de fichiers

76