%0 Conference Proceedings
%T Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems
%+ National Institute of Informatics (NII)
%+ Mitsubishi Research Institute, Inc.
%+ Hitachi Software Engineering Co., Ltd.
%A Nakajima, Shin
%A Ishiguro, Masaki
%A Tanaka, Kazuyuki
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS)
%C Waidhofen/Ybbs, Austria
%Y Sang Lyul Min; Robert Pettit; Peter Puschner; Theo Ungerer
%I Springer
%3 Software Technologies for Embedded and Ubiquitous Systems
%V LNCS-6399
%P 83-94
%8 2010-10-13
%D 2010
%R 10.1007/978-3-642-16256-5_10
%K Requirements
%K Validation
%K Model-Checking
%K Maude
%Z Computer Science [cs]/Digital Libraries [cs.DL]Conference papers
%X 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.
%G English
%2 https://inria.hal.science/hal-01055395/document
%2 https://inria.hal.science/hal-01055395/file/seus2010A.pdf
%L hal-01055395
%U https://inria.hal.science/hal-01055395
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-AICT
%~ IFIP-LNCS-6399
%~ IFIP-TC
%~ IFIP-TC10
%~ IFIP-2010
%~ IFIP-SEUS
%~ IFIP-WG10-2