摘要：对平台无关模型(PIM)层次上的工作流模型进行细化操作,往往会造成计算无关模型(CIM)业务流与PIM工作流不一致的后果。对此,提出业务流模型与工作流模型的一致性验证方法。定义三种不同情形的细化,并利用扩展Petri网形式化描述每种细化的语义条件;设计语义一致性验证步骤;演示语义一致性验证的过程和结果。实验结果表明,该方法可有效地验证PIM工作流模型在细化过程中是否改变了系统的业务流,以及修改的程度。

摘要：为缩小应用前端与系统结构模型之间的鸿沟,提出将交互流建模语言模型(IFML)直接映射为服务内容模型(SCM)的方法。首先,分析IFML和SCM元模型元素的特点,设计IFML模型元素至SCM模型元素的映射规则;然后,利用查询视图转换操作语言(QVTo)描述映射规则,并在IBM Rational Software Architect(RSA)平台上执行QVTo引擎,完成IFML模型至SCM模型的自动映射;最后,应用网上购物系统演示模型映射的执行结果,利用形式语义验证IFML模型与SCM模型之间的一致性。实验结果表明,应用前端的视图容器、动作和事件等元素与系统结构之间存在很强的一致性,IFML模型至SCM模型的自动映射可使系统的内容模型设计更加符合用户需求,从而有效提高软件开发质量和效率。

摘要：依据软件工程课程的特点和课程目标,按照OBE理念对知识、能力和素质的要求,构建软件工程课程目标与人才培养方案中毕业要求之间的对应关系,设计软件工程课程的教学内容和考核方式,分析软件工程课程的教学目标达成度,最后依据达成度评价结果提出持续改进的措施。可见,课程的教学目标和任务的达成情况直接决定着毕业要求指标的完成情况,对软件工程课程的达成度分析,可有效地提高计算机科学与技术专业人才培养的质量。

摘要：多层次多视图模型是在不确定需求环境下进行业务建模的主要方法,不同层次或不同视图模型之间的语义一致性直接影响业务建模的完整性。鉴于此,设计一种业务目标模型与业务场景模型的语义一致性验证方法。分别以范畴模型和扩展Petri网模型代表业务目标模型和业务场景模型,通过定义形式化业务目标模型的紧邻序列和形式化业务场景模型的执行顺序序列,设计这两种模型之间完全语义一致性、部分语义一致性和弱语义一致性的验证条件和验证步骤。Travel Agency业务系统上的一致性验证结果证明了该方法的可行性和有效性。

摘要：面向目标需求语言(goal-oriented requirement language,GRL)模型聚焦于待定的需求,被广泛地应用于业务系统的初始需求建模,其模型的正确性影响到业务系统的开发质量。鉴于业务目标模型的形式化可以验证模型的正确性,提出了一种利用范畴论形式化GRL模型的方法。首先,依据GRL元模型结构,应用范畴论中的态射机制形式化描述GRL模型中目标与目标、目标与任务以及任务与任务等节点之间的关系;然后,通过增加范畴模型中的初始对象和终止对象,设计紧邻序列来表示多个目标与任务实施的因果关系;最后,设计业务目标模型系统的正确性结构性质。应用Web Payment系统实验表明,形式化业务范畴模型能够验证GRL模型的正确性,提高目标建模的质量。

摘要：网络课程的教学设计不同于传统课程的教学设计。为提高网络课程的教学效果,该文提出了一种新的设计方法,并着重探讨了网络课程泛能化设计的具体策略。

摘要：以洪泽湖流域洪涝灾害为研究对象,构建了洪泽湖流域洪涝灾害预警系统的基本框架,分析了系统的基本功能模块。预警系统采用三层次模型,包括数据库子系统、仿真模拟子系统和辅助决策子系统三大模块。对各子系统,重点探讨了数据库系统的建立、洪水蔓延演进模拟的算法、灾情信息的提取、灾情等级评估以及最佳紧急转移路径的选择等功能模块的设计。

摘要：作为古今汉语常用的一种修辞方式，叠音被人们广泛运用。叠音词也成为一个数量巨大，同时极具特色的群体。叠音词主要有以下修辞功能：生动形象地描摹事物，创造意境；增强节奏感和韵律美；突出感情色彩等。本文试图通过研究叠音词的运用，探索其独特的修辞功能和艺术效果，揭示其语言价值。

摘要：虚拟教室作为一种网络教学平台,为教师和学生提供了一个类似传统教室,同时又不受时间、地域限制的网络教学环境。基于WEB的虚拟教室功能设计以满足教师、学生和管理员三种使用者的需要为依据,打造数字化开放式虚拟课堂教学环境。

摘要：作为古今汉语常用的一种修辞方式，叠音被人们广泛运用。叠音词也成为一个数量巨大，同时极具特色的群体。叠音这种语言形式是随着文学和语言的发展而发展起来的，它的产生和发展是多种因素的共同作用的结果。叠音词具有十分丰富的修辞功能，因此在历代文学作品中被广泛应用。研究叠音词的历史发展原因，以及叠音词的运用表现，我们可以发现其独特的艺术效果，揭示其语言价值，可以使我们对叠音词有更深入的认识。