An Approach to Modeling Hypermedia Web Applications
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) isfirst 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 LTSs 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.
QIAN Zhong-sheng MIAO Huai-kou HE Tao
School of Computer Engineering and Science,Shanghai University,Shanghai, 200072, China;School of Inf School of Information Technology, Jiangxi University of Finance and Economics, Nanchang,330013, Chin School of Computer Engineering and Science,Shanghai University,Shanghai, 200072, China
国际会议
第六届网格与协同计算国际会议(The Sixth International Conference on Grid and Cooperative Computing GCC 2007)
乌鲁木齐
英文
847-854
2007-08-16（万方平台首次上网日期，不代表论文的发表时间）