导读:本文包含了面向方面建模论文开题报告文献综述及选题提纲参考文献，主要关键词:面向方面建模,业务过程建模,Petri网,正确性
面向方面建模论文文献综述
张璇,王旭,李彤,陈清毅,刘俊晖[1]（2018）在《面向方面业务过程建模的正确性控制与检测》一文中研究指出在组织机构不断将其业务转向面向过程模式从而获得低成本、高效率、高服务质量与高生产力的同时,积累了成百上千的业务过程模型.为了支持这些大批业务过程柔性建模并提高业务过程模型可重用性,采用关注点分离思想,将实现不同功能的活动按照横切关注点活动和基本业务活动实施分离,提出面向方面业务过程建模框架.提供业务过程可重用建模方法的同时,灵活可控地实现过程模型正确性保障与检测.在面向方面业务过程建模框架中,首先定义面向方面业务过程元模型,将横切关注点活动封装为横切方面,将基本业务活动建模为基本过程.然后,按照业务过程模型正确性需求,基于面向方面编织特征,定义面向方面业务过程模型正确性,设计方面间编织正确性准则和方面织入基本过程正确性准则,为面向方面业务过程建模提供预防错误与异常建模的方法,并提出过程建模正确性检测方法,在建模过程中保证无错误与异常.在此基础上,提出面向方面业务过程建模方法,证明过程模型的结构正确性、性质合理性和行为一致性,并设计实现建模辅助工具TPAT(Trustworthy business Process Aided Tool),为面向方面业务过程建模提供技术支持.最后,通过在两个银行业务案例分析中使用所提出的理论、方法和技术,并进行性能评估,说明所提出的理论和方法是可行的,开发的辅助工具是有效的.面向方面方法可以为业务过程建模提供灵活可重用的建模方法,通过使用建模正确性准则并在建模过程中监控异常与错误,保证业务过程模型正确性,支持组织机构获得更好的过程支持和日益变更环境的适应性.(本文来源于《计算机学报》期刊2018年03期）
覃华,张立臣[2]（2017）在《基于AADL的智能交通系统面向方面建模》一文中研究指出为解决智能交通系统(intelligent transport systems,ITS)的传统建模方法中存在难以解决的复杂问题,如不能对横切关注点进行建模、难以分离软件系统的非功能特性等,研究基于体系结构分析与设计语言(architecture analysis and design language,AADL)扩展的面向方面的建模方法在ITS上的应用。基于AADL建立路边单元系统模型,生成系统功能代码,进行流分析测试。基于扩展的AADL描述系统非功能特性,生成方面代码。实例结果表明,该方法弥补了传统建模方法的不足。(本文来源于《计算机工程与设计》期刊2017年01期）
卢佳伟,曾一,杨燕宁,刘慧君[3]（2017）在《结合面向方面的MDA建模工具的研究与实现》一文中研究指出针对MDA在建模、模型间转换以及最终代码的生成的过程中,系统的功能需求与非功能需求混合在一起,同一类型的功能分散,系统不具备模块化、高内聚、低耦合的特性的问题,提出将面向方面与MDA结合的思想,使用MDA的相关技术实现一个同时支持面向方面与面向对象建模,满足MDA模型转换要求的模型建立工具。采用用该工具对实验案例建模,分析结果表明,该方法确实可行,具有实用价值。(本文来源于《计算机工程与设计》期刊2017年01期）
倪珊珊,张璇,李彤,张瑞云[4]（2015）在《面向方面业务流程建模中的方面追踪》一文中研究指出降低模型的复杂度在业务流程管理(BPM)领域是一个关键的问题。面向方面的业务流程建模主张从主流程中分离出不同的关注点,并单独建模,然后通过一定的编织机制组合方面与主流程。但如何验证方面织入对主流程的影响,是一个亟待解决的问题。基于Petri网提出并实现了面向方面业务流程建模中的方面追踪方法,并用一个银行业务流程的案例来验证了所提出的方法。(本文来源于《计算机科学》期刊2015年08期）
倪珊珊[5]（2015）在《面向方面业务流程建模与方面追踪》一文中研究指出业务流程模型的复杂性导致它们难以被理解、维护和评估,降低模型的复杂度在业务流程管理(BPM)领域是一个关键的问题[1]。业务流程的模型通常包括不同的活动,分别用来解决业务流程中的不同关注点。通常其中一些重复的关注点会分散和纠缠在多个业务流程中[2],对这些关注点的变更会出现遗漏,导致模型的不一致。面向方面的业务流程建模主张从主流程中分离出不同的关注点,并单独建模,然后通过一定的编织机制组合方面与主流程。但如何验证方面织入对主流程的影响,是一个亟待解决的问题。方面追踪的目标正是追踪方面织入主流程的正确性和一致性。正确性追踪是验证方面的织入是否给业务流程模型带来结构上或性质上的缺陷；而一致性追踪是验证方面织入是否对主流程产生影响,以及验证产生的影响是正常影响还是异常影响。本文的研究从业务流程的角度出发,对于面向方面业务流程建模和方面追踪的一系列问题做出系统、深入的研究。首先,对面向方面的业务流程模型进行了定义。采用形式化方法定义业务流程,并用面向方面扩展Petri网,来建模已有的业务流程。其次,追踪方面织入的正确性。给出方面织入正确的判定准则,提出方面织入正确性的追踪方法,正确性追踪的内容包括结构正确性追踪和性质正确性追踪,覆盖了流程模型的活动可发生性、安全性、无冲撞性,无结构死锁等静态和动态性质验证。然后,追踪方面织入的一致性。给出了方面影响正常的判定准则,确保方面织入后,能正确行使其功能,且不破坏原始业务流程的功能。提出方面织入一致性的追踪方法,在同一初始格局和给定目标格局下,分析方面织入前后的两个业务流程Petri网模型的活动发生序列,以此来分析方面织入对原始流程的影响,从而分析方面织入前后业务流程之间的一致性。最后,实证研究。采用一个真实的银行业务流程的案例,对本文所提出的面向方面业务流程建模方法和方面追踪方法进行验证。(本文来源于《云南大学》期刊2015-06-01）
郑锦林[6]（2015）在《集成问题框架与面向方面的需求建模方法研究》一文中研究指出近年来,随着软件系统的规模不断增大,软件内部各个部分的联系错综复杂,软件开发与维护的难度越来越大。为了降低软件开发与维护的难度,在软件工程界提出了关注点分离的原则。随后在软件的实现阶段逐渐采用了该原则。虽然关注点分离为处理复杂问题提供了办法,但是不能处理一些横切多个功能组件的关注点,例如安全关注点。通常这些关注点会带来两种不好的现象：分散与混乱,这样使得软件难以理解、维护以及重用,于是在软件工程界提出了面向方面编程。面向方面编程将一个横切的关注点的代码封装在一个方面的类中,然后动态的编织到它所横切的模块中。面向方面编程主要在软件的实现阶段由开发人员来识别与处理横切关注点。然而,在最近几年来,面向方面软件开发研究团队发现在软件开发的早期阶段也存在横切关注点的问题,于是人们提出了面向方面的需求工程。面向方面的需求工程为在需求阶段识别与处理横切关注点提供了方法。一般现有的需求建模方法并没有提供处理横切关注点的方法。通常面向方面的需求工程方法都是建立在现有的需求建模方法之上增加了识别、表示、合成与分析横切关注点的功能。问题框架方法是一种被广泛接受的软件开发方法,它关注于软件开发的问题而不是过早地设计解决方案。问题框架方法认为解决一个复杂软件问题最好的方法就是分解它,同时问题框架方法通过匹配子问题到已知的问题框架类中来促进需求的重用。虽然问题框架通过问题分解来结构化软件开发的问题实现了关注点的分离,有助于更好的理解软件开发的问题,但是问题框架方法并没有提供方法来处理一些横切的属性。通常这些属性影响多个子问题,阻碍了软件开发问题的重用与扩展。因此研究如何处理软件开发问题中的横切属性对问题框架需求建模方法具有重要的作用。本文首先对国内外面向方面方法与问题框架方法的相关工作进行分析与总结,然后介绍了需求工程、问题框架方法以及面向方面方法的基本概念与理论知识,为下一步介绍提供理论铺垫。然后对问题框架方法在处理横切属性的不足进行分析,然后针对问题框架在处理横切属性的不足,提出了一种集成问题框架与面向方面的需求建模方法,然后具体介绍了该方法的建模过程,并将该方法应用到一个具体的案例中,以验证该方法的有效性,然后我们对比分析了本文提出的方法与问题框架方法在处理需求变更的差异,以突出本文提出方法在处理需求变更的优点。同时我们对比分析了本文提出的方法与其它的面向方面方法,以便发现本文提出的方法存在的不足。最后,为了更好的将本文提出的方法应用到具体的实际工作中,我们为本文提出的方法提供了工具支持。(本文来源于《广西师范大学》期刊2015-05-01）
张璇[7]（2014）在《面向方面可信软件过程建模方法研究》一文中研究指出可信软件基于软件过程在开发或演化条件下的方法论是当前可信软件及软件工程领域国内外的关注重点。不同于普通软件,可信软件的可信性由其功能需求和非功能需求共同来体现,对可信软件需求进行研究,以及在可信软件生命周期全过程中融入可信性是实现可信软件生产及演化的一个有效途径。在软件过程建模领域,软件演化过程建模方法已经有效地解决了软件开发及演化的通用流程架构,是一种提高软件开发与演化质量以及效率的重要方法。然而,当面对可信软件时,其对非功能需求的特殊依赖,致使我们对软件过程建模方法提出了新的需求。依托本人主持的国家自然科学基金项目“基于演化的可信软件过程建模研究”(61262025),基于软件演化过程建模方法,使用面向方面方法,提出面向方面的可信软件过程建模方法,解决软件生命周期全过程融入可信性的问题,为可信软件的生产及演化提供可靠的软件过程模型,为实现这一目标,本文从理论、方法以及技术方面给予了全面的支持。在理论方面,针对非功能需求对可信软件的重要性,本文首先提出了分析可信软件需求以及通过可信软件需求获取过程策略的相关理论,在此基础之上,提出了基于面向方面方法扩展软件演化过程建模方法的相关理论,在保证软件演化过程建模方法提供可重用的通用过程模型的同时,可以灵活可控地融入通过可信软件需求推导出的相关过程策略。在方法方面,本文提出了可信软件需求获取、建模与推理方法,通过可信软件需求获取满足可信需求的过程策略。在此基础之上,提出了面向方面的可信软件过程建模方法,可信软件过程建模方法以软件演化过程建模方法为基础,依赖软件演化过程建模方法实现软件有关功能需求的过程建模,然后,使用面向方面方法将过程策略定义的可信方面通过合成机制织入软件演化过程模型,实现可信性融入软件生命周期全过程的需要,其中,重点解决了可信方面织入冲突控制及检测的问题。在技术方面,本文开发了可信需求推理辅助工具和可信软件过程建模辅助工具,为可信软件过程建模提供技术支持。最后,通过在两个可信软件的案例中使用本文提出的理论、方法和技术,说明本文提出的理论和方法是可行的,开发的辅助工具是有效的,可信软件过程建模方法可以通过软件生命周期全过程的可信性保证达到可信软件生产的目标。(本文来源于《云南大学》期刊2014-06-01）
黄兴砚[8]（2014）在《基于MDA的面向方面建模工具的研究》一文中研究指出随着软件开发规模的增加、技术的更新，传统软件开发流程的缺陷渐渐地暴露出来，主要表现为开发过程效率低、可移植性差、设计文档与软件本体不一致使得后续维护更新工作难以进行等方面。模型驱动框架（MDA）在这样的时代背景下应运而生，它替代了传统开发中以代码为核心的思想，将模型作为开发的中心。MDA通过平台无关模型（PIM）的建立，将设计与技术平台分离开来；通过制定相应的转换规则，实现了PIM到平台相关模型（PSM）以及PSM到代码的转换。从而MDA提高了开发效率、增强了系统的可移植性、保证了文档与软件的一致，使软件开发变为一种自动化过程。面向方面（AO）思想把开发中核心业务与非核心业务分为核心关注点与横切关注点，并将两者分离，有效地避免代码中核心业务与横切功能代码的混乱。它将同一类非功能性业务模块化，避免了代码的分散、提高代码的可重用性。为有效发挥两者优势，本文把AO思想引入到MDA中，将面向方面软件开发方法与MDA相结合，以建立一种高效的、高质量的开发模式。目前将AOP与MDA相结合的研究相对较少还存于起步阶段，已有的研究也存在一些问题，其主要体现在下面几个方面：①利用UML扩展对AOP进行模型建立，不具备灵活性；②大多使用传统开发模式对建模软件进行开发，没有定义元模型，难以对模型进行一致性约束；③建模工作采用的技术与标准不同，通用性不高；④没有元模型的支撑，难以实现MDA开发的自动化。针对以上问题，本文旨在将AOP与MDA进行结合，依据UML标准，为面向方面建模建立一套较为完整的、标准化的元模型体系。以元模型为支撑采用MDA开发流程设计并实现一个基于MDA又服务于MDA的面向方面建模工具，为之后MDA的自动化开发与AOP的编织提供保障。整个研究建立在MDA基础理论、元建模技术以及图形化模型编辑器制作技术的基础上来完成的。本文的工作集中在基于MDA开发的建模工具的研究与PIM模型的形成、导出阶段，研究内容主要包括叁个方面：首先，研究MDA基础理论与元建模技术，对AOP开发所需的元素进行抽取；其次，对面向方面模型进行精化，利用MOF元建模技术进行元模型的建模；最后，基于GMF技术，对建模工具的图形模型、工具模型、映射模型等内容进行定义，设计、实现了可视化的基于MDA的面向方面的建模工具，该工具同时还支持所建模型以通用XML文档形式导出。所开发的建模工具利用RCP技术，生成可独立于原有软件开发平台运行的可执行程序，使得该程序能在装有Java虚拟机的环境下都可运行。通过对基于MDA的面向方面的建模工具的分析、研究、设计、实现，为面向方面与MDA框架的结合提供了一种新的思路。利用该工具对实验案例建模与分析的验证工作，进一步说明了本文的研究思路与方法是可行的、有效的和实用的。(本文来源于《重庆大学》期刊2014-04-01）
孙晴晴[9]（2013）在《基于MARTE的面向时间方面建模及转换研究》一文中研究指出随着计算机系统应用的不断普及和深入,软件系统开发的复杂度和规模也在不断增加。为了控制和解决这一问题,人们提出了模块化的开发理念,实践证明这是降低软件开发复杂度的有效方法。模型驱动的开发将平台无关模型(PIM)和平台有关模型(PSM)分离,并支持PIM根据不同平台到PSM的转换和代码生成。模型驱动的方法将业务逻辑处理提升到更高的抽象层次,有效的支持软件开发过程中模块的划分,提高了代码复用率。实时和嵌入式系统是一类软件和硬件构成的异质系统,其系统计算的正确性依赖于不同事件之间的时间间隔。实时系统中的时间约束与基本功能行为之间通常存在正交的耦合关系,横切多个功能模块,难以封装成独立单元进行开发。为了解决非功能属性破坏系统模块化特性的问题,本文以实时和嵌入式系统中的时间约束为原型,尝试模型驱动的开发理念,使用面向方面建模技术,将时间约束和系统行为分开建模和设计。将模型驱动的方法应用到实时系统中,既要考虑一般的功能性业务逻辑模型,还要对广泛存在的时间约束、资源分配等非功能属性进行建模。针对实时系统,将行为建模和时间建模分开进行,本文主要做了以下几方面的工作：1.基于MARTE建模语言对时间建模MARTE建模语言是OMG发布的实时系统建模和分析语言,作为UML的轻量级扩展,MARTE取代了之前的SPT (Schedulability, Performance and Time)标准,成为实时建模领域的正式规约。MARTE规范中使用离散时间和连续时间两种方式模拟现实世界的时间,提供了诸如Clock、 ClockType和Clock Constraints等大量的时间建模元素,丰富了时间模型语义,支持实时和嵌入式系统的时间特性描述。基于MARTE语言,本文根据不同的系统需求,选取其中合适的建模元素,对系统中的时间约束进行建模。2.面向方面的时间建模技术面向方面的建模方法强调关注点分离的技术,在软件开发的早期识别横切行为及其横切的方式,将其进行模块化单独建模,解决了面向对象技术经常引起的代码缠结和代码分散的问题。Theme方法,是面向方面的分析与设计的一种典型方法,提供了面向方面的关注点分离和方面编织技术,本文扩展了Theme方法,基于MARTE建模语言,提出了一种面向方面的时间建模技术,将时间作为横切关注点,在系统的开发初期识别系统中的一般行为和时间约束行为,并确定时间约束行为和系统其他行为之间的关系,按照关注点分离的原则,将一般行为和横切行为单独进行建模。最后将得到的一般关注点模型和方面模型采用面向方面的编织技术进行整合,形成完整的系统模型。3.时间方面模型到SystemC模型的转换和系统仿真模型驱动的一个重要目标是根据模型,使用模型转换技术自动或半自动的生成系统可执行代码。模型转换也是模型驱动过程中的最核心技术之一,在完成建模的基础上,本文继续了模型转换和系统仿真相关的研究。模型的仿真有助于迭代构造高质量的可信模型。本文根据得到的时间方面模型,构造映射规则,将MARTE模型转换到具有软硬件协同建模和分析能力的SystemC语言模型,并使用相关工具,从SystemC模型生成代码,为对系统中的时间约束进行仿真验证提供支持。(本文来源于《南京大学》期刊2013-05-01）
吴鹏远[10]（2013）在《基于面向方面的嵌入式软件产品线建模方法及其支持工具》一文中研究指出处理器技术革新，尤其是多核处理器的出现，极大地推动了嵌入式固件和嵌入式软件的发展。面向对象技术也成为了嵌入式固件开发和嵌入式软件开发的主流。但是，用面向对象技术设计开发软件系统时，即使使用了设计模式，系统中各个模块之间仍然会经常产生代码缠结和散射，而且难以消除。其次，代码中的缠结和散射对软件模块化造成了破坏，使得代码难以理解和维护，且降低了该模块的可重用性，使得软件难以进化。第叁，在用面向对象技术设计软件系统时，需求难以与实现组件建立有效的对应和追踪关系，这影响了系统的复用性和扩展性，也对开发效率造成了很大的影响。面向方面编程提供了一种更好的模块化机制，对前两个问题给出了近乎完美的解决办法。对于第叁个问题，面向方面软件开发提供了一种在软件系统整个生命周期的各个阶段保持涉众关注点的分离的方法，实现了更好的模块化，进而可以构建出易于扩展可复用的且易于理解的软件系统。软件产品线工程是用核心资产进行大规模定制开发新软件应用的范型。它得益于领域业务规则的稳定性以及业务规则的可规划性，使组织能够从一组密集性系统集合中开发的新应用获得商业利益。软件产品线工程以软件架构为中心，新软件系统的开发必须充分地利用相似系统的“遗产”，在“遗产”上引入个性生产新应用。软件产品线工程方法能够显着地降低成本，增强客户满意度，因而在嵌入式软件开发领域具有广泛的应用。但是，随着业务规则的迅速变化以及跨领域业务合作的越发普遍，传统的软件产品线工程开发也不能快速地响应变化，生产出令客户满意的产品了，有时甚至不能按时交付系统。为了增强软件产品线工程的响应速度，一个欧盟资助的最新的研究项目是将模型驱动开发应用到软件产品线工程中，具体的研究结果还没有第叁方给出评估，其效果也难以验证。正因为面向方面软件开发提供的新颖的模块化特性，能够建立从需求到实现可追踪性，本文把面向方面软件开发应用到嵌入式软件产品线工程中。本文借鉴Lancaster大学Awais Rashid等人提出的面向方面需求工程思想，并对其进行了改进，提出了本文的基于面向方面的嵌入式软件产品线需求工程方法，在用该方法对领域需求进行一系列分析后，得到一组由主关注点和方面组成的关注点集合，并建立需求和关注点之间的映射关联关系。然后从关注点集合中识别和诱导出用户和客户可见的系统的特点，即特征，并对特征进行了分类。利用特征的分类信息，本文提出了建立叁层结构表示的特征模型的建模方法，并用方面与特征关联模型描述特征与方面之间的“横切”关系，再通过正交变化模型解决特征模型的短板——特征模型对可变性之间依赖关系的支持不够强大。由于特征是从关注点集合中识别和诱导出来的，特征也能与需求建立映射关联，保证了关注点分离。特征模型、方面与特征关联模型、正交变化模型组成领域模型。最后，本文给出了基于领域模型建立软件产品线参考架构的方法，使得需求与实现组件建立相对直接的、自然的、有效的映射关系。在设计理论上，实现了设计与需求和实现的之间的匹配。为了验证本文方法的实用性，本文使用一个真实的“便携多媒体播放器”为蓝本，用本文提出的框架进行分析和设计，建立一个便携多媒体播放器软件产品线，并有针对性的开发一个新的软件产品线应用。本文的工作集中在嵌入式软件产品线工程的领域工程阶段。(本文来源于《吉林大学》期刊2013-04-01）
面向方面建模论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
为解决智能交通系统(intelligent transport systems,ITS)的传统建模方法中存在难以解决的复杂问题,如不能对横切关注点进行建模、难以分离软件系统的非功能特性等,研究基于体系结构分析与设计语言(architecture analysis and design language,AADL)扩展的面向方面的建模方法在ITS上的应用。基于AADL建立路边单元系统模型,生成系统功能代码,进行流分析测试。基于扩展的AADL描述系统非功能特性,生成方面代码。实例结果表明,该方法弥补了传统建模方法的不足。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
面向方面建模论文参考文献
[1].张璇,王旭,李彤,陈清毅,刘俊晖.面向方面业务过程建模的正确性控制与检测[J].计算机学报.2018
[2].覃华,张立臣.基于AADL的智能交通系统面向方面建模[J].计算机工程与设计.2017
[3].卢佳伟,曾一,杨燕宁,刘慧君.结合面向方面的MDA建模工具的研究与实现[J].计算机工程与设计.2017
[4].倪珊珊,张璇,李彤,张瑞云.面向方面业务流程建模中的方面追踪[J].计算机科学.2015
[5].倪珊珊.面向方面业务流程建模与方面追踪[D].云南大学.2015
[6].郑锦林.集成问题框架与面向方面的需求建模方法研究[D].广西师范大学.2015
[7].张璇.面向方面可信软件过程建模方法研究[D].云南大学.2014
[8].黄兴砚.基于MDA的面向方面建模工具的研究[D].重庆大学.2014
[9].孙晴晴.基于MARTE的面向时间方面建模及转换研究[D].南京大学.2013
[10].吴鹏远.基于面向方面的嵌入式软件产品线建模方法及其支持工具[D].吉林大学.2013