动态属性配置技术的研究及其在PLM系统中的应用

西北工业大学硕士学位论文动态属性配置技术的研究及其在PLM系统中的应用姓名：丁浩申请学位级别：硕士专业：计算机科学与技术指导教师：赵政文20050901动态属性配置技术的研究及其在PLM系统中的应用作者：丁浩学位授予单位：西北工业大学参考文献(31条)1.BrancheauJKeyIssuesinInformationSystemsManagement:1994-1995SIMDelphiResults19962.BBruegge.AHDutoit.吴丹.唐忆申震杰.张伟面向对象的软件工程20023.邵维忠.扬芙清面向对象的系统分析19984.姜同强计算机信息系统开发19995.周之英现代软件工程20006.蒋慧.吴礼发.陈卫卫UML设计核心技术20017.中国制造业信息化门户8.UML软件工程组织9.陈禹六IDEF建模分析和设计方法200010.范玉顺工作流管理技术基础200111.WARIAtheWorkflowAndReengineeringInternationalAssociation-Reachclaritythroughsharingexperiences,productevaluations,networkingbetweenusersandvendors,educationandtraining12.ThomasCurran.GerhardKeller.AndrewLaddSAPR/3业务蓝图200113.朱战备.韩孝君产品生命周期管理:PLM的理论与实务200414.沈延森快速可重构信息系统及其关键技术研究200115.GradyBooch面向对象分析与设计200316.CraigLarmanApplyingUMLandPatterns:AnIntroductiontoObject-OrientedAnalysisandDesignandtheUnifiedProcess200117.ErichGamma.RaphlJohnson.李英军,马晓星,蔡敏.马晓星.蔡敏设计模式:可复用面向对象软件的基础200018.SherifYacoub.HanyAmmarPattern-OrientedAnalysisandDesign:ComposingPatternstoDesignSoftwareSystem200419.JeffGarland.RichardAnthony大型软件体系结构:使用UML实践指南200420.GradyBooch.IvarJacobson.JamesRumbaughUML参考手册200121.GradyBooch.IvarJacobson.JamesRumbaughUML用户指南200122.曾登高NET系统架构与开发200323.SimonRobinsonC#高级编程200224.AlanShalloway.JamesRTrottDesignPatternsExplained200325.JeffreyLWhitten系统分析与设计方法200426.查看详情27.FrankBuschmann.Reginemeunier.PeterSomnerlad.MichaelStal面向模式的软件体系结构卷1:模式系统200328.RobertCMartin敏捷软件开发:原则、模式与实践200329.李刚.金茂忠适应性软件体系结构研究[期刊论文]-计算机科学2002(2)30.李绪蓉.丁秋林基于业务构件的快速可重构信息系统研究[期刊论文]-计算机科学2003(3)31.MartinFowlerPatternsofEnterpriseApplicationArchitecture2002相似文献(10条)1.学位论文赵蕾基于设计模式的实训系统的设计与实现2007近几年，在面向对象领域中的一个重要突破就是提出了设计模式的概念，虽然发展时间不长，但它在设计和开发中所特有的优势使其成为研究的热点。统一建模语言UMI。溶入了软件工程领域的新思想、新方法和新技术，是面向对象领域中的一种功能强大、适用性强的建模语言。开发一个软件项目，选择好的设计模式和建模语言，能简化软件开发的过程，加快开发进度，提高软件的性能和可维护性。本文结合Ultrawise实训系统的开发，通过对面向对象软件的各种设计模式的研究与分析，在系统开发过程中应用了多种设计模式，实现了软件设计开发的灵活性和可复用性。本文研究了软件设计模式的概念、分类、选择与使用方法以及UML在设计模式描述中的应用，分析了UMIL对设计模式的支持，实现了基于角色设计模式的建模方法。针对高职高专类软件课程的实训系统，对其各模块设计时所使用的设计模式进行了较详细的分析，提出了具体的解决方案。分析了实训系统中所涉及的主要类，并实现了该系统的主要功能。本文还使用基于角色的设计模式解决了权限分配的问题。2.学位论文叶辉群面向对象技术在网络考试系统中的研究与实现2003随着信息技术的发展,利用信息技术手段为教育服务的网络教育这几年得到了空前的发展.世界各国纷纷投入大量人力物力进行相关技术的研发与推广.在此形势下,国家教育部组织多家单位进行国家十五攻关项目网络教育关键技术及示范工程的研发.该文就是针对这种项目研发展开的探讨.论文分五部分以网络考试系统为项目平台论述了用面向对象方法构造应用系统.首先介绍了面向对象的基本思想和用面向对象技术构造系统的过程及方法--面向对象软件工程,其中涉及了面向对象基本概念,面向对象软件工程的主要阶段及任务,UML面向对象建模语言等.接着引入了面向对象的有关设计模式,为面向对象的设计提供了经典的设计思路.最后针对网络考试系统的特点,通过面向对象开发方法和传统的面向过程的开发方法的比较,重点讨论了网络考试系统的体系结构和获得的复用性,详细的叙述了用面向对象技术在构造系统时的各个阶段的主要成果和作者的经验体会.因为项目在部分测试,所以该文没有对面向对象的测试进行论述.3.学位论文盛敏利用软件工程方法开发聚酯仿真系统2001该文主要研究运用软件工程方法开发PET仿真软件系统.在对PTA直缩工艺的聚酯生产线及其基本原理分析的基础上,采用软件标准建模语言UML、一些设计模式并利用现有的、并证明有效的PET反应动力学模型,在基于一种符合CMM规范的软件开发公共框架结构RationalUnifiedProcess下完成了通用PET生产过程的仿真系统软件框架的设计,并对软件模型进行了裁剪完成了一个专用的仿真软件.4.学位论文陈小群支持框架复用的面向对象软件技术研究1998在面向对象方法中支持要复用软件的开发和使用对于软件复用具有十分重要的意义.主要原因有两点(1)在软件开发的早期,即分析阶段和设计阶段进行软件复用,会更有效地支持软件的开发;(2)可复用软件变得越来越复杂,这种软件的开发需要在软件工种方法上提供支持.另一方面,如何组织可复用软件(可复用资源)以便于查询和理解,是软件复用成功的关键因素之一.面向对象框架由一组互相协作的抽象类和具体类组成,是针对应用系统或子系统的可复用的设计.框架不仅支持代码复用,更重要的是,它还支持设计复用.设计是软件中主要的智力内容,设计比编码更加困难.框架作为一种大粒度、复杂的可复用软件,它的开发与一般的应用软件一样需要面向对象方法的支持.现有的面向对象方法着重于一般应用系统的开发,对软件复用、特别是框架复用的支持不足.此外,框架的出现也给可复用资源的组织和管理提出了新的课题.框架与小粒度的构件类比较,在粒度和数量上存在明显的不同.通常,一个类库包括大量的构件类,而针对特定领域开发的框架不会很多.框架本身的查找不难,难的是如何理解框架.在传统的类库中,构件类按照某种分类策略进行分类和组织,以便于查找.这种库机制仅提供了有限的分类描述信息以支持可复用资源的理解.作者研究的目标是在面向对象方法和工具上系统地支持软件复用,着重支持框架的复用.针对存在的问题,该文提出并探讨了一个支持框架开发和复用,支持以项目为中心的可复用资源组织的面向对象方法,并且,给出了支持该方法的青鸟面向对象工具集的体系结构.为了便于讨论,作者首先介绍并探讨了面向对象方法、框架、设计模式等概念.然后,在分析了框架自身的特点之后,探讨了框架的建模、模型表示和开发过程.文中定义了支持框架建模的模型元素,包括抽象类、对象协作、设计模式和其它相关的建模概念,描述了如何扩展统一建模语言UML(UnifiedModelingLanguage)来表示框架的模型,定义了框架的开发过程,并给出了开发指南.该文通过一个实际的框架开发例子,即青鸟建模框架的开发,验证和说明了框架开发方法.5.会议论文肖逸军.肖文洁.黎明UML建模及Together实现2003文章首先介绍了UML建模的特点.紧接着,本文介绍了使用Together进行UML建模的特点.文章最后结合一个给定的实例,描述了如何使用Together进行UML建模.6.学位论文孙军梅基于形式方法面向服务的Web软件开发技术研究2007网络技术的飞速发展，给人们的工作、生活方式带来了极大的变化，人们对网络的需求与依赖也越来越明显，对Web软件的需求也越来越多，例如电子政(商)务等。Web环境的开放性、分布性等特点使得Web软件开发方法不同于传统的软件开发方法。目前还没有很完善的Web软件开发方法。开发Web软件的方法基本上还是沿用传统的软件开发方法。传统的软件系统被开发为封闭的系统。虽然其构件可以来自外部，但合并到系统运行时，它们就在系统设计者控制之下。根据这一基本思想所开发的软件都具有这一特点。但在网络上，系统可能没有这样的集中控制，它们只在协议、地址和站点的交互上有统一标准，只在需要时动态绑定，所以需要一种允许用户利用网上自治的资源实现他们自己的组合，并能自动或人机互动进行服务的动态组装方法。基于Web的软件系统的建立和维护需要软件工程方法的进一步支持。为降低Web软件系统的设计开发难度，已经研究提出了基于软件体系结构、模型驱动等设计方法。这些方法的核心是模型的构造、模型的转换和精化。但目前软件体系结构以及模型驱动体系结构的建模语言主要是以UML作为标准建模语言。UML具有可视化、容易理解等特点，但缺乏严格的语义，而模型的转换必须建立在严格语义的基础上。本文提出基于形式方法面向服务的Web软件开发方法，围绕此问题分别从形式方法在面向服务构件的软件开发中的作用出发，对面向服务的软件体系结构的形式建模、基于模型的服务组合验证、基于形式本体的服务构件的发现、基于角色的设计模式形式建模及演化进行了研究。提出了基于面向服务软件体系结构的自顶向下的服务构件的组装理论。鉴于目前的面向服务软件体系结构的表示主要采用W3C给出的非形式化图形表示，不能精确表示软件结构的内涵，基于面向服务软件体系结构的服务构件自动化组装存在一定的难度。本文用形式规格说明语言Z对面向服务的软件体系结构进行了形式化，并提出把面向服务的软件体系结构作为一种风格来研究。面向服务的软件体系结构风格的形式化可以更为准确和方便地在体系结构的层次上进行交流。对不同的体系结构风格进行形式化描述，有利于系统的形式化验证和不同风格之间的比较。本文还分析定义了面向服务这样一种新出现的分布式软件体系结构风格的一些性质并给出了证明，并据此风格给出了一个应用实例，并对实例的活性进行了分析。服务组合是面向服务的Web软件开发的关键技术之一。如何有效地验证组合服务的功能及性能是服务组合研究中必须要解决的关键问题。为了能够自动地验证组合服务的各种属性，如组合服务是否能实现用户需求的功能，以及组合服务在运行过程中是否会出现用户不期望的行为，本文使用标签状态自动机建立组合服务的形式模型，将与用户的功能需求及期望的行为相关的性质表示为CTL公式，然后用形式验证工具SMV对服务组合进行了形式化验证。发现服务是面向服务Web软件开发中的另一关键技术。本文通过建立一个领域本体来扩展用户查询端查询的语义精确性，这种方法一方面可以提高服务构件的查准率和查全率。另一个好处是克服了其它基于语义的方法在实际