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.
https://hal.inria.fr/hal-01055395 Contributor : Hal IfipConnect 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
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⟩