2010 | OriginalPaper | Chapter
Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems
Authors : Shin Nakajima, Masaki Ishiguro, Kazuyuki Tanaka
Published in: Software Technologies for Embedded and Ubiquitous Systems
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
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.