Security PIDS with physical sensors, real-time pattern recognition, and continuous patrol

This perimeter intruder detection system (PIDS) is a system applicable to surveillance and perimeter control of areas of responsibility where risks are assessed, like swimming-pools, school precincts, museums, embassies, warehouses, and the like. It consists of a string of an arbitrary number of spaced but communicated micro-controllers, each one driving infra-red (IR) and/or ultrasound emitters and digital output transducers. The system uses radar effect and it carries continuous perimeter patrol by performing sequential surveillance of detector outputs as well as distributed pattern recognition analysis. All micro-controllers support a common code which includes turning the emitters sequentially on and off, pattern recognition routines, and serial transmission of alarm byte. Butterfly alarms are avoided via software and adequate geometrical configuration of the emitter beam net. One master micro-controller closes the string synchronizes and conducts the others. When the master micro-controller receives the "intruder" signal, it triggers the physical alarm, its next order being to restart patrolling.     

Verification of Web Services Compositions: Applying Model Checking to BPEL4WS

A composite Web service is a service implemented by combining the functionality of other Web services. There are some applications, like B2B E-commerce, in which an error in the specification of the composite service is critical, because of the high economic looses that it could cause. In this work we propose a framework for the verification of Web services compositions, called VERBUS. Its aim is to help the designer to find errors in the specifications at design time, thus increasing their reliability. Contrary to verification frameworks previously proposed for Web services compositions, VERBUS is a modular an extensible framework. It does not use a specific compositions definition language or a specific verification tool, like them. Instead, VERBUS is an open framework in which new definition languages and verification tools can be easily added. In order to show the feasibility of this environment we have implemented a prototype that can verify BPEL4WS compositions using the model checker Spin.     

The emerging role of the Web for enterprise applications and ASPs

Web technologies were initially used for Web publishing and advertising in enterprises. However, over the years Web technologies have merged with other distributed computing technologies and assumed a vital role in satisfying enterprise business needs. This paper takes a systematic and practical look at Web evolution from static HTML to Web-enabled business components that are at the foundation of currently popular Web services (WS). In particular, WS is a result of convergence of the Web with distributed object technologies and is positioned to play a central role in building and integrating enterprise applications in the future. However, the impact of WS is not limited to enterprise boundaries - business-to-business trade and outsourcing through application service providers can also be profoundly impacted. This paper highlights the key aspects of these developments because they will drive the requirements to be satisfied by the current and future Internet technologies. The possible deterrents to these developments and approaches to address these deterrents are also discussed.     

Giving Legs to the Legacy — Web Services Integration Within the Enterprise

Behind the hype of Web Services (WS) is the reality of a sound and functional set of technologies for integration. This paper describes how the pragmatic use of WS technology has resulted in better, cheaper and faster integration for BT in its core operational support systems (OSS) system interfaces. BT has embarked upon a programme of enabling key components and middleware layers in its customer handling stack to leverage the benefits of Web Services in addressing the challenge of real-time heterogeneous interworking. It is believed that the WS-enabling of these legacy systems has helped add years to their productive use and protected the huge investment already made in these systems. As well as giving ‘legs’ to such legacy systems, Web Services support the drive to implement a service-oriented architecture inside BT and this paper investigates the ways in which this is being achieved. In order to exploit Web Services on BT's mission-critical platforms we have had to understand and work with WS issues on a wide range of platforms, proving the interoperability, performance and security of the new technologies in large-scale enterprise integration projects. Integration has been the first ‘killer application’ for Web Services and this paper will describe some of the business areas that have benefited from the cleaner integration that Web Services offer. This revised version was published online in July 2006 with corrections to the Cover Date.     

基于规范的Web服务安全

首先介绍了Web服务的简单模型及当前使用的安全机制中存在的安全性、性能及扩展性方面的问题,然后详细说明了WS Security规范及其开发Web服务的方法,结合Microsoft公司的WSE(Web Service Enhancement)2.0插件在dotnet环境下所生成的具体的SOAP消息示例,完全符合WS Security规范并实现了对消息完整性(Integrity)、消息机密性(Confidentiality)和消息凭据(Credential)的支持,消息事例使用用户名和密码凭据以及X.509证书2种方法;最后讨论了WS Security规范的优点与缺陷,并提出改进措施。     

扩展BPEL4WS实现基于语义的服务流程动态细化

越来越多的企业采用面向服务的架构来构建其信息基础设施,并通过执行Web服务流程来实现其业务逻辑。然而,当前作为工业界标准的服务流程建模语言BPEL4WS只能支持非常有限的运行时动态性,难以适应复杂多变的业务需求。针对这一问题,提出了在BPEL4WS及其执行引擎之上,实现基于语义的服务流程动态细化的机制——在BPEL4WS中增加目标类型的活动以及流程的语义描述；扩展现有BPEL4WS执行引擎使之能够执行带有目标活动的流程,并能够根据目标描述与流程的数据内容,在运行时为目标活动匹配与绑定子流程。     

PWSSEC: Secure Web Services-based Systems Development Process

Web services (WS, hereafter) paradigm has attained such a relevance in both, the academic and industry world, that the vision of Internet is evolving, passing from being considered as a mere repository of data to become the underlying infrastructure on which complex business processes and alliances are being deployed. Security is a key aspect if WS are to be generally accepted and adopted. In fact, over the past years, the most important consortiums of Internet, like IETF, W3C or OASIS, are producing a huge number of WS-based security standards. Despite of this spectacular growing, a development process that facilitates the systematic integration of security within all stages of WS-based software development life-cycle does not exist yet. In this paper, we present PWSSec (Process for Web Services Security) as a security requirement-centered, and architectural and standard-based process that guides developers of WS-based systems when integrating security in their development processes. PWSSec is composed of three stages, WSSecReq (Web Services Security Requirements), WSSecArch (Web Services Security Architecture) and WSSecTech (Web Services Security Technologies) that enable and facilitates the activities of specifying WS-specific security requirements, defining WS-based security architectures and identifying and configuring WS-based security standards, respectively.     

基于XYZ/ADL的Web服务组合描述与验证

Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证方法.XYZ/ADL是时序逻辑语言XYZ/E的扩展,考虑到多数Web服务具有实时特征,采用XYZ/E的实时扩展语言XYZ/RE表示系统应满足的时间约束.针对Web服务组合系统,根据XYZ/RE到时间自动机的映射规则将系统描述转换为对应的时间自动机,分别采用精化检验和模型检测两种技术验证Web服务组合的正确性;最后通过两个实例分析分别阐述了上述方法的可行性和有效性.     

On the performance of web services,google cloud messaging and firebase cloud messaging

Smartphones and other connected devices rely on data services, such as Web Services (WS), Google Cloud Messaging (GCM) and Firebase Cloud Messaging (FCM), to share the information they collect or use. Traditionally, these services were classified according to the average number of bytes transmitted or their delivery time. However, when dealing with battery-operated devices, another important parameter to be taken into account is their power consumption. Furthermore, software designers and developers often do not consider the efficiency of a data communication system, but are simply concerned about ease-of-use and response time. In this paper, we compare FCM, GCM and two types of WS, namely Simple Object Access Protocol (SOAP) and REpresentational State Transfer (REST) WS in terms of delay, data efficiency, and power consumption. The final outcome is that RESTful WS outperforms all others, making GCM and FCM a viable alternative only when the amount of data to be transmitted is very limited, or when the mobile application requires the advanced services offered by FCM or GCM only.     

Web Services‐based network management: approaches and the WSNET system

While the Simple Network Management Protocol (SNMP) is still the dominant protocol for managing network elements in IP‐based networks and the Internet, network managers are acknowledging its limitations with respect to configuration management, application development and decentralization of management tasks. Web Services (WS) have been recently proposed to alleviate these limitations, given their pertinence to both decentralized management paradigms (e.g., CORBA), and XML management systems which provide efficiency in configuration management operations. This paper reviews architectures for WS‐based network management, outlining their advantages and disadvantages. These architectures address management of both individual network elements and composite multi‐device networks. Moreover, the paper introduces the architecture of a prototype system for WS‐based network management, namely WSNET. Along with presentation of the WSNET system, we provide a set of experimental results reporting performance figures for the WSNET system, as well as for systems based on other WS architectures. These figures allow for a comparative evaluation of the various systems, and manifest the benefits of the WSNET implementation. An important conclusion from our work is that WS should be seen as an accompaniment to conventional SNMP management rather than a replacement. However, there are also cases (e.g., need for secure remote access) where WS serve as a core rather than auxiliary solution, given that conventional methods are not applicable. Copyright © 2006 John Wiley & Sons, Ltd.     

二维WS2薄膜的制备及光电特性

以硫化钨(WS2)水溶液为原料、氩气为携载气体、利用化学气相沉积(CVD)法在硅衬底上制备了二维WS2薄膜,并研究了其形貌、晶体结构、光吸收特性及光电特性等。发现利用该方法生长的WS2薄膜非常光滑均匀,并具有良好的结晶性。另外,发现WS2薄膜不仅在466 nm处有很强的蓝光发射,还在617和725 nm处有显著的红光发射,前者可能是由于量子尺寸效应引起的分立能级的发光,后者则分别对应WS2单层和多层的本征发射。最后,研究了WS2/Si异质结的光电效应和温度效应,发现随照射光功率或温度的增加,异质结的电流显著增大,说明WS2/Si异质结对光照和温度非常敏感,可用于制备太阳电池和光探测器等新型光电子器件。     

网格应用模型及方法研究

针对实现资源共享和协同工作的网格技术应用研究与发展现状，文章给出网格应用总体结构；根据Petri网系统特点，提出基于Petri网的服务流网SF—net模型，设计了基于UML的网格工作流程序的一般性开发方法。并在此基础上定义了基于Petri网的网格作业描述语言；讨论了当前工业界Web服务业务过程执行语言BPEL4WS及进程代数CSP与文中所提服务流网的结合，引入服务代数概念，表明了服务流网SF-net的灵活性。     

基于JBoss实现Web服务与通信业务整合

作为面向服务体系( SOA)的最主要的实现方式,Web服务(Web Services)技术被认为是业务整合的主要基础之一.根据ParlayX的Web服务规范,在NGN/IMS网络环境中,提出了一种基于JBoss服务器的以Web服务的方式交付通信业务的下一代网络融合业务平台架构,详细分析了Web服务与通信业务之间的交互方式,并利用该融合业务平台架构实现了一个第三方呼叫控制示例业务,展示了如何整合Web服务和通信业务,验证了该融合业务平台架构的可行性.     

面向语义Web的逻辑描述原语扩展

语义Web旨在利用知识工程中成熟的技术为数据和知识交换提供语义上的互操作性,为了针对Web这种标记语言环境描述一阶命题逻辑公式、Horn子句和推理规则,本文对OIL/RDFS进行了扩展,定义了相关的逻辑描述原语.通过典型的命题规则表示示例,说明了本文的原语扩展为命题公式、推理规则表示提供了可行的方法.     

基于Web服务的开放式地理信息系统的研究

在介绍Web服务与OpenGIS规范的基础上,提出了基于Web服务的开放式地理信息系统解决方案,设计并实现了资源目录服务、地理要素服务和地图服务,以及通过数据集成来定制地理要素和地图图层的手段,为地理信息数据的发布与共享提供了符合OpenGIS规范的软件工具。     

Research on the E-Learning Application of Web Service

The e-learning has attracted a popular attention as a kind of teaching mode. It links up teachers and learners at different places by offering study contents and intercommunications on the network. Teacher and learner are the two main roles in E-learning. Teachers or other trainers produce their own contents of courses through certain tools and manage these contents by the learning management system (LMS), and then learner can choose and study. These contents of courses are transmitted betwe…     

Generation of Business Process Driven Web Applications by means of Model Transformations

Web applications are evolving towards an inter-organizational environment where new requirements arise (application integration by means of the composition of different enterprise business processes) and where these requirements need to be faced within the application development process. In this work we propose an extension to the OOWS Web Engineering method for the development of Web applications based on business processes. In this extension we have taken into account both the existence of manual tasks carried out by human participants and the fact that processes within a B2B context usually involve the use of distributed functionality, which is normally provided by means of Web Services. Moreover, the use of model transformation techniques (such as the standard QVT) allows us to obtain from business process specifications both (1) the graphical user interfaces that allow the execution of these processes and (2) the executable specification of the process defined in WS-BPEL.     

基于OPNET的M/M/m队列仿真

M/M/m队列是排队论中的一个服务系统模型.OPNET是一个使用非常广泛的仿真工具.通过OPNET采集的两个统计量:数据包排队延时和队列长度平均时间,可对M/M/m队列模型进行仿真.通过仿真,得出稳态下数据包平均延时Ws和队列长度平均时间Ls随平均间隔时间的增加而降低;增加服务器m的数量,Ws和Ls都快速减少,并且Ws和Ls与平均数据包长度以及服务容量有关.     

Interoperability testing of Web Services for e-learning

Web Service technologies seem to open interesting unexplored scenarios in the e-learning domain. Particularly appealing is the possibility of defining and standardizing services that, when implemented and composed, will result in complex e-learning applications. However, an agreed standard specification per se is not sufficient, rather methodologies for validating conformance against it have to be released. This paper discusses current approaches to standardise Web Service specification and implementation and outlines an approach to conformance verification of services through testing, aiming at reducing the risk of interoperability issues at execution time.