By Topic

An approach to formally modeling the component-based e-commerce system

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

2 Author(s)
Xianli Jin ; Beijing Key Lab. of Intelligent Telecommun. Software & Multimedia, Beijing Univ. of Posts & Telecommun., China ; Huadong Ma

Component based development technique is often used to develop various complex software systems, especially in e-commerce system, due to its flexibility and efficiency. But such a system must provide a mechanism with which developers can easily manipulate the underlying structures to meet the application requirements, in particular in the real time and safety properties. This paper proposes a new method for formally modeling the component based e-commerce system using hierarchical timed automata, which use hierarchical structures to organize the design schemes in different levels of an e-commerce system. In addition, we analyze the modeling process of a micropayment system as a case. Compared with previous works, our approach can formally model the e-commerce system in a hierarchical and uniform framework.

Published in:

Service-Oriented System Engineering, 2005. SOSE 2005. IEEE International Workshop

Date of Conference:

20-21 Oct. 2005