Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems - Software Technologies for Embedded and Ubiquitous Systems Access content directly
Conference Papers Year : 2010

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.
Fichier principal
Vignette du fichier
seus2010A.pdf (285.03 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

hal-01055395 , version 1 (12-08-2014)

Licence

Attribution

Identifiers

Cite

Shin Nakajima, Masaki Ishiguro, Kazuyuki Tanaka. Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems. 8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.83-94, ⟨10.1007/978-3-642-16256-5_10⟩. ⟨hal-01055395⟩
88 View
100 Download

Altmetric

Share

Gmail Facebook X LinkedIn More