By Topic

A new modeling method of component interaction behavior

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
$31 $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)
Gao Jing ; Sch. of Comput. Sci. & Technol., Beihang Univ., Beijing ; Lan Yuqing ; Guo Shuhang ; Jin Maozhong
more authors

The behavioral semantics of component interfaces plays a significant role in the reuse, integration, validation and maintenance of components. However, the interface description specification of COTS component usually only contains syntax information, and lacks behavioral semantics information. This paper presents a method, called EKBehavior, for incrementally inferring a behavior model that represents the interplay between variable values and method invocations. EKBehavior extends the KBehavior algorithm for extracting finite state automata from execution traces, to the case of finite state automata with parameters. Popular dynamic analysis techniques synthesize either information on the values of the variables or information on relations between invocations of methods. Thus, these approaches do not capture the important relations that exist between data values and invocation sequences. Compared with the existing techniques, method generates model that represents the sequence constraints of invocations of methods, constraints of variable values, and the relations between variable values and method invocations.

Published in:

Intelligent Control and Automation, 2008. WCICA 2008. 7th World Congress on

Date of Conference:

25-27 June 2008