Huiqun Zhao

Lightweight Public Key Infrastructure and Service Relation Model for Designing a Trustworthy ONS

With the rapidly development and large scale applications of Electronic Product Code (EPC) networks, researchers and customers have turned their attention to the security problems. In this paper, we discuss the design methodology of trustworthy ONS, an Object Naming System of EPC network, and propose an adjusted Public Key Infrastructure (PKI), called LPKI, for trustworthy ONS. It enhances the security of ONS using a new encryption encode/decode strategy of EPC, and improves reliability of the Certificate Authority by a new multiple customer relation model. Our preliminary experiments show that the proposed method does provide the needed security with reasonable performance, and hence is feasible for building trustworthy ONS.

Research of Using Protégé to Build Ontology

This paper describes how to use the Protégé based OWL API to parse Ontology model. Specifically, it includes how to load the ontology model from the owl file, how to collect the class, subclass, individual, object property, data property, and how to find the domain and range that are relevant to some object property.

Study of the Key Techniques for Implementing Barcode Network

The barcode technology has been used in many applications for a long time. However, it does not provide unique object identification and lacks connectivity to the Internet that more and more business applications require. The Electronic Product Code (EPC) was developed to address these problems. But EPC is not widely used at the present time. In this paper, we propose an approach called Barcode Network that takes the advantages of both barcdoe and EPC, for the pervasiveness of barcode and the connectivity to the Internet of EPC networks. The approach uses barcode as the basic identification mechanism and employs the architecture of EPC Network to achieve the goal of object identification. In this new approach, we introduce a barcoding scheme called GIN, give a mapping between GIN and the Universal Resource Format (URF) for which the IP of an object with barcode can be obtained using the Object Naming System (ONS) of the EPC Network. A case study is discussed to illustrate the key ideas of the proposed approach.

Research on Formal Modeling and Verification of BPEL-based Web Service Composition

With the development of Web Service composition, more and more diversified and complex business demands are satisfied. But the logical validity cannot be guaranteed. After a short view of recent research efforts of formal modeling and verification about Web Service, this paper proposes a new formal model for WS-BPEL described Web Service composition. The specification language of the model is LOTOS. Model checking is adopted to ensure the validity of this model. Finally, an example is presented to illustrate the practicality of the model.

Study of Methodology of Testing Mobile Games Based on TTCN-3

Systematic software testing plays a critical role in software development. Various approaches have been proposed and developed, but software testing is still far from maturity. A very promising strategy is modelbased testing that is aimed to automatically generate test cases and evaluate test results based on the software models that specify the behavior of the software under test. In this paper, we propose a general rule model for mobile games by combining the features of the gamesoftware and the Wireless Application Protocol. We also build an adjusted model for generating test cases with the characteristics of mobile game software. A series of patterns are created to facilitate the generation of TTCN-3 test suite and test case. A case study on the Fruit Machine game is discussed to illustrate the use of the proposed model for software testing.

Design and Implementation of an Enterprise Internet of Things

Since the notion of “Internet of Things” (IoT) introduced about 10 years ago, most IoT research has focused on higher level issues, such as strategies, architectures, standardization, and enabling technologies, but studies of real cases of IoT are still lacking. In this paper, a real case of Internet of Things called ZB IoT is introduced. It combines the Service Oriented Architecture (SOA) with EPC global standards in the system design, and focuses on the security and extensibility of IoT in its implementation.

Video annotation for players' tactics in sport competition

The video recorded tactics that a player applied in a sport competition are encoded to understandable semantics scripts for both human beings and computers. Such information is then embedded back into the sport video file. Thus, users can retrieve the contents of competition for purposes such as video analysis and tactics statistical analysis.

Design and implementation of sports video player based on Android

With the rapid development of smartphone technology, more and more applications with different functions offering more convenient service for users are developed to the mobile phone. This paper presents a design scheme of sports video player based on Android. Through the research of the technologies of video annotation, JNI, NDK and FFmpeg, a player has been implemented to play and analyze the sports video in which annotation information has been embedded. This player can help the user to acquire the useful information from the video file conveniently, accurately and efficiently. As a consequence, the player possessed of good operability and practicality can elevate scientific training of the athletes. Experiments show that the aim of obtaining the tactical information from the sports video as playing it with no obvious increase in usage of system resources is achieved.

Research on generation of testing data in hybrid method of model checking and testing

In this paper, hybrid method of model-checking and testing were suggested, the testing process for the combination of model-checking and testing were given. Counterexample of model-checking on LOTOS lacking in testing data which lead to the test suite generating based counterexample lacking in pertinence. In order to guarantee the significance of the testing based on counterexample, it proposes the LOTOS complex data type expansion method and the method for generating the testing data in the process of LOTOS modeling in service. By giving an instance researched of model-checking and testing service to prove the validity of the data generation technology.

The research of subscription method of the TransactionEvent data for EPCIS based on Web Service

As the transaction has the features of atomicity, consistency, isolation, and durability, the process of the TransactionEvent in the Internet of Things is complex. All operations of a TransactionEvent are either all completed or completed none, and the transaction data is hard to deal with. To solve this problem, the article specifies the start time and end time of the transaction, and to send a subscription request to the ALE layer. ALE layer will return the needed information of the product generated within the time back to the EPCIS layer. To prevent that the data is too large, ALE layer divides the data into small pieces, and transmits them in asynchronous form. After that, the EPCIS layer needs to integrate these data pieces to generate TransactionEvent data reports. Meanwhile, in order to achieve the flexible combination of different services in the Internet of Things, and make the business independent of programming language, implementation and operating platform, the article will release the transaction data report generated in the EPCIS layer as a service to achieve a loose coupling among different business.