Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

Cited literature [5 references]  Display  Hide  Download

https://hal.inria.fr/hal-01055395
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Tuesday, August 12, 2014 - 3:28:14 PM
Last modification on : Thursday, March 5, 2020 - 5:40:50 PM
Long-term archiving on: : Wednesday, November 26, 2014 - 11:11:18 PM

File

seus2010A.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

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⟩

Share

Metrics

Record views

272

Files downloads

259