By Topic

A Dynamic-B Metamodel on Model Conformance and Multiview Consistency Checking

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

3 Author(s)
Chen Shu ; Comput. Sci. & Technol. Dept., WuHan Univ., WuHan ; WuGuo Qing ; Xiao Jing

Model driven development is an approach that using modeling languages such as UML or BON to establish requirement models for the complementary of software specification, as well as for further implementation. How ever, a model of a complex systems is always consist of multiple views, such as static views and dynamic views to describe different perspectives of the system, thus may cause inconsistency between them. In this paper, we proposed a meta model in which provides a unifying framework to ensure and check for model consistency, and we use dynamic B, which is a mixture of B method and a concurrent system called CCS, as our foundation to specify our approach. In our approach, single view conformance checking and multiview consistency checking are separated, and we would give examples for demonstration.

Published in:

2008 International Symposium on Information Science and Engineering  (Volume:1 )

Date of Conference:

20-22 Dec. 2008