基于有色Petri网的Web服务合成建模

分析了用一般Petri网进行Web服务合成建模的不足,提出用有色Petri网进行改进.利用有色Petri网原理给出了Web服务的形式化定义,描述了Web服务合成的五种基本结构的Petri网模型,通过一个行程规划实例,分析了行程中的不同Web服务,描述了行程规划服务由不同Web服务合成的有色Petri网模型,展示了有色Petri网在Web服务合成建模中的优势.     

基于UML活动图的Web服务合成动态行为建模方法研究

描述了利用UML进行Web服务合成的建模方法,包括静态结构建模和动态行为建模两个方面,针对Web服务合成的动态行为建模部分,详细说明了利用UML活动图进行建模时需要注意的问题,如活动图的控制流模式与Web服务合成控制流模式的语义对应关系,所支持的数据模式,以及为了方便模型转换对活动图actions元素的概念扩展,给出了动态行为建模方法,并给出了基于OCL的转换规则以及UML活动图元素到BPEL4WS元素的映射关系,最后通过订单管理案例对所述方法进行验证,为Web服务合成提供了新的思路。     

支持SMDA服务建模工具的设计与实现

讨论了支持服务模型驱动体系结构(SMDA)的建模工具的设计和实现方法,对SMDA的服务模型规范作了简介,对建模工具的系统结构和功能进行了详细描述,介绍了基于JHotDraw的实现方法,并给出了服务系统建模的一个实例.     

面向服务的虚拟企业建模研究

提出一种面向服务的虚拟企业建模方法.首先对虚拟企业中伙伴选择策略进行了分析,提出了应用Na?ve Bayesian分类器进行伙伴选择的算法;然后提出了基于制造专业服务和服务提供商构建虚拟制造组织(虚拟企业)的架构,并分析了基于该架构的虚拟企业建模流程.基于该方法实现了原型系统,并应用于松散耦合的企业间协作业务.     

面向服务的AI-ESTATE故障诊断系统建模

测试和诊断的融合可以提高武器系统的维护效率,但是随着武器装备的升级改造就带来了原有的诊断知识难共享、诊断推理软件难以互操作、难重用,诊断功能难扩展的问题;AI-ESTATE标准规范了诊断知识和数据的标准化描述和诊断推理机的服务接口,为知识互换和软件可移植提供了条件;论文研究了面向服务的AI-ESTATE开放式故障诊断系统的体系结构和信息传递模式,分析了推理机模型管理服务和互操作服务;然后运用静态诊断模型服务关系图和UML时序图分析了AI-ESTATE服务在诊断模型编辑、索引等功能实现中的交换流程,运用动态诊断模型的UML时序图分析了AI-ESTATE互操作服务在故障诊断系统运行中推理机与其它组件的动态交互过程,为开放式AI-ESTATE智能诊断系统的开发奠定了基础。     

SOMA：面向服务的建模

随着SOA建设的深入，SOA所要求的各个相关方向也都在逐步深入，SOA的建模，SOA的测试，SOA的安全等等领域都给我们提出了新的要求。     

基于Petri网的Web服务流程建模

Web服务流程模型的建立是实现Web服务集成的重要环节。研究了Web服务流程Petri网模型的建立及其正确性检验的方法，并给出了Petri模型中基本路由的BPEL4WS描述。     

一种基于定理证明的Web服务合成方法研究

随着Internet中Web服务的不断增长,如何通过对现存的服务进行合成,以满足用户的个性化需求,成为目前的研究热点。通过引入线性逻辑工具,提出了一种新的Web服务合成解决方案,通过定理证明形成对应的自动服务合成流程。示例证明了该方法的有效性。     

矩阵初等变换的非数值建模及应用研究

通过分析矩阵初等变换的一般应用,本文建立一个记录矩阵初等变换过程的记录模型。该记录模型不仅能记录矩阵变换过程的所有参数,同时也能减少实际应用中矩阵变换的计算量。通过把记录模型应用于求逆矩阵的实际计算,并与传统的单位矩阵扩展变换的运算方法进行对比测试。结果表明,记录模型比传统的计算方法效率更高。     

北约建模与仿真即服务研究

建模与仿真具有极高的应用价值,并且其产品、数据与流程的易于访问性也变得极为重要.然而,为确保分布式仿真系统的互操作性和结果的可信性、一致性,需要花费极大的时间、人力和预算等开销.以有效、高效交付建模与仿真能力为目的,北约建模与仿真组(NMSG)提出建模与仿真即服务(MSaaS,Modelling and Simulation as a Service)概念并设计相应参考架构,支撑按需部署与执行组件化的分布式仿真环境.针对北约建模与仿真即服务的概念内涵、参考架构、工程过程、服务发现等相关内容进行分析研究.     

面向服务业的通用业务知识模型与逻辑表示

现有的知识管理方法多种多样,但是不存在统一的解决方法。在服务业中,借鉴都柏林核心的思想,建立一种普适的结构模型,采用分层的思想,对服务业知识进行建模。为了更清楚地表述模型,引入动态描述逻辑(DDL)的方法描述模型,对模型中的动作及模型的状态进行表示,使知识更利于计算机严格地操作。     

业务受理系统中业务逻辑模型的研究与实现

业务受理系统主要供监督中心工作人员使用,在城市管理信息系统和呼叫中心（站）系统的基础上．对城市管理问题进行登记、核实、转发、立案等操作,根据监督员问题上报和社会公众举报生成案卷记录,并促使案卷记录在系统中流转,实现与协同工作系统的信息传递。业务受理是数字化城市管理的基础业务流程,其业务逻辑多元而复杂,本文在详细研究业务受理系统业务逻辑的基础上,提出业务逻辑模型化思想,并将该设想应用于数字化城市子项目中,取得了良好的效果。     

服务组合中基于线性逻辑的消息语义匹配

介绍一种自动服务组合模型服务消息语义化匹配验证的方法。该方法先从服务描述中提取服务消息模型和服务行为模型,后将服务行为模型转换为形式化的有限状态自动机。根据有限状态自动机中的服务接口可以转化为本体概念,服务行为可以转换为线性逻辑表达式描述,使用线性逻辑的演绎方法对服务消息的匹配性和可满足性进行验证。同时,对线性逻辑的演绎定理进行适当扩展以适应服务组合的需要。     

基于描述逻辑的主体服务匹配

多主体系统中的服务匹配是智能主体和多主体系统等领域中的重要研究课题．描述逻辑是知识表示和推理的形式化工具,它提供了可判定的和可靠的推理服务．该文利用描述逻辑有效的推理功能,特别是它对概念包含关系的有效判断,把它与多主体系统的服务推理结合起来．充分利用描述逻辑具有清晰模型一理论语义和有效的概念分层推理服务等功能,该文提出了基于描述逻辑的主体服务匹配算法,详细研究了如何利用描述逻辑的理论和推理机制来实现自动的服务分层及服务匹配．并提出了五种服务匹配算法．这些方法都是基于语义的服务匹配,利用服务分层机制实现了有效和高效的多主体系统中的服务匹配,克服了基于语义距离进行服务匹配的不足．     

智能网业务逻辑的一种验证方法

智能网业务逻辑在不同的平面中有不同的表示。在总功能平面中,有一组总业务逻辑(GSL),它说明了完成各个业务独立模块(SIB)链接在一起的次序;在分布功能平面中,分布业务逻辑(DSL)是实现SIB功能时各个功能实体的动作和各个功能实体间的信息流;在物理平面中,包含业务控制功能(SCF)的物理实体执行业务逻辑程序。通信有限状态机模型是由表示进程的有限状态机和表示进程之间通道的先进先出队列(FIFO)组成。文章利用通信有限状态机(CFSM)模型描述智能网业务逻辑(SL),并给出了通过业务逻辑的CFSM模型验证业务逻辑正确性的一种方法。     

基于时序Petri网的联锁逻辑形式建模与验证

时序Petri网结合Petri和时序逻辑的优点,清晰简洁地描述并发系统事件间的时序和因果关系,包括系统的最终性和公平性。文章给出安全苛求系统——车站信号联锁逻辑系统的时序Petri网描述,并使用时序逻辑描述系统状态的时序和因果关系,最后通过分析和验证模型的性质得出系统是正确的。     

一种可扩展型CLP系统的统一建模方法

约束推理是人工智能中主要组成部分之一,可以解决实际优化调度和规划过程中的约束求解问题。这里在解释了约束逻辑程序设计的原理和过程基础上,打破封闭式约束逻辑程序设计系统,从软件工程上采用统一建模语言,提出一种新的开放的可扩展型约束逻辑程序设计结构系统。为实现可扩展的约束推理搜索系统,引进UML建模语言中用例图、类图和协作图。在建模基础上详细说明了可扩展约束逻辑程序设计中数学模型,搜索引擎和搜索驱动三者间的关系以及它们内部的工作内容。最后在描述系统结构后,提出了可扩展的内容。根据扩展因素,外界为满足更多的需要可扩展本系统的约束过滤器。     

移动数据增值业务平台逻辑架构整合研究

摘要：移动数据增值业务的发展对业务平台提出了更高的要求,但业务平台功能的重复建设在一定程度上阻碍了业务的发展,本文在对现有移动部分增值业务平台逻辑架构进行分析的基础上提出了整合的思路。     

基于混合逻辑动态的制造系统建模方法研究

针对制造系统中连续和离散并存的混杂特性,在分析目前混杂系统典型建模方法的基础上,提出采用针对复杂工业过程、集成控制对象定性知识和逻辑规则的混合逻辑动态(MLD)模型对制造系统进行建模方法研究,讨论了制造系统抽象的一般规律,建立了一个具体制造生产线的MLD模型,为今后相关性能分析和控制器设计奠定了基础。