By Topic

Refinement of UML Interaction for Correct Embedded System Design

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

5 Author(s)
Xiaojian Liu ; Inst. of Autom., Shandong Acad. of Sci., Jinan ; Xuejun Liu ; Jianxin Li ; Yanzhi Zhao
more authors

Correctness is the crucial issue in the design of safety-critical embedded systems. In order to guarantee the correct system design, a restricted refinement relation is represented in this paper for UML Interaction models.Both the basic and the combined interactions are defined in terms of partially ordered multisets formalism, from which the trace semantics is derived. A number of algebraic refinement laws are provided, allowing us to refine an abstract Interaction model in a compositional way. We also justify the proposed refinement relation by proving that it implies both action refinement of event structures and trace refinement of CSP.

Published in:

Young Computer Scientists, 2008. ICYCS 2008. The 9th International Conference for

Date of Conference:

18-21 Nov. 2008