软件自动化生产方式探讨

软件自动化消费方式讨论目录方式化方法学的启发软件自动化消费我的观念我的疑问PPT中字体颜色阐明：绿色：援用观念、结论红色：我的观念,欢迎大家批判指正定义假设一个方法有良好的数学根底，特别的，是以方式化阐明言语描画的，那么他是方式化的。当一种表达方式基于一种含有明确定义的方式〔语法〕、含义〔语义〕以及关于分析、推论或者证明其构造的规那么的言语时，这种表达方式被称为方式化的。其语法可以是图形的或者是文本的。方式化方法学的启发方式化规格阐明的期望特性一致性无歧义性提供高层验证的手段方式化方法学的启发方式化方法优缺陷优点：运用数学方法提高一致性行防止产生歧义提供高层验证的手段可以较明晰地描画算法缺陷：提高学习本钱添加了解难度缺乏对UI设计的描画才干方式化方法学的启发启发可生成方式化规格阐明言语到程序设计言语的映射为软件自动化消费提供思绪方式化方法学的启发软件自动化消费没有银弹?--能否处理软件特性中固有的困难〔根本困难〕?错误的观念工业消费线----错误的比喻模型驱动架构与可执行UML〔MDAwithxUML〕MS软件消费工厂软件自动化消费软件特性中固有的困难软件自动化消费--没有银弹?--能否处理软件特性中固有的困难?复杂性软件内部构造复杂，这不仅导致技术产生困难，还导致沟通了解与管理变得困难。业务逻辑的复杂、技术的复杂以及两者的耦合。一致性复杂来自坚持与其他接口和人为惯例的一致方面，对软件的任何再设计，都无法简化这些复杂特性。需求与系统、系统之间、开发人员与需求提供者、开发人员之间软件特性中固有的困难可变性运用、用户、自然、社会规律、计算机硬件等等的变化强迫软件随之变化。需求变卦、功能扩展、同一领域不同用户对软件的要求也是可变性的表现。不可见性软件的客观存在不具有空间的体型特征。是不可见的和无法可视化的。软件需求事物进展笼统。很难笼统出准确的模型且能被完全正确地了解。软件自动化消费--没有银弹?--能否处理软件特性中固有的困难?固有困难的处理要点前往软件自动化消费--没有银弹?--能否处理软件特性中固有的困难?沟通复杂性如何清楚准确地说明复杂软件的需求、设计和功能以及如何使其便于维护人员理解？一致性如何使团队中的成员能对软件具有统一的、正确的认识？可变性如何快速理解需求变更前后模型的差异从而有效的指导开发？不可见性高度抽象的模型如何清楚准确地被理解？变化复杂性如何使复杂的软件更便于维护和更新？一致性如何使变化过的模型在整个系统中保持一致？可变性如何快速的处理来自软件生产中各阶段的各种变更？不可见性如何使抽象的模型更容易被扩展从而最好的适应未来可预见和不可预见的变化？错误的观念将组件比作工业零件，经过组件的组合完成流水线消费<软件消费的流水线作业方式讨论>忽略了变化，即使是最根本的函数也不能像零件一样永远一成不变。变化可以是语句级的。不思索整个软件的总体设计，完成各个模块的设计并由模块管理系统经过调度实现系统功能<一种软件的工业化消费方式>忽略了沟通，每个模块开发者之间对于业务模型的分析与设计的一致性无法被保证，会能够导致调度模块的复杂度大大添加。软件自动化消费—错误的观念没有被思索的部分没有思索需求变卦在各个阶段的影响。没有思索模块、组件之间的交互带来的影响。以为软件中的一部分是不会产生变化的。没有思索软件开发过程中的迭代。软件自动化消费—错误的观念错误的比喻-工业产品消费线1零件之间的耦合度。2零件可变性。3产品功能与架构。4工业产品设计。5开发过程中的迭代。软件自动化消费—错误的比喻MDA与可执行UML复用或需求变卦时进展修正软件自动化消费—模型驱动架构与可执行UML技术变卦或修正实现时进展修正初始阶段随意描写的想法风险评价工程想象文档利益相关者列表用例和主场景初始域图初始类图初始指出估算软件自动化消费—模型驱动架构与可执行UML营造阶段1分析域〔场景〕在单个域中建模分析类域图域层次顺序图分析类的行为虽形状的变化分析类之间的交互描画了操作和形状动作类图类形状图类协作图ASL描画软件自动化消费—模型驱动架构与可执行UML营造阶段2定义和实现从PIM到相关实现环境当中的PSM的映射软件体系构造和代码生成器软件自动化消费—模型驱动架构与可执行UML构建阶段1经过迭代的方式完善模型和代码生成器2测试移交阶段接纳测试软件自动化消费—模型驱动架构与可执行UML优缺陷优点：1将业务模型和实现技术解耦2力图运用无二义性的建模工具3能更快更简约的处置变卦的方法4复用性高〔专业知识的复用，而非实现代码〕缺陷：1提高了学习本钱2提高了技术方面的笼统程度3需求技术专家具有更强的技术涵养4没有完善的代码生成器的开发框架软件自动化消费—模型驱动架构与可执行UML能否是银弹？软件自动化消费—模型驱动架构与可执行UMLMS软件工厂运用DSLs〔领域特定言语〕BuildingaFlexibleSoftwareFactoryUsingPartialDomainSpecificModels一个单独的模型无法描画整个复杂系统。为整体模型的每一部分建立小型、部分的模型。每一个部分模型运用一样或者不同的特定领域言语描画。特定领域模型〔DSM〕特定领域言语〔DSL〕目的代码代码生成器++软件自动化消费--MS软件消费工厂我的观念1找出运用中能够需求变化之处，把它们独立出来，不要和那些不需求变化的部分混在一同。为可变化的部分提供良好的UI设计为可变部分设计良好的方式化表现方式通用的可变到不可变的映射需求到PIM的映射PIM到PSM的映射关于软件自动化消费的观念我的观念2无二义性、易于了解的方式化模型。软件工程人机交互心思学方式化与非方式化关于软件自动化消费的观念我的观念3可交互的动态模型，更友好的时序与协作展现方式。PPT动画效果艺术涵养关于软件自动化消费的观念我的观念4建立可行的逆向过程复用推行关于软件自动化消费的观念我的疑问1在运用方式化规格阐明的情况下能否可以运用数学方法进展简化？2方式化阐明言语能否有才干成为程序设计言