| HAL-Inria | Publications, software ... of Inria's scientists |
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.
Cited literature [5 references]
https://hal.inria.fr/hal-01055395
Contributor : Hal Ifip <>
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
Contributor : Hal Ifip <>
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