Loading...
Please wait, while we are loading the content...
Similar Documents
Compositional verification of events and observers: (summary)
| Content Provider | ACM Digital Library |
|---|---|
| Author | Disenfeld, Cynthia Katz, Shmuel |
| Abstract | By distinguishing between events and aspects, it is possible to separate the problem of identifying when an aspect should be applied, from what it must do. Observers (aspects that do not affect the state of the base system) are already part of aspect-oriented programming and language support is emerging for events that gather information and announce occurrence. The goal of compositional verification of events and observers is to prove that they are correct so that their guarantees may be used by other events or aspects. Moreover, a compositional verification model allows applying formal verification techniques in smaller models, and also building a library of events, in which for any base system that satisfies certain assumptions, the event detection will satisfy its guarantees. In this work compositional verification of events and observers will be defined to aid in the design of a framework that allows users to verify events, providing as well flexibility in the input language of the specification. |
| Starting Page | 1 |
| Ending Page | 5 |
| Page Count | 5 |
| File Format | |
| ISBN | 9781450306447 |
| DOI | 10.1145/1960510.1960512 |
| Language | English |
| Publisher | Association for Computing Machinery (ACM) |
| Publisher Date | 2011-03-21 |
| Publisher Place | New York |
| Access Restriction | Subscribed |
| Subject Keyword | Composition Events Observer aspects Verification |
| Content Type | Text |
| Resource Type | Article |
