Abstract
In software engineering, the earlier the detection of faults, the less expensive the correction of faults. This paper proposes an approach for detecting the conformability in component models. It focuses on verifying the internal specification of component interfaces with the maps described the execution of tasks between components. Firstly, protocol state machines (PSMs) associating component interfaces are expressed by B abstract machines. Then, the UCM (Use Case Maps) describing a scenario execution in component interaction is formalised by a B implementation machine. The consistency between UCM and PSMs thus can be automatically validated by B provers. -- Daniel Amyot - 05 Jan 2010Discussion
- Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.
Form For Virtual Library edit
| Title | Consistency between UCM and PSMs in component models |
| Authors | Truong Ninh Thuan, Tran Vu Viet Anh, and Nguyen Viet Ha |
| Type | Conference |
| Conference/Journal Title | IEEE Intern. Conf. on Research, Innovation and Vision for the Future in Computing & Communication Technologies, Addendum Contribution |
| Volume/Number | |
| Editors | |
| Publisher | IEEE |
| Month | July |
| Year | 2008 |
| Pages | 184-189 |
| DOI | |
| Keywords | UCM, Protocol State Machine (PSM), Component model, verification, B method |
| I | Attachment | Action | Size | Date | Who | Comment |
|---|---|---|---|---|---|---|
 pdf |
RIVF08.pdf | manage | 131.5 K | 05 Jan 2010 - 09:16 | Daniel Amyot | Pre-publication version |
Edit | Attach | Print version | History: r1 | Backlinks | Raw View | Raw edit | More topic actions
Topic revision: r1 - 05 Jan 2010 - 09:16:06 - Daniel Amyot
 |
|
Copyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors. Ideas, requests, problems regarding Foswiki? Send feedback