面向服务端私有Web API的自动发现技术研究

移动应用和服务器交互的接口大多都采用Web API进行通信,但这些移动应用所引入的Web API会带来一些新的安全问题。为方便研究这些Web API的安全问题,在常规的Android程序测试框架的基础上,设计并实现了一个自动发现APK中面向服务器端Web API接口的系统,该系统有助于开展对服务器端私有Web API接口方面的安全研究。     

Framework and authoring tool for an extension of the UIML language

This paper presents a framework for the design of User Interfaces (UIs). By applying model transformations, the framework allows different UIs to be generated for different computing platforms. The tool presented in this work helps designers to build an abstract user interface which is later transformed into a concrete user interface by means of transformation techniques based on graph grammars. These techniques can be used to generate implementation code for several UI platforms including desktop applications, dynamic websites and mobile applications. The generated user interfaces are integrated with a multi-tier application by referencing external services and communicating with the application core over Web Service protocols. Our tool also allows the concrete interfaces to be enhanced before generating the final UI. The approach uses an adaptation of UIML (User Interface Markup Language). The adaptation focuses on defining a data model and a services model, and it also introduces a navigation model that allows data communication from one UI to another. The obtained UIs together with Web Services can conform complete applications instead of just being prototypes.     

Towards an easy to use authoring tool for interactive non-linear video

With growing bandwidths in the Internet and seemingly unlimited storage capacities on web servers, media became more and more important in the daily use of the World Wide Web. While about ten years ago only text and images with small file sizes (and as a result small resolutions) could be used, it is possible to watch high quality multimedia presentations nowadays. But those rarely exist because of tedious to learn authoring tools. A specialization to one main medium, in our case video, allows creating efficient authoring tools using well known paradigms. This work introduces an authoring tool called SIVA Producer. An iterative process for improving the usability of the authoring tool is described. Furthermore, a distinction of the terms “interactive video”, “annotated video”, “non-linear video” and “hypervideo” is given.     

基于XML—RPC的分布式地理信息系统计算模型

分布式异构 GIS系统集成与互操作是 GIS应用发展的趋势和方向 .在 WMS(Web Map Service)和 GML研究的基础上 ,采用 XML 技术和客户机 /服务器通用分布式计算模型 ,提出了一种基于 XML RPC的分布式 GIS计算模型 ;基于 XML- RPC模型 ,设计了分布式 GIS系统中基本 GIS操作和 GIS数据资源的 XML 抽象与表达 ;抽象出了 L og In、L og Out、Get Capability、Get Map、Get Ftr Info、Get Sel Ftrs、Get Them e Map、Get Stat Map 等 8个Geo Processing元操作 ;定义了各个元操作的 XML- RPC请求与响应的 XML 数据格式协议 ,并实现了一个简化的原型系统从而验证了该模型的技术可行性、实用性 ,为第 2代 Web GIS的产品化奠定了理论模型和技术基础     

Increasing application accessibility through Java

Java has begun to open up new possibilities for accessing applications on the Web. With Java, developers can write applications as applets and insert them into Web pages. The user can then retrieve and execute them with local computing resources. We show how developers can use this feature to create a network computing platform that lets Web users share applications not specifically devised for network use, including those that are computationally intensive. With our approach, the network is not involved as long as the user executes operations on the graphical interface, which is executed locally on the client. Only when users require some computational response from the server do they need to access it. Access is straightforward; authorized users can access the application from any node connected with the Internet as long as they have a Java-enabled Web browser. We have used used one such network computing platform to port an existing tool and develop a new application     

Sharing VLNET worlds on the Web

Virtual environments define a new interface for networked multimedia applications. The sense of “presence” in the virtual environment is an important requirement for collaborative activities involving multiple remote users working with social interactions. Using virtual actors within the shared environment is a supporting tool for presence. In this paper, we present a shared virtual life network with virtual humans that provides a natural interface for collaborative working and we describe the bridge we realized between this 3D shared world and the Web through a system of 3D snapshots.     

Easy Java Simulations: a software tool to create scientific simulations in Java

We introduce Easy Java Simulations, Ejs, a tool created by science teachers to help teach and learn science. Ejs allows users to create simulations using their knowledge of the scientific model. The author needs to supply a small amount of code for the model; the tool provides a graphical drag-and-drop interface to build the program. The resulting Ejs generated program is an independent, high quality Java application or applet ready to be published on a Web server. Ejs can serve as an effective teaching and learning tool if used in an appropriate pedagogical setting; for instance, to help students create their own simulations in order to express their conceptions on how a given scientific process works.The Ejs program and documentation can be freely downloaded from the site http://fem.um.es/Ejs.     

An Overview of Standards and Related Technology in Web Services

The Internet is revolutionizing business by providing an affordable and efficient way to link companies with their partners as well as customers. Nevertheless, there are problems that degrade the profitability of the Internet: closed markets that cannot use each other's services; incompatible applications and frameworks that cannot interoperate or built upon each other; difficulties in exchanging business data. Web Services is a new paradigm for e-business that is expected to change the way business applications are developed and interoperate. A Web Service is a self-describing, self-contained, modular application accessible over the web. It exposes an XML interface, it is registered and can be located through a Web Service registry. Finally, it communicates with other services using XML messages over standard Web protocols. This paper presents the Web Service model and gives an overview of existing standards. It then sketches the Web Service life-cycle, discusses related technical challenges and how they are addressed by current standards, commercial products and research efforts. Finally it gives some concluding remarks regarding the state of the art of Web Services.     

基于Web Service技术的MOM安全性模型

Web Service作为一门新兴的技术,在中间件技术中有广阔的应用前景。但是,现有的Web Service安全传输方案,不适用于应用层的消息安全保护。因此,这种结合方式将会为消息中间件系统带来安全隐患,无法保证消息中间件的安全消息传递。文中提出了一个基于Web Service技术的合理的中间件模型。并结合消息中间件的特点,在分析Web服务安全技术的基础上,进一步提出了消息中间件的安全传输模型,同时阐述了保证SOAP消息安全传输的基本方法。设计了平台无关的实现方式以体现出应用的透明性。     

The “Smart” simulation environment – A tool-set to develop new cache coherency protocols

“Smart” is a new system-level simulation environment that was developed in order to evaluate and improve algorithms for distributed and parallel systems. In this paper we focus our discussion on the developing of new cache coherency mechanisms that were optimized to handle system-level effects such as process switching and task migration. The developing of new cache coherency protocols is a good example to demonstrate many of the important features of Smart, since system-level events have a major influence on the effectiveness of different cache coherency policies and the overall performance of multicache systems. The Smart simulation environment was built as a separate layer that extends existing multi-processing simulators, so we could take the advantage of using mature and reliable simulation engines. Smart also provides a friendly graphical user interface (GUI) that allows: (1) control of different system parameters and mechanisms such as the cache coherency protocol type, cache organization, scheduling policies of processes and threads, etc., (2) simulation of the execution of shared-memory parallel architecture and measuring different systems' performance parameters and (3) use as a powerful visual based debugging tool. Although this paper presents a version of Smart which is dedicated for shared-bus architectures, other libraries of the tool can simulate different parallel and distributed architectures as well.     

嵌入式Service系统应用研究

基于网络使用Web Service技术来更进一步处理分布式系统。在此将使用Web Service技术和嵌入式系统技术设计和架构一些Service系统,来研究一些分布式嵌入式Service系统应用。     

High Marks for SmartMarks (A New Bookmarks Organizer from Netscape)

Abstract

Smart Marks, a new software tool from Netscape, is marketed as “Web surfing for people with a life.” This reviewer agrees that it is very useful for those of us who have a hard time keeping track of our bookmarks in Netscape Navigator. SmartMarks allows you to organize your bookmarks into folders, allows you to label and assigri key words to both bookmarks and folders, and monitors your bookmarks for changes in content or location. This last feature makes it an especially useful tool for librarians who have taken on all or part of the responsibility for maintaining a library's home page.     

CPN tools-assisted simulation and verification of nested Petri nets

Nested Petri nets (NP-nets) is an extension of Petri net formalism within the “nets-within-nets” approach, when tokens in a marking are Petri nets wich have autonomous behavior and synchronize with the system net. The formalism of NP-nets allows modeling multi-level multi-agent systems with dynamic structure in a natural way. Currently there is no tool support for NP-nets simulation and analysis. The paper proposes translation of NP-nets into colored Petri nets and using CPN Tools as a virtual machine for NP-nets modeling, simulation and automatic verification.     

一种基于组件的应用虚拟化方法

远程显示技术是应用虚拟化系统中的关键技术,它的好坏将直接影响系统性能与用户体验。在目前的应用虚拟化系统中,远程显示多采用图像传输协议,易产生比较大的网络流量。针对该问题,提出一种基于组件的应用虚拟化方法。为源应用创建组件树模型,将该模型解析同构为Web组件模型,使源应用界面同构为Web界面展现在虚拟端,让用户在虚拟端的外设操作传输到源端模拟执行,源应用界面的变化以组件为数据元传输到虚拟端进行更新,以保证虚拟端与源端之间的同步。将基于组件的虚拟化模型与基于图像的虚拟化模型进行对比,实验结果表明,基于组件的虚拟化方法能够产生较少的网络流量。     

Design and Prototype of a Performance Tool Interface for OpenMP

This paper proposes a performance tools interface for OpenMP, similar in spirit to the MPI profiling interface in its intent to define a clear and portable API that makes OpenMP execution events visible to runtime performance tools. We present our design using a source-level instrumentation approach based on OpenMP directive rewriting. Rules to instrument each directive and their combination are applied to generate calls to the interface consistent with directive semantics and to pass context information (e.g., source code locations) in a portable and efficient way. Our proposed OpenMP performance API further allows user functions and arbitrary code regions to be marked and performance measurement to be controlled using new OpenMP directives. To prototype the proposed OpenMP performance interface, we have developed compatible performance libraries for the Expert automatic event trace analyzer [17, 18] and the TAU performance analysis framework [13]. The directive instrumentation transformations we define are implemented in a source-to-source translation tool called OPARI. Application examples are presented for both Expert and TAU to show the OpenMP performance interface and OPARI instrumentation tool in operation. When used together with the MPI profiling interface (as the examples also demonstrate), our proposed approach provides a portable and robust solution to performance analysis of OpenMP and mixed-mode (OpenMP+MPI) applications.     

A new optimization phase for scientific workflow management systems

Scientific workflows have emerged as an important tool for combining the computational power with data analysis for all scientific domains in e-science, especially in the life sciences. They help scientists to design and execute complex in silico experiments. However, with rising complexity it becomes increasingly impractical to optimize scientific workflows by trial and error. To address this issue, we propose to insert a new optimization phase into the common scientific workflow life cycle. This paper describes the design and implementation of an automated optimization framework for scientific workflows to implement this phase. Our framework was integrated into Taverna, a life-science oriented workflow management system and offers a versatile programming interface (API), which enables easy integration of arbitrary optimization methods. We have used this API to develop an example plugin for parameter optimization that is based on a Genetic Algorithm. Two use cases taken from the areas of structural bioinformatics and proteomics demonstrate how our framework facilitates setup, execution, and monitoring of workflow parameter optimization in high performance computing e-science environments.