9382607
User-interface Design of Web Application Using Object-Z
A notation is presented for formally describing Web application’s design of a user-interface. The function of a Web application is given using formal specification language Object-Z and then some generic classes, relationships and system actions are defined to specify user-interface design. In user-interface design, UAN annotations are added to Object-Z notation. The extended Object-Z notation expresses the presentation relationship between the design and the specification. This formal specification and design is useful in documenting a user-interface design and enables the analysis of the usability and safety of a Web application. In particular, it can be used to generate test cases automatically. An example of student information management system is used to illustrate the notation. Task efficiency is analyzed with the example.
14599346
Generating Test Case from Functional Requirement of Web Applications
E-commerce has been developing rapidly around the world. We run Web application to support e-commerce. Quality of Web applications influences the functionalities and security of e-commerce. Modeling and testing are important to Quality of Web applications. Many researchers are still to find effective ways to model and test Web applications. Formal methods can improve the quality of Web applications. This paper suggests utilizing a formal language (object-z to) describe functional requirement of Web applications. An approach to generating test sequence is introduced in this paper. We analyze formal specification to find out atomic operations and then identify the environment precondition of the operation (EPRE) for each atomic operation. We use EPREs to build an environment Transition Graph (ETG). The steps of transforming an ETG into environment transition sequences are also addressed. Two test adequacy criteria are defined as a guideline for the selection of the test sequences.
19870915
Research on Network-Based Collaborative Commodity Development
In this paper, a detailed method is proposed to make the transformation of a product model to a commodity model. A collaborative commodity development theory based on the three properties of physical, energy and information is proposed. An integrated model composed of four sub-models is analyzed: designing sub-model, supplying sub-model, managing sub-model, and profit sub-model. The key techniques in the system development are discussed, including the network-based parts application technology and the commercial model optimization and evaluation technology. For the former, a search engine using the functional agent technology for network-based parts searching is described. A prototype system has been implemented to validate the proposed approach.
14675043
Using 3D interfaces to facilitate the spatial knowledge retrieval: a geo-referenced knowledge repository system
Retrieving knowledge from a knowledge repository includes both the process of finding information of interest and the process of converting incoming information to a person's own knowledge. This paper explores the application of 3D interfaces in supporting the retrieval of spatial knowledge by presenting the development and the evaluation of a geo-referenced knowledge repository system. As computer screen is crowded with high volume of information available, 3D interface becomes a promising candidate to better use the screen space. A 3D interface is also more similar to the 3D terrain surface it represents than its 2D counterpart. However, almost all previous empirical studies did not find any supportive evidence for the application of 3D interface. Realizing that those studies required users to observe the 3D object from a given perspective by providing one static interface, we developed 3D interfaces with interactive animation, which allows users to control how a visual object should be displayed. The empirical study demonstrated that this is a promising approach to facilitate the spatial knowledge retrieval.
1450773
Multiresolution video watermarking using perceptual models and scene segmentation
We introduce a watermarking procedure to embed copyright protection into digital video. Our video dependent watermarking procedure directly exploits the masking and temporal properties to embed an invisible and robust watermark. The watermark consists of static and dynamic temporal components that are generated from a temporal wavelet transform of the video scenes. To generate the watermark, the resulting wavelet coefficient frames are modified by a perceptually shaped pseudo-random sequence representing the author. The noise-like watermark is statistically undetectable to thwart unauthorized removal. Furthermore, the author representation resolves the deadlock problem. The multiresolution watermark may be detected on single frames without knowledge of the location of the frames in the video scene. We demonstrate the robustness of the watermarking procedure to several video distortions.
6858621
A management strategy for distributed data in collaborative design
This paper presents a distributed data management strategy for collaborative design, which supports the data exchange pattern based on any fine-grained data as well as that based on traditional file service. Data are represented using XML and their exchange is achieved through the publishing and subscription mechanism among individual participants. It is also shown in this paper that how the data replication mechanism, which supports both synchronous and asynchronous mechanism, propagates updates among data copies to provide consistent views of data among many computers, in which the rule-based approach is used to resolve conflict. Based on this strategy, a research prototype system of collaborative design has been implemented and tested in the design of auto-body welding lines.
19034041
Study on Agent-Based Parts Resource Application System for Commercial Design
An effective way of retrieving components is needed in order to make the implementation of product commercial development activity. In this paper, the components resource application method based on the software agent is proposed first. Then, on the base of comparison to the product commercial design components resources application system and the traditional supply chain system, three kind of application patterns based on the present network components resources are analyzed: the on-line purchase pattern, the on-line inquiry pattern and the on-line assign pattern. Then, according to the commercial development characteristic, the concrete structure of software agent suit to the commercialization performance is given. Corresponding, the components coding agent, the solid - commercial mapping and optimizing agent as well as managing agent are designed. From the initial period geometrical modeling, the intermediate stage commercial design as well as the entire process design management, the analysis of these three aspects have been carried on separately. In the end, the research work indicated that, the agent technology is one effective application method used to realizing the magnanimous components data analysis over the network