检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

UML类图中面向非功能属性的描述和检验

软件学报 2009年第6期20卷 1457-1469页

作者：张岩梅宏北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

为系统构建模型是软件开发中的一项关键活动.一个高质量的模型不仅要包含系统的功能属性,即系统能够做什么,同时还应包含系统的非功能属性,即系统的质量如何.目前,通用的建模方法和工具对功能属性建模支持良好,而对如何为非功能属性建... 详细信息

为系统构建模型是软件开发中的一项关键活动.一个高质量的模型不仅要包含系统的功能属性,即系统能够做什么,同时还应包含系统的非功能属性,即系统的质量如何.目前,通用的建模方法和工具对功能属性建模支持良好,而对如何为非功能属性建模关注得不多,特别是如何将二者统一起来并对描述的非功能属性的有关性质进行检验.通过在UML类图中增加非功能属性标注和约束关系表等建模元素来扩展UML类图,使其能够描述非功能属性.在此基础上,又提供了对扩展UML类图中非功能属性的一致性和可满足性进行检验的方法.通过实例对上述的面向非功能属性的建模和检验方法进行了说明,并介绍了相应的支持工具.

关键词：非功能属性统一建模语言类图模型检验

在线全文

学校读者我要写书评

暂无评论

网络化控制系统的协同设计与形式化建模

计算机集成制造系统 2011年第2期17卷 433-441页

作者：彭可罗安张伟涂春鸣湖南师范大学工学院湖南长沙410081 湖南大学电气与信息工程学院湖南长沙410082

为满足网络化控制系统的综合性能要求,实现其设计过程的形式化和规范化,针对其设计过程进行了形式化建模。给出了网络化控制系统中网络、控制、结构实体三个子模型的定义,分析了三者的构成要素以及相互之间的映射关系;进而提出了基于网... 详细信息

为满足网络化控制系统的综合性能要求,实现其设计过程的形式化和规范化,针对其设计过程进行了形式化建模。给出了网络化控制系统中网络、控制、结构实体三个子模型的定义,分析了三者的构成要素以及相互之间的映射关系;进而提出了基于网络服务质量和控制性能质量的协同设计框架,并利用统一建模语言进行网络化控制系统的结构实体子模型设计,分析了网络化控制系统建模中类的概念和构造,针对类的属性和方法进行了扩展,归纳了建模过程的一般性步骤。最后以一台网络化三轴数控钻床的设计过程为例,实现并验证了所提出协同设计框架与形式化建模过程的可行性。

关键词：网络化控制系统协同设计形式化建模统一建模语言网络服务质量控制性能质量

UML和SDL在开发L2CAP协议中的结合运用

在线全文

学校读者我要写书评

暂无评论

计算机工程 2003年第7期29卷 61-63页

作者：余胜生孙为群周敬利华中科技大学计算机科学与技术学院武汉430074

建模语言的选取对软件开发至关重要，选择合适的建模语言可提高软件开发的效率，产生高质量的软件。UML和SDL是运用最广泛的两种建模语言。该文在分析二者的优缺点的基础上，以开发L2CAP为例，阐述了如何在同一软件开发过程中运用UML和... 详细信息

建模语言的选取对软件开发至关重要，选择合适的建模语言可提高软件开发的效率，产生高质量的软件。UML和SDL是运用最广泛的两种建模语言。该文在分析二者的优缺点的基础上，以开发L2CAP为例，阐述了如何在同一软件开发过程中运用UML和SDL。

关键词：建模语言统一建模语言规格和描述语言 L2GAP

基于UML的教育建模语言的设计与实现的研究

在线全文

学校读者我要写书评

暂无评论

华商 2007年第23期 67-,39页

作者：唐国纯琼台师范高等专科学校海南海口571100

教育建模语言EML是目前国际上用于教学设计和数字教育资源开发的一项新兴技术。本文从EML的特色分析,UML作为教育建模语言的设计与实现,UML作为教育建模语言的前景分析三个方面进行了描述和分析。

关键词：教育建模语言统一建模语言教学设计 XML

UML语言及其在人力资源管理系统建模中的应用

在线全文

学校读者我要写书评

暂无评论

微机发展 2004年第6期14卷 33-35,39页

作者：周建华邱长华薛开赵单哈尔滨工程大学机电学院黑龙江哈尔滨150001

UML(UnifiedModelingLanguage)是一种面向对象的标准建模语言。文中介绍了UML的主要内容和基于UML的建模过程;并以人力资源管理系统为例,描述了如何运用UML语言进行系统的建模,包括需求分析、领域分析、结构设计、详细设计、实现、测试... 详细信息

UML(UnifiedModelingLanguage)是一种面向对象的标准建模语言。文中介绍了UML的主要内容和基于UML的建模过程;并以人力资源管理系统为例,描述了如何运用UML语言进行系统的建模,包括需求分析、领域分析、结构设计、详细设计、实现、测试和配置。通过采用UML语言进行系统的分析和设计,建立系统的静态模型和动态模型,解决了领域专家、软件设计人员和客户之间交流的难题,从而加速了开发的进程,提高了代码的质量,并且支持动态的业务需求。

关键词：统一建模语言面向对象人力资源管理系统

在线全文

学校读者我要写书评

暂无评论

一种工作流过程模型到工作流网的转换方法

计算机集成制造系统 2004年第8期10卷 908-913页

作者：欧阳元新熊璋侯亚荣北京航空航天大学计算机学院北京100083

为了便于非专业人员的工作流建模操作,利用Petri网现有的分析计算方法进行工作流模型的正确性分析和系统性能计算,给出了基于统一建模语言活动图的工作流过程模型建模方法,讨论了统一建模语言活动图到工作流网的转换方法,包括:非对象节... 详细信息

为了便于非专业人员的工作流建模操作,利用Petri网现有的分析计算方法进行工作流模型的正确性分析和系统性能计算,给出了基于统一建模语言活动图的工作流过程模型建模方法,讨论了统一建模语言活动图到工作流网的转换方法,包括:非对象节点的转换、控制流边的转换、对象节点及对象流边的转换等。结合民航机场地面信息系统实例,对转换结果进行了分析。

关键词：工作流工作流网统一建模语言活动图

基于元模型的自动测试系统框架开发方法的研究

在线全文

学校读者我要写书评

暂无评论

浙江大学学报（工学版） 2004年第8期38卷 955-960页

作者：徐小良汪乐宇浙江大学仪器科学与工程学系数字技术及仪器研究所浙江杭州310027

为了最大限度地提高自动测试系统的软件复用性和开发效率,对自动测试系统领域面向对象框架的开发进行了研究.通过分析自动测试系统的特征及需求,定义一个通用和稳定的面向对象元模型,并基于该元模型提出一种新颖的自动测试系统面向对象... 详细信息

为了最大限度地提高自动测试系统的软件复用性和开发效率,对自动测试系统领域面向对象框架的开发进行了研究.通过分析自动测试系统的特征及需求,定义一个通用和稳定的面向对象元模型,并基于该元模型提出一种新颖的自动测试系统面向对象框架的开发方法,该方法是一个"热点"驱动的迭代过程,开发过程中充分利用了标准建模语言(UML)和设计模式等面向对象技术.实例证明:该方法为特定自动测试系统的框架开发提供了指导原则,减少了框架开发的工作量,提高了框架的复用性、扩展性和维护性以及开发效率等.

关键词：自动测试系统元模型面向对象框架统一建模语言设计模式

在线全文

学校读者我要写书评

暂无评论

网构软件的资源自适应性的形式化分析与验证

软件学报 2008年第5期19卷 1186-1200页

作者：胡军黄志球曹东徐丙凤南京航空航天大学信息科学与技术学院南京航空航天大学自动化学院江苏南京210016

针对基于构件的网构软件系统对环境资源变化的自适应性特征的可信分析与验证展开研究.具体工作包括:在网构软件的系统模型层次,使用带资源语义信息的接口自动机对软件构件的行为进行形式化建模,其包含了构件在完成特定功能的过程中对环... 详细信息

针对基于构件的网构软件系统对环境资源变化的自适应性特征的可信分析与验证展开研究.具体工作包括:在网构软件的系统模型层次,使用带资源语义信息的接口自动机对软件构件的行为进行形式化建模,其包含了构件在完成特定功能的过程中对环境资源的使用特征;使用资源接口自动机网络来描述构件组装实体的组合行为;使用基于场景的UML顺序图模型来描述具有多功能的组合系统规约;分别研究了检验组合系统的所有行为是否都满足给定的资源约束以及检验指定的系统行为是否满足资源约束这两个具体问题:通过对资源自动机网络状态空间的分析,构造其相应的可达图,在此基础上给出了相应的检验资源可满足性、最小资源需求量以及检验指定功能合法性等算法.

关键词：网构软件构件式设计资源自适应形式化验证统一建模语言

在线全文

学校读者我要写书评

暂无评论

基于模板的小型农业作业机产品信息模型研究

计算机集成制造系统 2008年第6期14卷 1101-1105,1147页

作者：陆长明蒋建东张立彬浙江工业大学机械制造及自动化教育部重点实验室

传统的产品建模技术存在信息表达不完整,以及在产品配置过程中缺乏柔性等问题。为此提出了包含功能、原理、结构及知识的模板化产品信息模型。在模型的创建过程中,从相似的功能单元中抽象出共同特征,组成参数化的产品模板;以多层次结构... 详细信息

传统的产品建模技术存在信息表达不完整,以及在产品配置过程中缺乏柔性等问题。为此提出了包含功能、原理、结构及知识的模板化产品信息模型。在模型的创建过程中,从相似的功能单元中抽象出共同特征,组成参数化的产品模板;以多层次结构的形式来表达产品族各部分的功能结构信息,用面向对象技术进行模板知识的描述。将模板化产品建模方法应用于小型农业作业机数字化产品设计中,减少了产品族中部分零部件的建模数量,提高了产品设计的灵活性。

关键词：产品模板产品模型小型农业作业机面向对象技术统一建模语言