扩展呼叫处理语言:一种面向综合通信服务的语言

介绍了一种面向电信增值业务领域的流程描述语言XPL(extended-calling process language)以及支持该语言的业务生成系统.XPL拥有较强的语音类业务描述能力和数据类业务描述能力,具有抽象层次高,使用灵活、简单,开发业务速度快的特点.该业务生成系统基于面向服务的构架(services-oriented architecture,简称SOA),适用于网络融合条件下的业务生成.     

UML Statechart图的操作语义

面向对象标准建模语言UML(unified modeling language)缺乏精确的动态语义.根据UML1.1语义文档,提出描述对象状态机的UML Statechart图的形式化操作语义.该语义覆盖了UML Statechart图的绝大部分特征,为UML Statechart图的代码产生、模拟和测试用例生成奠定了基础.根据上述语义,基于Rose98完成了UML Statechart图的测试用例生成和测试过程的模拟.     

PSL构造双向交换自动机及非确定自动机的方法

PSL(property specification language)是一种用于描述并行系统的属性规约语言,包括线性时序逻辑FL(foundation language)和分支时序逻辑OBE(optional branching extension)两部分.由于OBE就是CTL(computation tree logic),并且具有时钟声明的公式很容易改写成非时钟公式,因此重点研究了非时钟FL逻辑.为便于进行模型检验,每个FL公式必须转化成为一种可验证形式,通常是自动机(非确定自动机).构造非确定自动机的过程主要是通过中间构建交换自动机来实现.详细给出了由非时钟FL构造双向交换自动机的构造规则.构造规则的核心逻辑不仅仅局限于是在LTL(linear temporal logic)基础上的正规表达式,而且全面而充分地考虑了各种FL操作算子的可能性.并且给出了将双向交换自动机转化为非确定自动机的一种方法.最后,编写了将PSL转化为上述自动机的实现工具.FL双向交换自动机的构造规则计算复杂度仅是FL公式长度的线性表达式,验证了构造规则的正确性.在此基础上,证明了双向交换自动机与其转化的等价的非确定自动机接受的语言相同.上述工作对解决复杂并行系统建模和模型验证问题具有重要的理论意义和应用价值.     

基于面向服务架构的港口智慧气象服务系统

随着海洋气象业务不断发展,海洋气象服务也逐渐向专业化、可视化及智慧化方向发展,综合性海洋气象服务已不能满足港口气象服务实际业务需求.为保障港口安全生产,提升港口气象服务效能,本文提出了一种基于面向服务架构(service-oriented architecture, SOA)的港口智慧气象服务系统建设方案.通过对气象、港口、地理信息等多源异构业务数据进行动态集成,结合XML(extensive markup language)、Web service、数据仓库、中间件模式、WebGIS、消息队列等计算机相关技术,实现了港区气象业务数据实时监测,港口专业预报预警,应急预案制作发布、专业用户及气象要素阈值管理等功能.系统业务应用结果表明,该系统满足港口专业气象服务需求,有效减少了海洋气象灾害对港区生产活动的不利影响,同时系统可扩展性强,具有较高应用推广价值.     

基于面向服务体系结构的综合业务生成*

对当前主要的电信业务生成技术进行了分析,提出了一种基于SOA的综合业务生成系统框架,利用统一的服务描述和高效灵活的服务调用机制,支持网络开放能力的多种封装形式和多种业务实现环境,并把电信网络和Internet上的服务能力有机结合起来。     

易变信息全局距离最优动态选择算法

Web服务组合问题中数以千计的Web Service的信息可能会随时改变,如何发现这些易变Web Service描述信息(包括服务提供者和服务消费者的描述信息),如何根据用户的需求来自动组合Web Services,生成满足用户需求的组合业务,并及时应用到业务执行流程中。本文设计了一种基于用户需求服务全局距离最优动态选择算法(Dynamic Selection Algorithm with Global OptimalDistance),用于发现动态调用Web Services来自动生成满足用户所需目标的Web Service组合。     

一种面向领域需求与业务流程间一致性的检测方法

BPMN是软件开发领域中较为常用的描述业务流程的建模标准.在包含业务流程可变性的软件产品线中,基于BPMN的业务流程模板可支持针对领域需求的业务流程描述,并且能够高效地生成面向特定应用需求的业务流程实例.然而,领域需求与业务流程模板之间往往存在不一致情况.针对该问题,提出一种面向领域需求与业务流程一致性的模型检测方法,该方法使用变数线性时态逻辑(FLT[L)描述领域需求,同时使用状态进程公式(FSP)描述BPMN实例,在持续的迭代过程中使用自动化模型检测工具发现领域需求与业务流程之间的不一致,并将其反馈给相关人员实施修正.     

基于时间抽象状态机的AADL模型验证

提出了一种基于时间抽象状态机(timed abstract state machine,简称TASM)的AADL(architecture analysis and design language)模型验证方法.分别给出了AADL子集和TASM的抽象语法,并基于语义函数和类ML的元语言形式定义转换规则.在此基础上,基于AADL开源建模环境OSATE(open source AADL tool environment)设计并实现了AADL模型验证与分析工具AADL2TASM,并基于航天器导航、制导与控制系统(guidance,navigation and control)进行了实例性验证.     

基于本体的服务构件描述研究与实现

面向服务架构(SOA)是实现企业自动化的未来发展趋势,用面向服务思想架构企业应用更强调如何通过基于构件的软件开发(CBSD)快速满足企业多变的业务需求,构件的描述方法是构件库管理和构件分类检索的基础.通过对服务构件的语义描述方法与传统构件描述方法的比较,引入了本体建模的思想,对青鸟构件库系统构件分类描述规范和OWL-S规范进行了扩展,提出了一种基于本体的服务构件描述方法.这种服务构件语义描述方法支持面向服务的语义检索,提高了服务检索的查全率和查准率,为实现基于语义Web Service的SOA网构开发奠定基础.     

Selection of mobile value-added services for system operators using fuzzy synthetic evaluation

Following deregulation of the mobile phones market and liberalization of the telecommunications sector, the service sector for mobile phones is becoming increasingly saturated. Telecom operators are confronted with a sluggish user growth rate and a fall in the average revenue per user (ARPU). Mobile value-added services are expected to form mobile operators' strategy to make up for the dwindling revenues obtained from users. The purpose of this study is to provide an analytical tool to select the best mobile value-added service firm providing the most customer satisfaction. This study adopts a fuzzy synthetic evaluation method, using an analytic hierarchy process (AHP) to evaluate the performance of mobile value-added services system operators. This method can help consumers select the appropriate firm from the other consumers' opinions, and can help telecom operators to understand the market status of mobile value-added services as well as the prevailing consumer patterns.     

采用动作时序逻辑的Web服务组合方法

基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法。讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。     

基于VoiceXML的语音增值业务平台的架构设计

目前语音增值业务发展迅速，但还缺乏统一的规范。该文设计了一个基于VoiceXML(Voice Extensible Markup Language)的语音增值业务平台的架构，规范了语音增值业务的开发、管理界面，讨论了语音增值业务执行平台和语音增值业务管理平台的功能和结构，着重分析了在此架构上实现业务的几个关键流程，并将此架构和目前IVR(Interactive Voice Response)平台进行了比较。     

基于IMS的多媒体彩像业务的设计和实现

多媒体彩像(MRT)业务是一种采用多种媒体作为振铃音的增值业务。该文结合IP多媒体子系统(IMS)网络体系结构和MRT业务属性，提出了一种利用多媒体彩像业务平台(MRTSP)来实现MRT业务的方案，包括系统设计和基于会话发起协议(SIP)的信令流程，分析了相关特点并进行了总结。     

基于Parlay API的NGN业务生成环境的研究

下一代网络(NGN)将融合无线电话网和固定电话网，同时融合电路交换、包交换等各种交换方式，在NGNT下可以快速有效地开发和部署电信新业务，是目前的研究热点。文中论述了Parlay API的体系结构和应用程序编程接口，在此基础上提出了基于Parlay API的NGN业务生成环境(SCE)的设计方案。该方案弥补了现有SCE在“厂商无关性”和“平台兼容性”方面存在的缺陷，使业务开发商能迅速高效地开发出个性化的电信业务。     

可视化语言技术在软件开发中的应用

可视化语言技术比一维文本语言在描述软件组成方面具有优越性.由于图表和图形概念在系统建模中的广泛使用,可视化语言可以应用于需求分析、设计、测试和维护等软件开发的各个阶段.除了具有直观易见的特点之外,图文法在计算机上的精确建模和验证能力,为设计可视化语言提供了一个坚实的理论基础.讨论了可视化语言的形式理论基础,回顾了相关的可视化图形编程环境.特别提出了一种空间图文法,并且用该图文法定义了统一建模语言的行为语义.基于空间图文法,开发了一种基于模式驱动的框架,以帮助软件架构与设计.