By Topic

Conformance checking of component-based systems for scenario-based specifications

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Jun Zheng ; Quality Engineering Technology Center, China Aeronautics Polytechnology Establishment, Beijing, China ; Dajuan Fan ; Zhiqiu Huang ; Qing Li

Global interaction specifications define the rules that participating components should respect in their interaction with the aim of guaranteeing correct interoperability in the requirement phase. The design model of a particular component gives the communicative behavior from the point of view of that component in the design phase. In this paper, the global interaction specifications are specified by UML sequence diagrams from which we can derive all the specification models of participating components specified by FSM models. We propose a novel conformance relation between the specification model and the design model of a component. The conformance relation distinguishes two kinds of non-determinism in FSM models and guarantees stuck-freeness of systems in which interacting components are individually proved conformant to the same global interaction specifications.

Published in:

2011 IEEE 2nd International Conference on Software Engineering and Service Science

Date of Conference:

15-17 July 2011