| Presentation | 2000/1/18 A specification language for reactive systems and characterization of specification refinements in reactive systems Kenji Yamashita, Vaithinathan Vanitha, Kimiyuki Fukuzawa, Naoki Yonezaki, |
|---|---|
| PDF Download Page | PDF download Page Link |
| Abstract(in Japanese) | (See Japanese page) |
| Abstract(in English) | Generally, on the process of developing specifications we refine the specification from abstract level to concrete one step by step through trial and error. If the original specification has a good property, it is desirable to refine the specification withouto losing the property.In this paper, we introduce a specification language for reactive systems and descrive an example. The language is object-oriented and a body of a specification is described using a temporal logic. Moreover we introduce formal semantics of operations on specification. We also consider the algebraic laws which hold among such a sequence of the operations. |
| Keyword(in Japanese) | (See Japanese page) |
| Keyword(in English) | Refinement / Specification Language / Temporal Logic / Reactive System |
| Paper # | SS99-55 |
| Date of Issue |
| Conference Information | |
| Committee | SS |
|---|---|
| Conference Date | 2000/1/18(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 | Software Science (SS) |
|---|---|
| Language | JPN |
| Title (in Japanese) | (See Japanese page) |
| Sub Title (in Japanese) | (See Japanese page) |
| Title (in English) | A specification language for reactive systems and characterization of specification refinements in reactive systems |
| Sub Title (in English) | |
| Keyword(1) | Refinement |
| Keyword(2) | Specification Language |
| Keyword(3) | Temporal Logic |
| Keyword(4) | Reactive System |
| 1st Author's Name | Kenji Yamashita |
| 1st Author's Affiliation | Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology() |
| 2nd Author's Name | Vaithinathan Vanitha |
| 2nd Author's Affiliation | Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology |
| 3rd Author's Name | Kimiyuki Fukuzawa |
| 3rd Author's Affiliation | Department of Computer Science, Tokyo Institute of Technology |
| 4th Author's Name | Naoki Yonezaki |
| 4th Author's Affiliation | Department of Computer Science, Graduate School of Information Science and Engineering, Tokyo Institute of Technology |
| Date | 2000/1/18 |
| Paper # | SS99-55 |
| Volume (vol) | vol.99 |
| Number (no) | 547 |
| Page | pp.pp.- |
| #Pages | 8 |
| Date of Issue | |