Typed formal model for WS-CDL specification of web services composition

In order to formally reason and verify web services composition described by web services choreography specification WS-CDL,a typed formal model named typed Abstract WS-CDL（web services choreography description language）for WS-CDL specifications is proposed.In typed Abstract WS-CDL,the syntax of type and session,typing rules and operational semantics are formalized;the collaborations of web services are formally described by sessions;the operational semantics of a session can help to formally reason the execution of the choreography;the typing rules can help to formally check the data type consistency of exchanged information between web services and capture run-time errors due to type mismatches.Particularly,the concepts of type assumption set extension and type assumption set compatibility are proposed,and the merging algorithm of type assumption sets is defined so as to eliminate type assumption conflict.Based on the formal model,typed mapping rules for mapping web services choreography to orchestration is also defined.With the typed mapping rules,orchestration stubs and their type assumption sets can be generated from a given choreography; thus, web services composition can be verified at choreography and orchestration levels,respectively.The model is proved to have properties of type safety,and how the model can help to reason and verify web services composition is illustrated through a case study.

Generating test case specifications of web service composition using model checking

Model checking techniques have been widely used in verifying web service compositions to ensure the trustworthi- ness. However, little research has focused on testing web services. Based on the research of model checking techniques~ we propose a model checking based approach for testing web service composition which is described by using the web services choreography description language （WS-CDL）. According to worldwide web consortium （W3C） candidate recommendation, the WS-CDL specification provides a language for characterizing interactions between distinct web services using XML. Since the behaviors of web service composition are asynchronous, distributed, low-coupled and platform independent, we employ the guarded automata （GA） model for specifying the composition described in WS-CDL and using the simple promela interpreter （SPIN） model checker for detecting the collaborations of web services. Test cases can be transformed from counterexamples generated by SPIN using adequacy criteria. In this paper we apply the transition coverage criterion for generating counterex- amples. To illustrate our approach, we set ＂E-commerce service system＂ as an example for demonstrating how test cases can be generated using SPIN for compositions specified in WS-CDL.

Generalized Testability Scheme Modeling of Materiel System Based on Information Ontology

A mode of ontology-based information integration and management( OIIM) for testability scheme was proposed through expatiating on the connotation of the system testability scheme.Aiming at the complexity of influencing factors in optimal design procedure of the testability scheme, the information of concept entities,concept attributions and concept relationships was analyzed and extracted,and then the testability scheme information ontology( TSIO) was built and coded via web ontology language( OWL).Based on the information ontology, the generalized model for testability scheme( GMTS) was founded by defining transformation rules. The primary study shows that the mode of OIIM for testability scheme can make up the deficiencies in knowledge representation and reasoning existing in traditional information models,and achieve the information share and reuse. It provides the effectual model basis for the optimal design of the testability scheme.

Spatial data modeling for coalfield geological environment

Presented a study on the design and implementation of spatial data modelingand application in the spatial data organization and management of a coalfield geologicalenvironment database.Based on analysis of a number of existing data models and takinginto account the unique data structure and characteristic, methodology and key techniquesin the object-oriented spatial data modeling were proposed for the coalfield geological environment.The model building process was developed using object-oriented technologyand the Unified Modeling Language (UML) on the platform of ESRI geodatabase datamodels.A case study of spatial data modeling in UML was presented with successful implementationin the spatial database of the coalfield geological environment.The modelbuilding and implementation provided an effective way of representing the complexity andspecificity of coalfield geological environment spatial data and an integrated managementof spatial and property data.

MODELING OF FMS BASED ON UML AND OPNS

As the main component of computer integrated manufacturing system (CIMS), flexible manufacturing system (FMS) should be an open system with reusability and extenchaility. Moreover, as FMS is a complex asynchronous concurrent system, its model also should have the abilities to express the concurrency in the system and to analyze the behavior of the system. It is difficult to use any one method to model such a complex system as FMS. A modeling method using Object-oriented modeling language-unified modeling language (UML) and object-Oriented Petri nets (OPNs) is proposed. Class diagram in UML is used to represent the static relations among the objects in FMS. OPNs are used to model the dynamic behavior of the objects and conduct performance analysis. OPNs also can be used to identify the attributes and operations of the objects. The model can describe the system integrally and can be used to design FMS control software naturally.

Modeling and OLAP Cubes for Database of Ground and Municipal Water Supply

Modeling plays an important role for the solution of the complex research problems. When the database became large and complex then it is necessary to create a unified model for getting the desired information in the minimum time and to implement the model in a better way. The present paper deals with the modeling for searching of the desired information from a large database by storing the data inside the three dimensional data cubes. A sample case study is considered as a real data related to the ground water and municipal water supply, which contains the data from the various localities of a city. For the demonstration purpose, a sample size is taken as nine but when it becomes very large for number of localities of different cities then it is necessary to store the data inside data cubes. A well known object-oriented Unified Modeling Language (UML) is used to create Unified class and state models. For verification purpose, sample queries are also performed and corresponding results are depicted.

XML与Web数据集成及技术实现

由于HTML缺乏规范的数据表达能力 ,基于Web的数据集成往往很困难 .要使存在于Web上的数量巨大的数据易于共享、处理 ,利用XML (eXtensibleMarkupLanguage)技术可以很好地实现 .现有的XML技术包括XML解析器、文档对象模型、XSL等都可以很好地应用到各种平台下的Web应用程序中 。

X3D:新一代面向Web的交互式三维图形规范

当前虚拟现实造型语言(VRML)的国际标准存在严重问题,阻碍了面向Web的交互式三维图形技术的深入发展。为此,Web3D联盟提出了下一代面向Web的交互式三维图形规范X3D。X3D采用XML编码,以软构件技术为指导,定义了一个小型运行内核、一组API和多个扩展集,具有小型化、可扩展、与Web上的多种标准互操作和与多种媒体紧密集成等特性。本文主要介绍了X3D的产生背景、概念和组成,并在此基础上分析了X3D的关键技术和X3D浏览器的实现。

基于Web Service的工作流过程模型研究

工作流管理和WebService都是新兴的技术,正是将这两项技术结合起来运用于工作流过程建模上。首先分析了现有模型的弊端,接着简要介绍了WebService及其核心技术———Web服务流语言(WS FL),在此基础上提出了一个工作流过程元模型,该模型由流程、活动、活动依赖三部分组成,重点介绍了流程建模的情况,同时也给出了另外两个部分的设计和说明。

基于扩展着色Petri网的Web服务本体描述语言过程语义分析方法

针对目前Web服务本体描述语言过程语义研究中存在的问题,提出了一种基于扩展的着色Petri网的过程模型网,对Web服务本体描述语言的过程语义进行转化与分析。结合Web服务本体描述语言过程模型元素的特点,过程模型网扩展了基本着色Petri网的变迁和触发规则,使Web服务本体描述语言的原子过程、组合过程和数据流等核心元素能够等价映射到过程模型网。将过程模型网的可靠性分析问题分解为冲突消解和过程模型网剥离网可靠性问题,并采用传统Petri网分析工具(可覆盖性树)和原理,分析剥离网的可靠性,从而实现Web服务本体描述语言过程语义一致性分析,为Web服务本体描述语言本体演化、语义Web服务组合和验证提供了合理的理论基础。

基于Web的设备远程监测与诊断系统UML模型

以实现软件系统在设备远程监测与故障诊断领域的复用为目标,在实际项目的基础上,介绍了采用UML(统一模型语言)对整个系统进行需求分析、静态和动态建模的过程,提出了系统中组件的分类策略,指出UML在设备监测和故障诊断系统开发和应用领域具有重要的价值。

面向对象的Web工程

分析了 Web应用的特点和目前所面临的一些问题 ;基于面向对象的概念 ,提出了多层次、多视图的 Web应用开发模型 ,以对象作为建模的基本实体 ,提供了 Web应用的高层描述 ,支持 Web服务的任意粒度的抽象、封装、重用以及 Web导航特性的分析 ;提出了基于 XML 的面向对象 Web建模语言 OOWML 并实现了编译工具 ,能够自动生成Web应用的目标语言 .与已有的方法相比 ,本文提出的模型为

GML数据的Web可视化设计与实现

GML是GIS领域的通用交流语言,然而目前的浏览器并不支持GML,因此GML的Web可视化仍是GML应用需要解决的问题。为此,本论文提出了一种基于组件的可视化策略。该策略采用文档对象模型(DOM)进行GML模式文件和实例文件解析,按地理要素对GML进行数据分流/分层,然后分层可视化的办法,实现了GML数据的Web可视化。实践验证,该方法是切实可行的,且对于GML数据量较大时尤为有效。

一种支持Web服务合成的模型定义语言—e-SPDL

Web服务合成是通过合成基本的Web服务为用户提供增值服务的能力。Web服务合成首先要考虑的问题是使用一种有效的建模语言来为服务合成建模,并使用合成服务定义语言来描述它。给出了基于XML的支持服务合成原型系统(e-Scope4WS)的服务合成定义语言———e＿SPDL,具体介绍了其主要特点,给出了它的基本结构,并且进行了实例分析。e＿SPDL基于BPEL4WS,并在此基础上进行了扩展,对服务参与者引入服务容器的概念来达到动态服务查找和动态服务替换的目的;针对BPEL4WS复杂、难用的特点和本系统的实际需要,对其进行了不失一般性和通用性的简化。

虚拟现实模型语言在Web仿真中的应用

介绍了虚拟现实模型语言（VRML）、VRML编程以及它在Web仿真中的应用，并分析了它未来的发展前景。VRML不仅为实现Internet上动态的、交互的三维场景提供了标准的、合适的、平台无关的描述方法，它和Java语言的集成，为实现交互的3D图形、强大的编程能力、VRML与数据库交互、实时性、多线程和网络访问等提供了可能。这些技术，正广泛地应用于Web仿真中。

基于扩展接口语义的Web服务匹配模型研究

分析了Web服务组合的类型以及其中的接口匹配关系,通过对WSDL标准接口描述语言进行语义扩展,提出了一种轻量级的Web服务语义描述模型。该模型从服务接口的消息参数层、消息层和操作层分别扩展语义描述,将服务接口的描述从语法层提升到语义层,从而能够全方位地描述Web服务的功能、行为约束等属性。在此基础上,从这三个层次计算Web服务接口的语义匹配度,提出了多层次Web服务接口语义匹配模型。

基于OWL-S过程模型的Web服务发现方法

现有Web服务发现方法未考虑过程行为的相关信息,导致所发现的服务不能较好地满足用户需求且查准率较低。针对该问题,提出一种基于OWL-S过程模型的Web服务发现方法。将OWL-S过程模型转化为过程图,根据两过程图的相似度,判断两服务过程的匹配程度。实验结果表明,该方法能准确地匹配两服务的过程模型,具有较高的执行效率和较好的匹配效果。

基于X3D的三维Web GIS研究

Web GIS正经历着从二维系统到三维系统的发展,分析了现有基于VRML的三维Web GIS,并指出其中的缺点。介绍了新一代三维网络图形标准X3D,并结合Web GIS本身的特点,提出了基于X3D的三维Web GIS模型。该系统模型克服了VRML系统的一些缺点,具有可移植性好,利于大场景地理环境的实现和异构数据库集成,以及空间数据的共享和互操作等优点。

一种基于XML Web Service的分布式解决方案

介绍了XMLWebService的工作原理。提出了一种在开放的Internet网络环境下,用基于XMLWebService开发技术来实现的、适合于中小企业应用的分布式管理信息系统的解决方案,该方案既满足了企业的业务分散处理的需要,同时又具有成本低、实现方法简单的特点。提高了企业组建企业管理信息系统的效率和质量。

模型驱动的Web应用SQL注入渗透测试

针对结构化查询语言（SQL）注入渗透测试用例不充分造成测试漏报的问题，对基于形式化建模生成渗透测试用例问题进行了研究，提出了以下方法：将SQL注入漏洞渗透测试用例生成分为两步：第1步建立渗透测试用例的形式化模型，以用例模型更全面、有规律地描述当前各种SQL注入攻击的方法模式，指导生成更多种类的用例输入；第2步提出若干新的SQL注入漏洞渗透测试用例覆盖度准则，将用例模型实例化、生成覆盖更多样式的用例输入。实验表明，用上述方法生成的用例，优于当前其它研究中使用的随机枚举用例，可更有效地测出隐藏于Web应用不足防御措施之后的SQL注入漏洞，从而降低渗透测试结果的漏报。