一个柔性的形式化过程建模语言(英文)

提出了一个柔性的形式化过程建模语言FLEX.它具有丰富的语义、易用性、灵活性、可扩充性、可重用性和分布性,是一个可分析、可执行、演化的过程建模语言.建模语言不仅提供了高度抽象的描述方法以便于一般用户使用,还允许用户通过重用的方式自定义多种抽象级别的语言元素来扩充语言的描述能力.因此,FLEX语言可以支持不同层次和需求的过程建模.

分布式环境下工作流过程定义及形式化描述

定义了分布式工作流管理过程中的一些基本概念 ,阐述了工作流参考模型的基本组成及功能模块 ,建立了分布式工作流管理的业务流程描述 。

大学英语词汇概念化和形式化教学分析

本文基于Levelt的话语生成模型，探讨大学英语词汇教学的概念化过程和形式化过程的异同点，揭示大学英语词汇教学的规律，以提高学习者的词汇记忆力。

基于过程相似的Web服务功能匹配

针对现有Web服务匹配算法没有从过程与功能结合的角度实现服务匹配,从而导致匹配准确率不高的问题,在利用自动机将OWL-S刻画的Web服务表达为形式化过程的基础上,提出基于过程相似的服务功能匹配算法。该算法通过形式化过程的相似判定来判断请求与服务之间是否具有过程相似性,并结合过程相似判定的结果进行功能匹配;其中,过程相似判定是通过结构相似度计算和行为相似性检测实现的。最后,通过对比实验验证了该算法的可行性和有效性。

软件演化过程建模中的开发人员度量方法

提出了一种在构建形式化的软件演化过程模型(formal software evolution process model,FSEPM)中使用X-S图来度量开发人员的统计控制方法。开发人员是构建模型的核心角色,度量其相关属性可以透析和严格管理开发过程。通过一个实例说明如何度量处在构建过程中的开发人员,利用度量结果来分析开发过程的稳定性、找出可归属原因、进行预测和估计、并为整个开发过程的演化奠定基础。

基于Levelt话语生成模型的大学英语词汇教学分析

词汇教学是大学英语课堂教学至关重要的一个组成部分。传统的英语教学以语法教学为主体,词汇教学为辅的方式。这种词汇教学模式已不适应现代多元化社会交际的需求。本论文将以Levelt的话语生成模型为视角,尝试探讨大学英语词汇教学的概念化过程和形式化过程异同点,揭示大学英语词汇教学的规律,并提出一些建设性的意见。

逻辑经验主义的归纳逻辑观浅析

自近代以来,自然科学在物理、生物、化学等学科上取得的长足进步,使科学家们确信科学起源于经验事实,尊重观察和实验的经验方法,而鄙弃思辨方法。传统的归纳逻辑论者认为,科学是沿着经验积累,然后概括经验事实形成理论,也就是按归纳逻辑,即从个别经验事实命题推演出一般理论命题的逻辑程序发展的。他们把从某类个别命题推演出该类一般命题,把寻求一般命题的逻辑演算过程形式化,而把从个别到一般。

一种基于SEPM的过程片断效率度量和改进

提出了一种支持形式化的软件演化过程模型的效率度量方法和改进策略．效率度量可以帮助我们了解模块的执行效率和并行度．对于一个从SEPM中被截取下来的过程片断,介绍了如何通过定制它的效率度量原则、方法、步骤来进行定量分析和评价,根据SEPM的特点制定改进策略,挖掘和拓延活动内和活动间的并行性,从而提高该过程片断的效率,使它有能力,为评价整个软件演化模型的效率奠定基础．

算法社会的文化逻辑——算法正义、“荒谬合理”与抽象性压抑

"算法正义"的社会基础算法(algorithm)不是指计算本身,而是指计算的程序,即计算的形式化过程。复杂社会必须借助各种各样的算法,才能实现其内在的组织化职能,这就有了算法社会。算法社会显然不能等同于有算法的社会。算法社会确立了一种算法正义的文化逻辑。2019年开始实施的新税法,提高了个税起征点,也实行了免税额度,同时采用年终总计的方式征缴个人所得税。这样的算法起到了部分消除收入不均衡可能带来的社会负面效果,并呈现出"算法正义"的内涵:一方面,税收不仅是政府资金的来源,还是情绪政治的潜在杠杆,无形地实现了社会资源的合理分配;另一方面,税收通过算法的科学性逻辑,令政策的"执行"获得不容置疑的合法性。

社会软件及其认知逻辑分析

社会生活的各个方面都离不开逻辑推理和分析,从简单的烹饪技巧到大规模的投票选举,大多数社会过程都包含着推理结构。而把这些具有一定规律的社会过程形式化是有可能的。由此带来的一种有意义的工作是:通过某种方式把逻辑和社会过程联系起来,把精妙的逻辑原理应用到复杂的过程分析中去,使社会过程形式化、清晰化,从而指导人们进行有效的决策和社会活动。正是基于这个切入点,文章对社会软件——社会过程的形式化分析进行一定程度的探析,并对相关理论作一定的评速和比较。同时,我们还借用了博弈论和认知逻辑中的某些片段用于分析和解决若干具有一定实际意义的问意。