Home » Authors » Shin Nakajima, Masaki Ishiguro, Kazuyuki Tanaka

Shin Nakajima, Masaki Ishiguro, Kazuyuki Tanaka

Public reference bibliography and cataloged PDF materials authored or published by Shin Nakajima, Masaki Ishiguro, Kazuyuki Tanaka.

Found 1 document(s) Page 1 of 1

Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems

Year: 2010 • Source: hal.science • Listed PDF

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