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.
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〉
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
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〉
