《软件建模技术》课程在Web服务组合中的应用探索

在Web服务互操作技术的基础上,提供高层的Web服务集成手段、实现Web服务组合成为Web服务技术发展的自然需求。Web服务(Web Services)是当前实现面向服务的体系结构最有前景的技术。Web服务技术的广泛应用使得Web服务正逐步成为Internet网络环境中资源封装的标准形式。随着部署在Internet上的Web服务不断丰富,这些可被公共访问和集成的服务构成了一个潜在的巨大标准组件库。本文探讨了在《软件建模技术》课程中所介绍的语法方法、语义方法、UML方法和形式化方法在Web服务组合建模中的应用情况。     

非形式逻辑形式化研究的三个问题

非形式逻辑的形式化研究秉持一种局部的形式化观,即非形式逻辑能够部分地被形式化,但不是全部。形式化研究亟需回应三个问题：第一个问题是如何确定形式化域,也就是明确形式化的研究对象。第二个问题是如何找到适格的形式化工具,使之能够适用于处理形式化域当中的研究对象。第三个问题是如何应用适格的形式化工具来展开具体的形式化研究。回答这三个问题是建构非形式逻辑形式化理论的基础。     

哲学理论的形式化问题

形式化是现代逻辑最重要的方法。将形式化方法引入哲学研究是必要的，也是有可能的，当今的“哲学逻辑”把这种可能性变成了现实；哲学理论的形式化有自己的具体操作程序。但是哲学理论的形式化也有其内在局限，即适用范围的狭窄性、研究结果的尝试性、作用程度的有限性；因此最后结论是：形式化是哲学研究的一种重要的辅助性研究方法，必须注意将它与其他哲学研究方法配合使用。     

语境的形式化研究

语境是语言交际的重要因素 ,信息技术不断发展 ,计算机处理自然语言 ,必须对语境形式化。本文从计算语用学和人工智能的角度出发 ,对语境的形式化研究进行了综述。计算语用学的目的是建立自然语言理解系统 ,而人工智能研究语境形式化主要解决知识普遍性的问题。从第 2节到第 4节 ,文章从理论背景 ,研究方法和逻辑表征方式三个方面综述McCarthy(1987) ,Perrault和Allen(1980 ) ,Bunt(2 0 0 0 )对语境进行的形式化研究 ,比较它们的不同和相同之处 ,为语境的形式化提供可借鉴的方法和理论。     

相对论的产生与形式化方法

相对论不只是物理学的一种进步，而且产生了极为广泛的影响。所以，探讨爱因斯坦应用的方法是十分必要的。本文通过对相对论之理论构造的分析，得知其方法为形式公理学。     

粒的形式化表示研究

为了能为粒计算的粒提供一种统一的表示形式,分析了粒的对象、特征、关系及状态等4个基本要素,提出了基于数据层面的粒的四元组的形式化表示形式,即由对象集、特征集、关系集和约束集四元组组成。接着给出了几个特殊粒的表示形式,然后说明了该表示形式的统一性,并结合具体的例子进行了研究。该形式化表示形式能够很好地解决基于数据层面的粒的表示问题,有利于问题求解和粒计算理论的研究。     

基于形式化技术的电梯系统规格说明

为克服非形式化技术描述系统规格说明带来的二义性,本文采用一种形式化技术——有穷状态机来描述电梯系统的规格说明,有穷状态机技术准确、无歧义,可以正确地描述一个系统。     

实时可信服务的构件设计与形式化描述

针对分布式实时嵌入式系统DRES,设计了一种提供自适应服务质量(QoS)保证的构件模型QuOCCM,以形式化方法描述构件,并推导构件各实体之间的自适应过程。QuOCCM由三部分组成,Client、Qoskets和Server,分别以CCM(CORBA Component Model)构件技术实现。Client与应用或功能构件交互,获取当前QoS需求,并触发自适应机制;Qoskets通过对QoS保证框架QuO进行改进,以构件技术实现QoS自适应调整策略;Server提供自适应调整之后的QoS保证机制。研究结果表明,该方法不仅保证了DRES中当前应用环境的QoS自适应需求,而且QoS保证与具体功能应用分离也降低了系统开发的复杂性。形式化方法研究为构件实体间的交互提供了保证。     

资源描述框架的形式化表示问题研究

资源描述框架(RDF)正成为语义网技术中首选的数据描述语言,因而在语义网系统中有着广泛的应用基础。RDF的形式化表示问题是RDF研究领域的重要课题。本文结合国内外关于RDF形式化表示的各种观点,提出了一种较为完整的RDF图形式化表示框架。     

论法律推理的形式化

法律推理的形式化,作为法理学研究中的一个重要内容,在国内一直饱受质疑.在系统分析国内外法律推理形式化研究不同特点的基础上,探索“形式理性”与“实质理性”相结合的途径,即基于语用推理的视角,从法律规范推理及适用推理两大方向进行面向法律实践的形式化研究.     

一种用于循环程序形式化验证的划分归纳方法

为了提高软件的可靠性,人们一直在形式化验证和软件测试两个方面进行不懈的努力。本文利用划分测试中的自动分割替代技术,针对循环程序的输入域,提出了一种划分算法,并在此算法的结果上建立一种划分归纳方法,它能简化循环程序的形式化验证过程。     

浅谈数学建模的方法

针对数学建模的方法进行研究、讨论,特别是对建模方法中的直接建模法、套用已知模型法、修改已知模型法以及综合创造法进行阐述.     

形式化的经济发展理论研究综述

形式化的经济发展理论是指那些用动态一般均衡分析框架来解释经济发展现象的模型。一般说来,经济发展现象包括:增长起飞,即人均产出由停滞到持续增长的转变;人口转型,即人口增长由快速到缓慢的转变;工业化,即生产技术从传统到现代的转变。本文对主要的形式化经济发展模型进行归纳总结,以期梳理出它们关于经济发展机制的基本看法。在形式化经济发展模型中,技术进步、人口转型和工业化被认为是增长起飞的三个基本机制;小孩质量替代小孩数量和消费品数量替代小孩数量是人口转型的两个基本机制;利润平均化则是工业化的基本机制。     

对科研中机械地形式化的批判

本文对现代科学界一部分人在科研中机械地形式化这一现象提出批评 ,从哲学和科学史方面论证机械地形式化只能得出不真实的结果、会过早地结束科学体验的过程从而失去创新的机会等结论。希望青年学者能抵制这一流弊 ,养成严谨的科研作风 ,并在严谨的科研中作出创新。     

基于UML活动图的工作流建模方法

对工作流管理系统的功能特性进行了分析,提出了一种工作流执行系统的体系结构,并详细描述了用UML活动图为工作流建模的过程.     

基于L—System的虚拟植物的子结构建模方法研究探析

本文研究了改进L—System的虚拟植物的建模方法。通过引入微分优化L—System虚拟植物的建模方法及子结构的概念、方法实现等问题提出优化L—System;使模拟效果更加逼真。     

灰色系统的建模

本文阐述了灰色系统的建模方法,主要介绍DM(1,1)模型.为研究预测模型的精确问题, 又提出了残差信息的观点,阐述了多序列数据残差辨识模型的建立方法.     

基于UML的电子商务系统建模的研究

对UML的建模原理作了系统的介绍,然后以电子商务系统的开发为背景,详细的阐述了基于UML的电子商务系统建模过程和关键技术。     

论先锋小说叙事模式的形式化

西方后现代主义文艺思潮对中国先锋小说叙事模式的影响是形式化。它主要表现在以下三个方面:(1)叙事视角由边缘人物承担;(2)叙事时间呈能指化倾向;(3)叙事结构符号化。先锋小说叙事模式形式化引起了中国小说美学的一次革命,其意义深远。