Presentation | 2010/5/20 Rewriting Logic Approach to Separating Policy Rules from Behavioral Specification Xiaoxi DONG, Shin NAKAJIMA, |
---|---|
PDF Download Page | PDF download Page Link |
Abstract(in Japanese) | (See Japanese page) |
Abstract(in English) | Requirements of open systems involve constraints not only on system functionalities but also on client behavior. Ideally, clients are supposed to follow the policy rules derived from such constraints. However, when this assumption is not true, the system might fall into abnormal status. Furthermore, policy rules may be changed even after service-in, and knowing before-hand whether the system is robust or not in accordance with such changes is desirable. This paper proposes a framework for system description in which client behavior and policy rules are explicitly separated, which is encoded in rewriting logic proposed by J. Meseguer. |
Keyword(in Japanese) | (See Japanese page) |
Keyword(in English) | System Requirements / Policy Rules / Validation / Rapid Prototyping |
Paper # | KBSE2010-11,SS2010-11 |
Date of Issue |
Conference Information | |
Committee | KBSE |
---|---|
Conference Date | 2010/5/20(1days) |
Place (in Japanese) | (See Japanese page) |
Place (in English) | |
Topics (in Japanese) | (See Japanese page) |
Topics (in English) | |
Chair | |
Vice Chair | |
Secretary | |
Assistant |
Paper Information | |
Registration To | Knowledge-Based Software Engineering (KBSE) |
---|---|
Language | ENG |
Title (in Japanese) | (See Japanese page) |
Sub Title (in Japanese) | (See Japanese page) |
Title (in English) | Rewriting Logic Approach to Separating Policy Rules from Behavioral Specification |
Sub Title (in English) | |
Keyword(1) | System Requirements |
Keyword(2) | Policy Rules |
Keyword(3) | Validation |
Keyword(4) | Rapid Prototyping |
1st Author's Name | Xiaoxi DONG |
1st Author's Affiliation | National Institute of Informatics() |
2nd Author's Name | Shin NAKAJIMA |
2nd Author's Affiliation | National Institute of Informatics |
Date | 2010/5/20 |
Paper # | KBSE2010-11,SS2010-11 |
Volume (vol) | vol.110 |
Number (no) | 61 |
Page | pp.pp.- |
#Pages | 6 |
Date of Issue |