By Topic

An Approach to Modeling Hypermedia Web Applications

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)
QIAN Zhong-sheng ; University of Finance and Economics, Nanchang ; MIAO Huai-kou ; HE Tao

In hypermedia Web applications, the coexistence of different interactive styles, of hypermedia features with application operations, of complex information structures with transactions upon them, raises new problems for modelers to require a new modeling paradigm urgently. In this paper, we propose a modeling approach to partly solve the problems. A PFD (page flow diagram) is first constructed. Then, a typed PFD is derived from the initial PFD by associating pages and links with type information. Moreover, an LTS (labeled transition system) provides a convenient way to model the structure and behavior of hypermedia Web applications in a way that avoids issues associated with the implementation. To further model the hypermedia structures precisely, we change/extend some of LTS's constructors and get a typed LTS corresponding to the typed PFD. The typed LTS is a mathematical analytical tool/notation that makes it possible to test and verify software automatically.

Published in:

Sixth International Conference on Grid and Cooperative Computing (GCC 2007)

Date of Conference:

16-18 Aug. 2007