没有合适的资源?快使用搜索试试~ 我知道了~
大型模型的高效持久化、查询和转换格温达尔·丹尼尔引用此版本:格温达尔·丹尼尔高效的持久化、查询和大型模型转换。编程语言[cs.PL].国立高等矿业电信学院,2017年。英语NNT:2017IMTA0049。电话:01668561HAL Id:tel-01668561https://theses.hal.science/tel-016685612017年12月20日提交HAL是一个多学科的开放获取档案馆,用于存放和传播科学研究文件,无论它们是否已这些文件可能来自法国或国外的教学和研究机构,或来自公共或私人研究中心。L’archive ouverte pluridisciplinaire博士论文格温达尔·丹尼尔Mémoire presenté en vue de国立高等矿业电信学院博士学位卢瓦尔河地区布列塔尼卢瓦尔大学校园École doctorale:Mathématiques et STIC学科:信息与应用,CNU第27Unité de recherche:南特数字科学研究所(LS2N)Soutenue le 14 Novembre 2017Thèse n°:2017IMTA0049大型模型的高效持久化、查询陪审团报告员:Marie-Pierre GERVAIS先生,巴黎南特大学校长M. Jean-Michel BRUEL,图卢兹大学讲师Sébastien GÉRARD,Directeur deRecherche,CEA-LISTM. Jean-ClaudeROYER,IMT大学校校长Invité:M. Massimo TISI,IMT管理助理Director dethèse:M. Jordi CABOT,Universités,Open University of Catalonia Co-directeurde thèse:M. Gerson SUNYEARS,Maitre de Conférence HDR,University de Nantes确认首先,我要向我的顾问Jordi Cabot教授、Gerson Sunyé博士和Massimo Tisi博士表示诚挚的感谢。他们的支持、耐心和指导帮助我完成了论文的所有步骤,让我觉得我们的工作一直在朝着正确的方向前进。除了我的导师,我还要感谢我的论文委员会的其他成员:Jean- Claude Royer教授 Jean-Michel Bruel 教 授 Marie-Pierre Gervais 博 士 感 谢 塞 巴 斯 蒂 安 · 热 拉 尔(Sébastien Gérard)对本手稿的深刻评论,以及在我的论文答辩后提出的有趣问题和讨论。我感谢我的队友们在过去三年里进行的富有启发性的讨论、喝咖啡的休息以及我们所拥有的所有乐趣。最后,我要感谢Amine Benelallam博士和Robin Boncorps,感谢他们在工作中的快乐时光以及友好的夜间讨论。你比你想象的更能激励我!34为肉肉男孩队给我的朋友给我的家人ToMaloToYou法国人简历介绍在所有的科学领域中,现代化是一种共同的活动,它使人们能够看到一种抽象的、具有现实意义的系统。这些模型可用于不同的研究领域,如在工程学和逻辑学领域,这些模型用于描述一个逻辑系统,代表结构、组成和逻辑。这些模式是典型的现代化语言的辅助手段,它使不同的参与者之间的信息分配有一个共同的 规 则 。 Le langage UML ( 统 一 建 模 语 言 ) est un example de langage demodélisation modélisation approximaté parL’Ingénierie高级订单的人工制品偏差模式用于所有工程活动,即逻辑发展,但 要 实 现 进 化 , 或 对 功 能 和非功能的需求进行调整。Les modèles sont au-tomatiquement traités par des transformations de modèles qui permettent de les rafinerafin de fournir différentes vues du système,générer des modèles特定领域模型的自动生成和de获取的模型可用于帮助模型理解研究系统、获取精确的数据、生成文件或评估研究系统的质量。这些技术通过模型的控制技术而流行起来,这些技术允许在代码的基础上自动地集成一个模型。这些模型在逻辑进化的复杂过程中是配套使用的或代码源的重构,其通过请求和模式转换的语言进行典型的实验。近年来,IDM在多个行业的应用取得了成功。En effet,les études existantes [76,54]56d'IDM améliore la productivité et la maintenabilité des logiciels créés,tout en dimin-uant leurs costs ainsi que les efforts nécessaires à construction. Cette intégrationindustrielle a notamment débouché sur la création de plusieurs platformes de modéli-sations telles qu在科学界,IDM在ICSE 1和ASE 2的大型逻辑工程会议上发现了重要的问题,也是MoDELS 3和SoSym 4的主要问题Description de la problématique虽然工业情况下的经验评价[117]对工业化实际上,15年来的现代化发展进程主要是为了促进基础和单一用途的现代化活动,而不是为了支持我们每天使用的大型现代化同样,BIM [2]方法定义了一个丰富的概念(environ 800),可用于描述基础设施或基础设施的不同方面。Lesinstances de ce metamodèle contiennent typiquement plusieurs millionsUn apple typique de problèmes de passage à l'échelle concerne la modernisa- tionautomatique de logiciels patrimoniaux basée sur des techniques de rétro-ingénieriedirigée par les modèles.如图1.1所示,一个通过模块实现应用程序管理现代化的过程,定义为一个用于表示现有逻辑的模块的操作序列(最后,一个生成带(engénéral définie par une transformation de modèles)est utilisée pour créer -une partiede- la platform modernisée.在这种情况下,移民申请的可能性存在于仲裁的可能性中,而解决办法的技术通过可能存在一个不可抗力的限制,因为程序适用于大规模 的 法 规 基 础 ( contenant plusieurs millions de lignes de codes ) , et avoir desimpacts à plusieurs étape du processsus:(i)l'Accounnement de modélisation doitpermettre de stocker efficacement le modéle représentant l'application existante ,(ii)les requêtes doivent être calculées sur les modéles créés efficacement,和(iii)les transformations doivent être effectuées de manière performante pour rafiner(potentiellement de manière répétée)les modèles existants vers l'applicationmodernisée.Ainsi,一个整体1. http://www.icse-conferences.org/2. http://ase-conferences.org/3. https://www.cs.utexas.edu/models2017/home4. http://www.sosym.org/7de solutions de modélisation prenant en charge les modèles de martaille est nécessairepour permettre图1在此,我们集中讨论了两个主要问题,一个是解决现有技术的问题,另一个是在大型模型的工业环境中利用IDM技术的问题Mise à此外,该格式是一种用于支持模块化活动的简单格式,但在大型模块化、通用自动化潜能管理系统中,这种格式存在局限性[48,87]。特别是,XML的代表提出了两个主要的不方便限制了大模块使用的效率Plusieurs solutions basées surdes bases de données relationnelles ou NoSQL [43 , 87] ont été proposées pourrésoudre ces limitations , mais elles se limitent généralement à fournir desaméliorations génériques(comme des stratégies de chargements pareschriux),et lechoix de la base de données est totalement découplé de事实上,一个这样的解决方案可能适合于一个特定的模式,而不适合于其他模式。此外,Les solutions depersistance actuelles manque en général de solutions avancées de décéen cache et depéchargement,whi pourraient être intégrées pour améliquor leurs performance.Mise àLes infrastructures de requêtage et de trans-formation fournissent en général unlangage de haut niveau(tel que le standard OCL8( Object Constraint Language ) ) qui est interprété en traduit en une séquenced'opérations déléguée à la plateforme de modélisation et finalement calculé par la basede données stockant le modèle.虽然这种技术非常有效,但它适用于XML中的序列化模型,因此它适用于实际模型化平台的两个主要不方便之处:(i)调整的原料药不应被视为具有操作现有库存解决方案的能力,限制其实用性,及(ii)untemps et une consommation memmoire importants sont nécessaire pour questioning lesobjets intermediaires qui peuvent être manipulés par ces API.此外,请求和实际转换的解决方案通常在记忆中实现,并储存了关于大模型记忆消费问题的额外信息(即转换痕迹)。在这一点上,我们认为,模型的复杂性和复杂性是一个重要问题,它迫切需要在工业中采用IDM技术,以及新的方法渗透到存储器、请求器和Transformer中特别是,贡献Pour pallier ces problématiques , nous proposont une nouvelle infrastructure demod- élisation basée sur l'utilisation de base de données NoSQL et de leurs languagesde re- quêtes avancés. La Figure1.2 presente l'ensembleLes prototypes dépés à partir des approches présentées dans cette thèse sontproblems surDes informa- tions complémentaires sur— NEOEMF est notre solution pour améliquelle stockage et la manipulation degrandsmodèles.Notreapprochedefinitunenouvelleplateformedemodélisation,intégrée de manière transparent aux outils EMF,et fournit unensemble de base de données NoSQL qui peuvent être sélectionnées en fonetarydu scénario de modélisation attendu.NEOEMF est basé sur une architecturemodulaire qui permet de facilement intégrer de nouvelles solutions destockage,et fournit des mécanismes— PREFETCH ML是一种用于定义缓存规则的语言在一个模型上进行预充电。这些规则在计划中被结合起来,这些计划将被应用到特定的模块化中。这些计划是由一个负责模型参数的充电和放电的电机完成的,它改善了模型上的性能和要求的计算。9GremlinATL莫瓜什— MOGWA 是 一 种 基 于OCL 定 义 的 NoSQL 请 求 的通 用 方 法的 新 方 法 Notresolution se base sur les capacités de requêtage avancées des bases de donnéesNOSQL(en particulier les bases de données en graphes)pour contourner leslimitations des APIs des platformes de modélisation actuelles.MOGWA集成到NEOEMF,并通过与现有解决方案的比较,在执行时间和消耗量方面取得了显著的进展— GREMLIN-ATL是一个扩展,用于支持模型变换计算的目的。Notre approchefour- nit un novel acquisition模型转换模型查询NeoEMFPrefetchML有效的模型持久性图2乌蒂尔斯和雷苏拉Les approches présentées dans ce Eschert sont implémentées sous forme de pluginsEclipse sous license libre , et disponibles en ligne5.La documentation des différentsoutils ainsi que des tutoriels,guides在此基础上,我们评估了在Rétro-ingénierie [ 19 ]和Féroviaire [ 103 ]领域中对所有案例进行研究的解决方案的可行性Nous montrons qu5. www.neoemf.com6. https://github.com/atlanmod10activité de modélisation donnée permet d'augmenter significativement les performanceen terme de temps d'exécution de consommation memémoire.此外,我们对我们根据工业领域的技术要求和转换技术的价值,并考虑使用高级现代化语言(tels qu'OCL或ATL)与特殊要求语言的翻译,这些特殊要求语言用于执行时间和消费记忆Enfin,nous illustrons dans ce quite comment nos approches peuvents être- binéesafin de créer une solution permettant de réduire le fossé entre les techniques demodélisation conceptuelles et les bases de données NoSQL.具体地说,我们的方法是在UML和OCL中定义一个模式概念的部分,通过一个基于文本的书写和验证自动生成一个逻辑块为此,我们重新利用了NEO EMF中隐含的定义模式,该模式渗透到一个特定的données基础中,因为我们认为需要重新定义一个基于niveau的渗透性来验证完整性约束和niveau基础的exprimer规则摘要模型驱动工程(MDE)范式是一种软件开发方法,其目的是通过在软件工程过程的所有方面使用模型作为主要人工因素来提高生产率和软件质量。在这种方法中,模型通常用于表示系统的抽象视图,操作数据,验证属性,并最终转换为应用程序工件(代码,文档,测试等)。在其他基于MDE的方法中,诸如模型驱动逆向工程的自动模型生成过程是依赖于现有建模技术和语言来自动创建和验证表示现有工件的模型的一系列方法模型提取任务通常由建模者执行,并产生一组视图,以便于理解所研究的系统。虽然MDE技术在集成到工业过程中时已经显示出积极的结果这在生成方法的上下文中尤其如此,生成方法需要有效的技术来存储、查询和转换通常在单用户上下文中构建的非常大的模型已经提出了几种基于关系和NoSQL数据库的持久化、查询和转换解决方案来实现可伸缩性,但它们通常依赖于单个模型到数据库的映射,这适合特定的建模活动,但可能无法针对其他用例进行优化。例如,基于图的表示被优化以计算复杂的导航路径,但可能不是重复原子访问的最佳解决方案。此外,低级建模框架最初是为了处理简单的建模活动(如手动模型编辑)而开发的,它们的API尚未发展到处理大型模型,限制了高级存储机制的好处。在这篇论文中,我们提出了一种新的建模基础设施,旨在解决可扩展性问题,提供(i)一个新的持久化框架,允许选择适当的模型到数据库的映射,根据给定的建模方案,(ii)一个有效的查询方法,委托复杂的计算底层数据库,受益于其本地优化,大大减少内存消耗和执行时间,(iii)模型转换解决方案,直接计算数据库中的转换。我们的解决方案基于OMG标准(如UML和OCL)构建,并与事实上的标准建模解决方案(如EMF和ATL)集成111上下文1.1介绍建模是所有科学学科的共同活动,其目的是建立对现实世界情况的简化和抽象视图,以便对其进行系统研究。模型被用于各种领域,如生物学[1],土木工程[2],生产线[91],并被认为是理解复杂问题和解决特定问题的合理解决方案。在软件工程领域,它们被广泛用于描述开发中的软件工程模型通常使用建模语言来表达,定义了一组公共规则,使得能够在涉众之间共享模型。统一建模语言(UML)[95]就是这样一种建模语言的一个例子,它已经被对象管理组织(OMG)标准化了。模型驱动工程(MDE)是一种将建模技术置于开发过程中心的软件开发方法。模型成为驱动所有软件工程活动的主要工件,包括软件开发本身,以及演化任务和需求建模。使用模型转换自动处理模型,模型转换细化模型,以便提供系统视图、生成特定于平台的模型或文档。MDE过程通常定义一个最终生成步骤,该步骤依赖于模型到文本的转换,该转换创建最终的软件工件,例如应用程序代码、数据库模式和约束实现。自动模型生成和提取是MDE中的特定领域,用于从现有工件(源代码[19],Web API [56]等)构建模型获得的模型用于帮助建模者理解所研究的系统,构建细粒度的视图,生成文档,或计算质量度量。这些技术已经通过模型驱动逆向工程(MDRE)方法得到推广,该方法自动构建表示现有代码库的模型所生成的模型1314第1章上下文构成复杂过程的输入,例如软件演化任务和源代码重构,这些任务通常使用模型查询和转换语言来表达。在过去的十年中,MDE技术已成功地应用于几个工业场景。正如现有研究[76,54]所报道的那样,与传统方法相比,使用MDE技术提高了软件开发的生产率,并提高了所创建软件的可维护性,同时降低了构建它的成本和工作量。这种工业采用利用了几个建模平台的创建,如Eclipse建模框架(EMF)[102]和Papyrus [70],旨在为构建,存储和查询模型提供强大的基础在科学界,MDE被公认为主要软件工程会议(如ICSE1和ASE2)的重要研究主题,也是公认会议和期刊(如MoDELS3和SoSym4)的主要主题。1.2问题陈述虽然MDE假装是软件工程的银弹,但在工业环境中越来越多地使用大型和复杂的模型显然强调了阻碍其采用的严重限制[55,68]。采用MDE的工业公司的现有经验评估[117]表明,现有技术解决方案对大型模型管理的支持有限,是工业MDE流程失败的主要因素之一。事实上,建模工具主要是为了处理简单的建模活动而设计的,现有的技术解决方案并不是为了扩展到当今常用的和自动构建的大型模型例如,BIM [2]元模型定义了一组丰富的概念(大约800个),描述了物理设施和基础设施的不同方面。这种元模型的一部分通常由数百万个密集互连的元素组成。生成的模型存储在几个千兆字节的大型单政治文件中,并且不能被当前的建模基础设施有效地处理。出现可伸缩性问题的一个典型示例是使用MDRE技术对遗留系统进行自动现代化。如图1.1所示,模型驱动的软件现代化过程被定义为一系列操作,首先提取表示现有软件的模型(例如其代码库,配置文件和数据库模式),然后定义一组模型查询和转换,旨在改进当前应用程序。最后,一个生成步骤(通常定义为模型转换)被设计为创建现代化平台的一部分。在该示例中,要迁移的输入软件工件可以是任意大小的,并且当该过程应用于涉及非常大的代码库(诸如几百万行代码)的系统时,现有技术解决方案的可伸缩性可能是主要限制,并且影响该过程的多个步骤:(i)建模框架需要有效地存储表示现有应用的模型,(ii)模型查询应该被有效地计算,(iii)模型查询应该被有效地计算,(iv)模型查询应该被有效地计算,(v)模型查询应该被有效地计算。1.http://www.icse-conferences.org/2.http://ase-conferences.org/3.https://www.cs.utexas.edu/models2017/home4.http://www.sosym.org/1.2.问题陈述15最近允许交互式查询,和(iii)模型转换应有效地计算,以完善(可能多次)现有的模型,使其现代化的表示。因此,当应用于大型软件工件时,需要一组可伸缩的建模技术来实现这种重构操作。图1.1在这篇论文中,我们专注于两个主要问题,必须解决,以提高现有的技术解决方案的可扩展性,并使工业使用的MDE技术应用于大型模型。模型存储的可伸缩性在过去的十年中,基于文件的可扩展标记语言(XML)序列化已经成为存储和共享模型的首选格式。虽然这种格式非常适合支持简单的建模活动,如人体模型草图,但当应用于当今的工业用例时,它已经显示出明显的局限性[48,87],通常操纵大型模型,可能会自动生成[19]。事实上,类似XML的表示通常依赖于需要完全解析才能导航的大型单体文件,并且对模型片段的部分加载和卸载提供有限的支持已经提出了几种基于关系和NoSQL数据库的解决方案G. 延迟加载策略),并且数据存储的选择与预期的模型使用完全解耦因此,给定的解决方案可以适合特定的建模场景,而不适合另一个场景。此外,现有的模型持久化框架通常缺乏可以集成以提高其性能的高级缓存和预取机制。模型查询和转换可伸缩性模型查询和转换是MDE过程的基石,并且已经设计了多种方法来在现有建模平台上计算它们模型查询和转换框架通常提供高级语言(例如对象约束语言(OCL)OMG标准[83]),该语言被转换为建模框架的API调用序列虽然这种查询计算技术在基于XML的序列化平台上是有效的(因为整个模型必须加载到内存中),但当应用于当前的16第1章上下文可扩展的持久性解决方案:(i)建模框架API与数据存储的查询能力不一致,限制了其益处,以及(ii)需要重要的时间和存储器开销来具体化可以使用这些API操纵的中间对象。此外,当前的查询和转换解决方案通常在存储器中存储额外的信息(例如转换轨迹),这些信息根据模型大小而增长,并且在应用于大型模型时限制了它们的性能。总之,在这篇论文中,我们认为,不断增加的规模和复杂性的模型,正在经历的行业是一个重要的问题,防止采用MDE技术,因此,一个新的一代的可扩展的方法,持久化,查询和转换大型模型是必要的。具体来说,当前数据存储解决方案和现有建模框架之间的一致性应该得到改进,以便充分受益于新一代数据库及其高级查询功能。1.3方法改进现有建模框架对大型模型的支持的一种方法是依赖于被设计为处理大量高度互连的数据的高级存储机制。NoSQL运动是一系列存储技术,旨在通过提供针对特定数据处理高度优化的特定任务数据库来克服经典的关系数据库管理系统(RDBMS)问题(例如水平扩展和对半非结构化数据的支持我们的模型持久化方法旨在通过集成多个旨在适应特定建模任务的数据存储解决方案,从NoSQL实现特性中获益。为了提高现有模型持久化解决方案的可扩展性,我们提出了一种方法,基于现有的预取和缓存技术,已经集成了几十年的关系数据库和文件系统。我们认为,在建模级别引入这些低级概念可以显著提高I/O密集型应用程序的性能,例如模型验证和模型转换,并补充现有的NoSQL存储解决方案,这些解决方案通常缺乏此类组件。最后,为了解决模型转换和查询的可扩展性问题,我们提出了一种基于从高级建模语言到NoSQL特定语言的翻译的新方法。我们的模型查询和转换环境依赖于NoSQL数据存储的高级功能,通过生成由数据库直接计算的高效查询,绕过建模框架的限制,并在执行时间和内存消耗方面提高性能。1.4贡献图1.2总结了本论文的贡献,并展示了如何将它们结合到一个旨在有效处理大型模型的存储、查询和转换的生态系统中。请注意,所有提交的贡献都是开源的,可以通过NEO EMF网站在线获得5,以及代码库的其他链接。5. www.neoemf.com1.5. 论文概要. 17在相应的章节中提供了系列和教程。从本文提出的方法开发的原型是建立在EMF基础设施之上的,EMF基础设施是在Eclipse生态系统中构建领域特定语言(DSL)和建模工具的事实标准框架。有关将我们的技术集成到替代建模解决方案中的其他信息,请参见相关章节。— NEO EMF是我们改进大型模型存储和访问的解决方案。它被定义为一个通用的建模框架,可以透明地插入EMF平台,并提供了一组NoSQL数据库实现,可以选择以适应给定的建模活动。NEOEMF是基于一个模块化的体系结构,可以补充额外的模型存储技术,并提供了扩展机制,沿本论文重用,以进一步提高性能的模型查询和转换计算。— PREFETCH ML是一种DSL,允许建模者在模型上定义预取和缓存指令。产生的PREFETCH ML计划由执行引擎处理,该执行引擎负责加载和卸载元素,加速模型访问和查询计算。我们的方法的目的是通用的,可以应用于任何持久性解决方案,提供了一个EMF兼容的接口,并提出了一个先进的集成在NEO EMF,以进一步提高性能。— MOGWATOM是一种新的模型查询方法,它从OCL中表达的高级模型查询生成NoSQL数据库指令。我们的解决方案依赖于NoSQL数据库(特别是图形实现)提供的丰富的数据库查询语言,以绕过建模堆栈的限制。MOG-WASEAN是本机集成在NEO EMF,我们的实验表明,在执行时间和内存消耗方面的显着改善时,COM-可移植到最先进的解决方案。— GREMLIN-ATL是MOGWAWA方法的扩展,它支持用UML Mod转换语言(ATL)表示的模型转换。我们的方法嵌入了一个新的转换执行引擎,可以通过将转换信息存储在专用的数据存储中来参数化以扩展到大型模型,并提供了一组低级连接器,允许在异构数据源上计算1.5论文大纲本文的其余部分的结构如下:第二章介绍了基本概念,为理解论文的其余部分提供了必要的基础我们首先介绍MDE范式及其主要组件和标准语言。然后,我们介绍NoSQL数据库,它们的数据表示策略,以及它们嵌入的查询语言来访问存储的信息。第3章介绍了我们在NoSQL数据库中存储大型模型的概念性解决方案我们将介绍我们定义的不同的模型到数据库的映射,并讨论它们的优点和缺点。本章还提供了根据要执行的特定建模任务选择数据存储的指南。最后,我们提出了这些概念的实现在NEOEMF模型持久性框架,并评估它的一组工业案例研究。18第1章上下文GremlinATL莫瓜什模型转换模型查询NeoEMFPrefetchML有效的模型持久性图1.2第4章介绍了我们通过在元模型级别应用预取和缓存技术来提高模型持久化解决方案效率的方法。我们介绍了一种新的DSL,允许表达细粒度的预取和缓存规则的基础上建模事件,和执行环境,计算的规则,根据模型的使用。我们介绍了PREFETCH ML框架,实现了我们的方法,并展示了如何将其集成到现有的建模应用程序中。最后,我们评估我们的解决方案上著名的模型查询,并讨论其优点和权衡。第5章详细介绍了MOGWAWA,我们的可扩展查询方法依赖于OCL到Gremlin的转换,该转换将OCL表达式作为其输入并生成低级图数据库查询。我们评估了我们的方法的效率,一组著名的MDRE查询,并表明我们的解决方案可以大大提高查询执行性能的大型模型。第6章扩展了第5章的工作,支持模型到模型的转换。我们将展示如何模型转换语言的结构集成在我们的查询生成过程。本章还介绍了我们新颖的可扩展转换引擎,以及一组允许在各种持久化解决方案之上执行模型转换的数据存储连接器。第7章给出了一个例子,集成了我们的解决方案来构建一个框架,旨在从概念模式生成NoSQL应用程序代码。我们展示了如何隐式模型到数据库的映射定义在NEO EMF可以被重用到模式结构转换成数据库访问代码,以及如何OCL到Gremlin转换嵌入在MOGWATERMS可以用来生成代码,动态检查约束和不变量在生成的应用程序。最后,第八章总结了本文的主要内容和贡献,并展望了未来的工作。1.6. 科学生产191.6科学生产在这篇论文中,我们发表了9篇文章(8篇目前已发表,1篇正在审查):4个国际会议,3个国际研讨会和2个期刊— 期刊1. Daniel,G.,Sunyé,G.,Benelallam,A.,Tisi,M.,Vernageau,Y.,Gómez,A.,Cabot,J. NeoEMF:一个用于超大型模型的多数据库模型持久化框架。在计算机编程科学(SCP),2017年。Elsevier Publishing.2. Daniel,G. ,Sunyé,G.,Cabot,J. Advanced Prefetching and Caching ofModels with PrefetchML.软件和系统建模(SoSym),2017年。SpringerPublishing.— 国际会议1. Daniel,G. ,Sunyé,G., &Cabot,J.(2016,June). Mogwaiting:一个处理大型模型上复杂问题的框架。在IEEE第十届信息科学研究挑战国际会议(RCIS)上,第1-12段)。IEEE Publishing.2. Daniel,G. ,Sunyé,G.,&Cabot,J.(2016,October). PrefetchML:一个用于预取和缓存模型的框架. 在ACM/IEEE第19届模型驱动工程语言和系统国际会议318-328)。ACM出版社。3. Daniel , G. , Sunyé , G. , &Cabot , J. ( 2016 , November ) .UMLtoGraphDB:将概念模式映射到图形数据库。第35届概念建模(ER)国际会议论文集。430-444)。施普林格国际出版社。4. Daniel,G. ,Sunyé,G.,Jouault,F.,Cabot,J.(2017). Gremlin-ATL:可扩展的模型转换框架。第32届IEEE/ACM自动化软件工程国际会议(ASE),2017年。ACM Publishing.— 国际讲习班1. Daniel,G.,Sunyé,G.,Benelallam,A.,Tisi,M.,Vernageau,Y.,Gómez,A.,Cabot,J. NeoEMF:一个用于超大型模型的多数据库模型持久化框架。在与ACM/IEEE第19届模型驱动工程语言和系统国际会议(MoDELS)共同举办的2016年MoDELS演示和海报会议上(第19页)。第1-7段)。CEUR-WS。2. Brucker,A. D、Cabot,J.,Daniel,G. ,Gogolla,M.,埃雷拉A.美国,Hilken,F.,Tuong,F.,Willink,E.,沃尔夫湾OCL和文本建模的最新发展在OCL和文本建模国际研讨会(OCL 2016)的会议记录中。157-165)。CEUR-WS。3. Daniel,G. 面向超大型模型的高效持久化和查询技术。ACM学生研究竞赛(第三名)与ACM/IEEE第19届模型驱动工程语言和系统国际会议(MoDELS)共同举办。17-23)。CEUR-WS。
下载后可阅读完整内容,剩余1页未读,立即下载
![zip](https://img-home.csdnimg.cn/images/20210720083736.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![](https://csdnimg.cn/download_wenku/file_type_ask_c1.png)
![zip](https://img-home.csdnimg.cn/images/20210720083736.png)
![zip](https://img-home.csdnimg.cn/images/20210720083736.png)
![zip](https://img-home.csdnimg.cn/images/20210720083736.png)
![zip](https://img-home.csdnimg.cn/images/20210720083736.png)
![](https://profile-avatar.csdnimg.cn/default.jpg!1)
cpongm
- 粉丝: 4
- 资源: 2万+
上传资源 快速赚钱
我的内容管理 收起
我的资源 快来上传第一个资源
我的收益
登录查看自己的收益我的积分 登录查看自己的积分
我的C币 登录后查看C币余额
我的收藏
我的下载
下载帮助
![](https://csdnimg.cn/release/wenkucmsfe/public/img/voice.245cc511.png)
会员权益专享
最新资源
- VMP技术解析:Handle块优化与壳模板初始化
- C++ Primer 第四版更新:现代编程风格与标准库
- 计算机系统基础实验:缓冲区溢出攻击(Lab3)
- 中国结算网上业务平台:证券登记操作详解与常见问题
- FPGA驱动的五子棋博弈系统:加速与创新娱乐体验
- 多旋翼飞行器定点位置控制器设计实验
- 基于流量预测与潮汐效应的动态载频优化策略
- SQL练习:查询分析与高级操作
- 海底数据中心散热优化:从MATLAB到动态模拟
- 移动应用作业:MyDiaryBook - Google Material Design 日记APP
- Linux提权技术详解:从内核漏洞到Sudo配置错误
- 93分钟快速入门 LaTeX:从入门到实践
- 5G测试新挑战与罗德与施瓦茨解决方案
- EAS系统性能优化与故障诊断指南
- Java并发编程:JUC核心概念解析与应用
- 数据结构实验报告:基于不同存储结构的线性表和树实现
资源上传下载、课程学习等过程中有任何疑问或建议,欢迎提出宝贵意见哦~我们会及时处理!
点击此处反馈
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035711.png)
![](https://img-home.csdnimg.cn/images/20220527035111.png)
安全验证
文档复制为VIP权益,开通VIP直接复制
![](https://csdnimg.cn/release/wenkucmsfe/public/img/green-success.6a4acb44.png)