开发以工业气体为基的保护气氛

氮和其它工业气体作为热处理保护气氛,在20世纪后期已牢固建立。本文评述炉气的开发,及对它们未来使用的影响。0 引言 使用以工业气体为基的保护气氛始于60年代。从当初的小规模发展到当今占主要地位。据BOC Gases估计,在发达国家,气氛的64％(体积)用于热处理,和其它资料的估计一致。究其原因,是工业气体系统的生产能力能满足热处理厂商的要求,既考虑了安全与环     

基于USE的OCL约束验证过程解析

系统的静态模型通常由UML类图和OCL约束两部分构成。OCL约束可以转化为相应的程序代码，为此需要对模型及约束进行验证与确认。本文阐述了OMG的四层元横型框架，并以一个简易的模型为例，说明用USE对模型进行验证的全过程。     

Web服务编排中信息对齐交互建模方法研究

针对Web服务编排标准WS-CDL中信息对齐交互模式的异步特性,提出了一种基于进程代数的Web服务编排方法（PA4WS）,该方法新增WS-CDL工作单元描述算子,通过设置工作单元算子的卫式条件和循环条件来描述异步交互,进而完成对信息对齐交互的建模。     

多模型宏观经济信息系统设计中的若干问题

多模型宏观经济信息系统可为宏观经济调控提供更加科学精确的决策依据，文章探讨了以计量经济学和系统动力学为主要建模工具，客户／服务器模式下宏观经济信息系统的设计与实现中的若干问题，建模工具计量经济学模型采用TSP，系统动力学模型采用Vensim。系统具有自建的辅助数学模型DEA和AHP。系统实现了经济指标的实时求解和任意二种经济指标的相关图。     

第三方支付的基于SPIN的形式化分析

第三方支付业务在电子商务平台中的广泛使用,极大促进了电子商务活动的发展。利用模型检查工具SPIN、建模语言PROMELA,对第三方支付业务进行形式化建模,然后利用时态逻辑公式LTL描述系统待验证属性,最后验证表明,网上交易在第三方支付的支持下可以顺利进行。     

基于有限状态机的Web服务测试用例生成方法

提出了一种基于有限状态模型（FSM）的测试用例生成方法。首先,FSM中的状态由Web服务与用户交互产生的中间状态表示,FSM中的状态迁移及其标注由Web服务与用户间的消息交换表示;其次,借助正则表达式来描述Web服务交互过程的所有消息交换序列,并与Web服务的WSDL文档结合产生测试数据;最后,给出了满足FSM迁移覆盖准则的测试用例生成算法,并通过实验验证了该方法的有效性。     

SPIN语义引擎执行方式研究

模型检查工具SPIN的核心是PROMELA语言,对PROMELA语言执行方式的理解决定所描述系统模型的行为方式。本文从语义角度研究PROMELA语义引擎问题,首先给出PROMELA语法的抽象对象模型形式化定义,然后给出一个算法来实现PROMELA语法到抽象对象模型的映射,描述PROMELA指称语义。最后针对SPIN中atomic序列和同步通信等复杂问题给出解决方法。     

面向对象数据库设计方法

传统需求分析采用数据流图方法,数据库设计则采用Ｅ－Ｒ方法,这两种方法本质上是相分离的。面向对象数据库设计讲在面向对象需求分析基础上将对象模型向数据库结构进行转化的方法。     

基于XML的动态网页方法

XML给基于Web的应用软件赋予了强大的功能和灵活性,本文介绍基于XML动态网页制作方法。