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.

-- DanielAmyot - 05 Jan 2010


  • Please feel free to discuss this article directly on this page. Constructive comments are welcomed! Please sign your TWiki name.

FormForVirtualLibrary 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
Publisher IEEE
Month July
Year 2008
Pages 184-189
Keywords UCM, Protocol State Machine (PSM), Component model, verification, B method
Topic attachments
I Attachment Action Size Date Who Comment
RIVF08.pdfpdf RIVF08.pdf manage 131 K 05 Jan 2010 - 09:16 DanielAmyot Pre-publication version
Topic revision: r1 - 05 Jan 2010, DanielAmyot
This site is powered by FoswikiCopyright © by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding Foswiki? Send feedback