检索结果-内蒙古大学图书馆

计算机应用研究 2014年第10期31卷 2896-2901页

作者：李宗花周晓峰顾爱华李勤丰河海大学计算机与信息学院南京211100 淮阴师范学院计算机科学与技术学院江苏淮安223300

以模型为驱动的开发方法是当前软件工程领域研究的热点,计算无关模型(computation independent mo del,CIM)在模型驱动架构中关注系统的需求和环境,其有效的建模方法和模型形式化是实现高层概念模型至代码自动转换的关键。首先介绍了现... 详细信息

以模型为驱动的开发方法是当前软件工程领域研究的热点,计算无关模型(computation independent mo del,CIM)在模型驱动架构中关注系统的需求和环境,其有效的建模方法和模型形式化是实现高层概念模型至代码自动转换的关键。首先介绍了现有CIM建模内容和方法;然后分析了现有CIM模型形式化方法现状与不足;最后探讨了针对不同应用系统可行的多视图多层次CIM建模方法及一致性问题研究,并提出CIM完全形式化方法研究的可行方案。

关键词：计算无关模型多视图多层次模型模型一致性模型形式化

来源：评论

学校读者我要写书评

暂无评论

基于范畴论的业务目标模型形式化

引用

计算机应用研究 2020年第5期37卷 1445-1449页

作者：李宗花李必信淮阴师范学院计算机科学与技术学院江苏淮安223300 东南大学计算机科学与工程学院南京211189

面向目标需求语言(goal-oriented requirement language,GRL)模型聚焦于待定的需求,被广泛地应用于业务系统的初始需求建模,其模型的正确性影响到业务系统的开发质量。鉴于业务目标模型的形式化可以验证模型的正确性,提出了一种利用范... 详细信息

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

关键词： GRL模型范畴论模型形式化模型正确性验证

来源：评论

学校读者我要写书评

暂无评论

利用扩展的Petri网模型形式化业务场景模型

引用

淮阴师范学院学报（自然科学版） 2016年第4期15卷 309-316页

作者：李宗花周晓峰叶正伟吴克力淮阴师范学院计算机科学与技术学院江苏淮安223300 河海大学计算机与信息学院江苏南京211100 淮阴师范学院城市与环境学院江苏淮安223300

UCM模型作为一种图形化的业务场景模型,其场景设计可以表示需求和产生规格,驱动设计和系统演化,UCM模型的正确性影响软件开发的质量.鉴于形式化模型可以验证其正确性,提出了一种利用扩展的Petri网模型,应用模型驱动实现业务场景模型的... 详细信息

UCM模型作为一种图形化的业务场景模型,其场景设计可以表示需求和产生规格,驱动设计和系统演化,UCM模型的正确性影响软件开发的质量.鉴于形式化模型可以验证其正确性,提出了一种利用扩展的Petri网模型,应用模型驱动实现业务场景模型的形式化方法.该方法通过细化Petri网模型中的Transition结点,从而有效的描述业务场景模型中的路径决策和动态行为.通过对UCM模型和扩展的Petri网模型的抽象语法定义,利用模型驱动方法定义了UCM模型元素形式化映射为Petri网模型元素的规则,并根据其规则设计了映射算法;在Eclipse平台上使用ATL语言实现了模型的形式化映射;应用Web Payment实例演示了UCM模型的形式化分析结果.

关键词：业务场景模型 UCM Petri网模型形式化

来源：评论

学校读者我要写书评

暂无评论

基于扩展Petri网模型的BPMN形式化

引用

计算机科学 2016年第11期43卷 40-48页

作者：李宗花周晓峰吴克力陈伏兵河海大学计算机与信息学院南京211100 淮阴师范学院计算机科学与技术学院淮安223300

BPMN(Business Process Modeling Notation)作为一个在系统开发早期阶段获取业务过程模型的标准,指导系统的设计和开发,其模型的正确性是影响软件开发质量的关键。鉴于BPMN模型的形式化可以验证模型的正确性,提出了一种利用扩展Petri网... 详细信息

BPMN(Business Process Modeling Notation)作为一个在系统开发早期阶段获取业务过程模型的标准,指导系统的设计和开发,其模型的正确性是影响软件开发质量的关键。鉴于BPMN模型的形式化可以验证模型的正确性,提出了一种利用扩展Petri网模型,应用模型驱动技术实现BPMN模型形式化自动执行的方法。该方法通过细化Petri网模型中的Transition和Place元素以及增加Organization Identifier和Group Identifier容器,使其不但能够描述BPMN模型中的动态行为,而且还能描述BPMN模型中的动态行为协作和静态组织结构。从元模型结构、语法和图标记方面详细分析了扩展的Petri网模型元素,利用模型驱动开发技术设计BPMN模型元素至扩展的Petri网模型元素的转换规则,并在Eclipse平台上使用ATL模型转换语言执行映射,实现形式化的自动执行。最后在此基础上应用Travel Agency系统演示了模型形式化插件BPMN2ExtendPetrinets的执行结果。

关键词： BPMN模型模型形式化 Petri网模型转换

来源：评论

学校读者我要写书评

暂无评论

Web应用模型的形式化与优化及其可视化方法研究

Web应用模型的形式化与优化及其可视化方法研究

引用

作者：王皙上海大学

学位级别：硕士

Web应用的出现与盛行已将软件产业悄然带入规模化、复杂化的时代，提高其检测方法的自动化程度是当务之急。因此，我们采用基于模型的测试方法，以Web应用模型作为测试用例的来源。另外，为了使该模型与用户需求保持一致，必须对其应满... 详细信息

Web应用的出现与盛行已将软件产业悄然带入规模化、复杂化的时代，提高其检测方法的自动化程度是当务之急。因此，我们采用基于模型的测试方法，以Web应用模型作为测试用例的来源。另外，为了使该模型与用户需求保持一致，必须对其应满足的各种性质进行验证。由此可知，模型构建是重要问题。\n UML是理想的需求与设计模型语言，而模型检验与测试自动化要求模型用统一的形式化语言描述。鉴于大多数模型检验工具以FSM模型作为输入，本文提出了一种将UML模型形式化为FSM模型的方法，使之满足检测过程的需要。由于状态图代表系统行为的最小单位，本文从它们的形式化着手。另外，顺序图也是描述系统行为的常用模型，本文亦对其进行了研究并给出相应的形式化方法，不但服务于检测过程，也可用于后续归约过程。\n 高复杂度的Web应用软件将导致大规模的FSM模型，并可能引发状态爆炸。为了解决这个问题，我们利用归约指示及本文提出的一系列相关算法，对前期模型形式化后获得的系统FSM模型进行归约优化，产生只描述用户所要求测试的功能的FSM模型。该方法主要可分为两步，首先生成形式化的归约指示，将顺序图模型转换为FSM模型，然后以该形式化的归约指示为指导，对系统FSM模型执行归约操作，达到优化的目的。\n FSM是我们研究工作中系统行为的重要描述形式，它为各环节传递信息，但计算机处理能力的局限性迫使模型只能以文本为载体。为了直观地了解其结构，本文给出了一种层次FSM模型的可视化方法。它首先读取模型文本，并以层次化的数据结构进行存储，然后根据用户要求查看的复合结点的对应关系，对相应FSM模型进行可视化。\n 为了支持本文提出的上述一系列方法，我们开发了相应工具原型，它利用XMI文件作为UML图形式模型的对应文本，并使用自定义的XML文件记录FSM模型。通过本文给出的读取算法，该工具先对文本中的模型信息进行分析，并以某种数据结构存储，然后根据用户需求，结合论文中提出的方法对UML模型进行形式化并对FSM模型进行优化与可视化。

关键词：模型可视化 Web服务模型形式化 UML技术

来源：评论

学校读者我要写书评

暂无评论

模型管理系统问题形式化支持研究

模型管理系统问题形式化支持研究

引用

第十四届全国管理信息系统学术年会

作者：卢涛李一军黄梯云哈尔滨工业大学管理学院(黑龙江哈尔滨)

问题形式化是问题求解的前序活动是决策过程中的一个重要阶段。对于可以应用管理科学/运筹学模型求解的问题，在模型管理系统中对其形式化的过程提供支持可以使模型管理系统更加实用。该文在程序层、系统层、概念层、用户层四个层次上... 详细信息

问题形式化是问题求解的前序活动是决策过程中的一个重要阶段。对于可以应用管理科学/运筹学模型求解的问题，在模型管理系统中对其形式化的过程提供支持可以使模型管理系统更加实用。该文在程序层、系统层、概念层、用户层四个层次上分析了理想的模型管理系统应具有的功能，在此基础上提出了具有问题形式化支持功能的模型管理系统的体系结构。

关键词：问题形式化模型形式化模型管理系统

来源：评论

学校读者我要写书评

暂无评论

C^4ISR系统能力需求行为建模及验证

引用

系统工程与电子技术 2012年第6期34卷 1153-1160页

作者：何红悦王智学董庆超徐景张兆巍解放军理工大学指挥自动化学院中国人民解放军66165部队

针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,... 详细信息

针对C4ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法。从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型来构建能力需求的行为模型。为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证。

关键词：能力需求元模型行为建模模型形式化模型验证

来源：评论

学校读者我要写书评

暂无评论

基于本体的体系使命建模及分析方法

引用

系统工程与电子技术 2018年第9期40卷 1973-1978页

作者：何红悦王智学梁豪默王庆龙中国人民解放军陆军工程大学指挥控制工程学院江苏南京210007

针对体系需求建模中使命模型在分解时无法引入属性参考,不便于检查分解的合理性,影响模型分析效果等问题,提出了基于本体的体系使命建模及分析方法。根据使命在体系需求建模中的关键作用,定义了使命的若干属性参数,并构建了体系的使命... 详细信息

针对体系需求建模中使命模型在分解时无法引入属性参考,不便于检查分解的合理性,影响模型分析效果等问题,提出了基于本体的体系使命建模及分析方法。根据使命在体系需求建模中的关键作用,定义了使命的若干属性参数,并构建了体系的使命概念模型。为了使使命分解更加科学严谨,设计了使命分解算法,在分解过程中引入了使命的相关属性值。采用网站网站本体语言描述逻辑(web ontology language description logic,OWL DL)本体推理及查询技术,借助本体推理引擎Pellet对构建的使命模型进行形式化分析验证,检查使命分解过程中是否遵守了定义的分解原则,从而检查使命分解的合理性。

关键词：体系使命建模模型形式化网站网站本体语言描述逻辑模型分析

来源：评论

学校读者我要写书评

暂无评论

GIS模型库关键技术及其在滑坡预警预报中的应用

引用

中国科技成果 2013年第8期14卷 42-44页

作者：赵文祎田原肖晨超张晖李事北京市地质调查研究院北京100195 北京大学遥感与地理信息系统研究所北京100871 中国国土资源航空物探遥感中心北京100085 深圳市房地产评估发展中心广东深圳518040

GIS模型和模型库是实现地理信息系统与应用分析模型集成的关键技术。本文采用面向对象的思想，对支持模型复合的模型形式化方法开展研究，并以文件与数据库相结合的方式实现模型组织与存储。各项研究成果在深圳滑坡灾害预警预报系统开... 详细信息

GIS模型和模型库是实现地理信息系统与应用分析模型集成的关键技术。本文采用面向对象的思想，对支持模型复合的模型形式化方法开展研究，并以文件与数据库相结合的方式实现模型组织与存储。各项研究成果在深圳滑坡灾害预警预报系统开发建设中得到了实际应用，取得了良好效果。

关键词：模型库模型形式化模型复合滑坡预警预报

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：