Solving the TTC 2011 Reengineering Case with Henshin
本文介绍了Henshin解决方案的模型转换程序理解案例研究的一部分，转换工具竞赛2011。
2011-11-21 cs.SE
Saying Hello World with GROOVE - A Solution to the TTC 2011 Instructive Case
本报告介绍了一个解决方案，你好世界的案例研究TTC 2011使用GROOVE。我们提供并解释了我们用来解决案例研究的语法。案例研究中的每一个问题都是通过一个规则应用程序解决的。
2011-11-21 cs.SE
Solving the TTC 2011 Reengineering Case with VIATRA2
本文提出了一个解决方案的程序理解：一个再工程的情况下，转换工具竞赛使用VIATRA2模型转换工具。
2011-11-21 cs.SE
Saying Hello World with VIATRA2 - A Solution to the TTC 2011 Instructive Case
本文提出了一种解决Hello World！使用VIATRA 2模型转换工具的转换工具竞赛的指导性案例。
2011-11-21 cs.SE
Saying Hello World with Henshin - A Solution to the TTC 2011 Instructive Case
本文概述了2011年转换工具竞赛的Hello World案例研究的Henshin解决方案，旨在展示基本的语言概念和构造。
2011-11-21 cs.SE
Saying HelloWorld with QVTR-XSLT - A Solution to the TTC 2011 Instructive Case
在这篇简短的论文中，我们提出了我们的解决方案，为您好世界的案例研究的转换工具竞赛（TTC）2011年使用QVTR-STIM工具。该工具支持编辑和执行QVT关系语言的图形符号。案例研究包括一组简单的转换任务，涵盖了转换语言所需的基本功能，如创建，读取/查询，更新和删除模型元素。我们为每个任务设计一个转换。
2011-11-21 cs.SE
Solving the TTC 2011 Compiler Optimization Case with GROOVE
本报告提供了使用GROOVE的“机器人优化”案例研究的部分解决方案。我们解释了如何与案例研究提供的输入图被改编成一个GROOVE表示，我们描述了任务1的初始解决方案。这个解决方案允许我们自动重现案例描述中给出的常量折叠示例的步骤。我们没有解决任务2。
2011-11-21 cs.SE
The TTC 2013 Flowgraphs Case
2013年转换工具竞赛的这个案例是关于评估转换语言和工具的范围和可用性，这些语言和工具用于四个需要非常不同功能的任务。一个任务处理典型的模型到模型转换问题，还有一个模型到文本问题，还有两个就地转换问题，最后还有一个任务处理转换产生的模型的验证。这些任务是相互建立的，但是转换案例项目也提供了所有的中间模型，因此可以跳过不适合特定工具的任务，或者在参与团队的成员之间并行化工作。
2013-12-02 cs.SE
Saying Hello World with GReTL - A Solution to the TTC 2011 Instructive Case
本文讨论了TTC 2011 Hello World案例的GReTL解决方案。提交的解决方案涵盖所有任务，包括可选任务。
2011-11-21 cs.PL cs.SE
Solving the TTC 2011 Reengineering Case with GReTL
本文讨论了TTC 2011再造案例的GReTL参考解决方案。给定一个Java语法图，必须提取一个简单的状态机模型。提交的解决方案涵盖了核心任务和两个扩展任务。
2011-11-21 cs.PL cs.SE
Solving the TTC 2011 Compiler Optimization Case with GReTL
本文讨论了TTC 2011年锅炉优化案例的GReTL解决方案。所提交的解决方案涵盖了常量折叠任务和指令选择任务。实现了验证图有效性的验证器，并根据扩展的要求提供了一些附加的测试图。
2011-11-21 cs.PL cs.SE
Saying Hello World with MOLA - A Solution to the TTC 2011 Instructive Case
介绍了用MOLA转换语言实现Hello World转换的方法。实现任务的转换相对简单，并且可以从任务规范中轻松推断。还描述了与模型导入和导出相关的所需附加步骤。
2011-11-21 cs.PL cs.SE
Proceedings Fifth Transformation Tool Contest
转换工具竞赛（TTC）系列的目的是比较图和模型转换工具的表现力，可用性和性能，以及一些选定的案例研究。与会者希望了解考虑到不同应用的每种工具的优缺点。更深入地了解不同工具特性的相对优点将有助于进一步改进图和模型转换工具，并指出存在的问题。TTC 2011涉及25个离线案例研究解决方案：Hello World案例的12个解决方案，GMF模型迁移案例的2个解决方案，制造商优化案例的5个解决方案，以及重新工程的7个解决方案（即，程序理解）案例。本卷包含通过额外（研讨会后）审查回合的提交材料。
2011-11-16 cs.PL cs.SE
An NMF solution for the Flowgraphs case at the TTC 2013
软件系统变得越来越复杂。模型驱动工程（MDE）通过将开发提升到更高的抽象级别，提供了处理这种增加的复杂性的方法。MDE中的一个关键部分是将任何给定模型转换为另一个模型的转换。这些转换用于从模型生成各种软件工件。然而，关于转型工具的共识很少。因此，2013年的转换工具大赛（TTC）旨在比较不同的转换引擎。这是通过必须处理的三个不同案件来实现的。其中一个案例是流程图案例。解决方案必须将Java代码模型转换为简化版本，并且必须派生控制和数据流。本文提出了这种情况下使用NMF变换作为转换引擎的解决方案。
2013-12-02 cs.PL cs.SE
An NMF solution for the Petri Nets to State Charts case study at the TTC 2013
软件系统变得越来越复杂。模型驱动工程（MDE）通过将开发提升到更高的抽象级别，提供了处理这种增加的复杂性的方法。MDE中的一个关键部分是将任何给定模型转换为另一个模型的转换。这些转换用于从模型生成各种软件工件。然而，关于转型工具的共识很少。因此，2013年的转换工具大赛（TTC）旨在比较不同的转换引擎。这是通过必须处理的三个不同案件来实现的。其中一种情况是Petri网到状态图的情况。解决方案必须将Petri网转换为状态图，并且必须在状态图中导出层次结构。本文提出了这种情况下使用NMF变换作为转换引擎的解决方案。
2013-12-02 cs.PL cs.SE
Solving the TTC 2011 Reengineering Case with MOLA and Higher-Order Transformations
2011年转换工具竞赛的再工程案例涉及从Java源代码中自动提取状态机。转换任务涉及复杂的、非局部的模型元素匹配。本文使用模型转换语言MOLA解决了这一问题。MOLA解决方案使用高阶变换（HOT-s）来生成所需MOLA程序的一部分。所描述的HOT方法允许为通用任务创建可重用的复杂模型转换库，而无需修改模型转换语言的实现。因此，不是语言开发人员的模型转换用户可以更容易地实现所需的功能。
2011-11-21 cs.PL cs.SE
Solving the Class Diagram Restructuring Transformation Case with FunnyQT
FunnyQT是一个用于函数式Lisp方言Clojure的模型查询和模型转换库，提供了丰富而高效的查询和转换API。本文描述了TTC 2013类图重构转换案例的FunnyQT解决方案。该解决方案和GROOVE解决方案共同获得了该案例的最佳整体解决方案奖。
2013-12-02 cs.SE
Solving the Petri-Nets to Statecharts Transformation Case with FunnyQT
FunnyQT是一个用于函数式Lisp方言Clojure的模型查询和模型转换库，提供了丰富而高效的查询和转换API。本文描述了TTC 2013 Petri-Nets到Statcharts转换案例的FunnyQT解决方案。该解决方案获得了该案例的最佳整体解决方案奖和最佳效率奖。
2013-12-02 cs.SE
GMF: A Model Migration Case for the Transformation Tool Contest
使用来自图形建模框架的真实演变，我们邀请提交探索模型转换和迁移工具可用于迁移模型以响应元模型适应的方法。
2011-11-21 cs.SE
Proceedings Sixth Transformation Tool Contest
转换工具竞赛（TTC）系列的目的是比较图和模型转换工具的表现力，可用性和性能，以及一些选定的案例研究。与会者希望了解考虑到不同应用的每种工具的优缺点。更深入地了解不同工具特性的相对优点将有助于进一步改进图和模型转换工具，并指出存在的问题。TTC 2013涉及18个离线案例研究解决方案：6个FlowGraphs案例解决方案，9个Petri Nets到Statecharts案例解决方案和3个Restructuring案例解决方案。18个解决方案中的13个在研讨会之前经过了非盲同行审查，并在布达佩斯研讨会期间进行了介绍和评估。本卷包含已通过额外（研讨会后，盲法）审查的提交材料。
2013-11-29 cs.PL cs.SE
How Do Developers Use Migration Guides? A Case Study of Log4j
Nara Institute of Science and Technology（奈良先端科学技术大学院大学）；Wakayama University（和歌山大学）；Notre Dame Seishin University（圣母圣心大学）
本文通过Log4j的案例研究，探讨开发者如何使用迁移指南，发现开发者在拉取请求描述中频繁引用迁移指南，且大部分引用指向整个指南而非特定部分，表明迁移指南在迁移过程的各个阶段都起着重要作用。
2026-05-19 cs.SE
Supporting Round-Trip Data Migration for Web APIs: A Henshin Solution
我们提出了一个基于Henshin模型转换语言的2020年转换工具竞赛的往返迁移案例的解决方案。任务是支持相同数据元模型的两个版本之间的四种转换场景，这是一个受Web API迁移应用场景启发的问题，其中这种往返迁移方法可能会减轻传统“即时”迁移风格的缺点。我们的解决方案依赖于Henshin的可视化语法，它似乎非常适合在直观的层面上捕捉问题，因为语法已经与案例描述中的场景插图相似。我们讨论了五个评价标准的表达性，可理解性，双向性，性能和可重用性。
2020-12-04 cs.SE
Right Scaling for Right Pricing: A Case Study on Total Cost of Ownership Measurement for Cloud Migration
云计算为传统企业和独立软件开发商提供了大量优于内部部署安装的优势，包括成本、运营和组织效率。将为内部部署交付配置的软件迁移到云的决定需要仔细的技术考虑和规划。在这一章中，我们讨论了正确的缩放成本建模的迁移决策和商业转售软件的价格设定的影响。提出了一个集成的过程来衡量总拥有成本，并根据预测的SaaS使用水平考虑到IaaS/PaaS资源消耗。这个过程是用一个真实世界的案例研究来说明的。
2019-08-12 cs.SE
Migration of data for iKnow application at EURM - a case study
软件在进化。经过多次修改和改进后，软件将被淘汰和替换。当替换发生时，需要将数据从旧数据库迁移到新数据库中，以便新应用程序可以替换旧应用程序。欧洲大学（EURM）目前使用的学生管理应用程序（SAA）已经过时，需要更换。作为iKnow Tempus项目的一部分开发的iKnow应用程序计划取代EURM现有的学生管理应用程序。本文介绍了在将数据从SAA的旧数据库迁移到为iKnow应用程序设计的新数据库时遇到的问题。由于数据迁移可以被认为是ETL过程的一种类型，因此使用ETL过程的典型解决方案解决了这些问题。在本文中，我们描述了我们在迁移数据时遇到的问题的解决方案。
2012-05-01 cs.SE
Microservices: Migration of a Mission Critical System
微服务范式旨在改变软件被感知、构思和设计的方式。与单片架构相比，这种新的有前途的范例的基本特征之一是可扩展性。在本文中，我们提出了一个真实世界的案例研究，以展示如何通过将单片架构重新实现为微服务来积极影响可扩展性。该案例研究基于FX Core系统，这是丹麦最大的银行和北欧领先的金融机构之一丹麦银行的关键任务系统。
2017-04-13 cs.SE
Case Studies: Business and Technical Perspectives in Migration of Legacy Systems to Service Oriented Architecture
在采用面向服务架构（SOA）的过程中，企业的遗留系统是不可忽视的。原因是遗留系统已经在过去部署，并且在企业当前的IT架构中运行关键业务流程。然而，并不是所有的遗留系统到SOA的迁移过程都是成功的。突出正确的因素，以达到遗留系统迁移成功的特定公司是关键的价值。本研究所采用的主要研究方法是对欧洲的银行、家具、工程和航空公司等不同企业的不同公司进行访谈。通过单独的访谈，在每个案例公司中收集并确定了将遗留系统迁移到SOA的关键成功因素。最后，从业务和技术的角度对收集到的结果进行了分析，并将其作为影响遗留资产成功迁移到SOA的公认因素。
2014-12-26 cs.CY cs.SE
Analyzing Flowgraphs with ATL
本文为2013年转换工具竞赛（TTC 2013）的流程图案例研究提供了一个解决方案。从Java源代码开始，我们执行一系列的模型转换，以导出程序的简化模型，其控制流图和数据流图。最后，我们开发了一个模型转换，通过比较它与一组在特定领域的语言编写的流程规范，验证程序流。建议的解决方案已使用ATL实现。
2013-12-02 cs.PL cs.SE
GUI Test Migration via Abstraction and Concretization
Key Lab of HCST (PKU), MOE（HCST关键实验室（PKU），教育部）；SCS\ University Beijing China（SCS大学北京中国）；Singapore Management University（新加坡管理学院）；Shanghai Jiao Tong University（上海交通大学）；National University of Singapore（新加坡国立大学）
本文提出抽象-具体化迁移范式及 MACdroid 方法，通过从源测试用例提取通用测试逻辑并指导 LLM 生成目标应用 GUI 测试用例，在两个数据集上分别将目标功能测试成功率提升至 64% 和 75%，显著优于基线方法。
2025-07-17 cs.CL cs.SE
Microservices Migration in Industry: Intentions, Strategies, and Challenges
为了在快速变化的环境中保持竞争力，许多公司开始将其遗留应用程序迁移到微服务架构。如此广泛的迁移过程同样需要仔细规划和考虑所涉问题和挑战。在这方面，来自行业实践的实践经验仍然很少。为了填补科学文献中的这一空白，我们对迁移到微服务的意图、策略和挑战进行了定性研究。我们通过对来自10家公司的软件专业人员进行16次深入访谈，调查了14个不同领域和规模的系统的迁移过程。我们提出了一个单独的描述，每个案件，并总结了最重要的发现。可维护性和可伸缩性被确定为迁移的主要驱动因素。由于遗留系统的高度复杂性，大多数公司更喜欢使用当前技术重写，而不是拆分现有代码库。这通常是由于缺乏适当的分解方法造成的。因此，找到正确的服务削减是一个重大的技术挑战，其次是建立必要的专业知识与新技术。组织挑战尤其与同时建立敏捷流程的大型传统公司有关。对他们来说，启动心态转变和确保团队之间的顺利合作至关重要。未来的研究软件系统的演变将特别受益于个别情况下提出。
2020-01-18 cs.NI cs.SE
An Empirical Study for Android-to-OpenHarmony GUI Test Migration
Harbin Institute of Technology（哈尔滨工业大学）；Beijing Institute of Technology（北京理工大学）；Beihang University（北航）；Peking University（北京大学）
研究从安卓到开源鸿蒙系统的图形用户界面测试迁移问题，构建数据集，选择并适配两种先进迁移方法进行评估，发现现有方法效果不佳，进而提出增强方法ITeM-HM，显著提升了测试迁移成功率。
2026-07-15 cs.AI cs.SE
A Solution to the Flowgraphs Case Study using Triple Graph Grammars and eMoflon
经过20年的三重图文法（TGG）和许多积极维护的实现，现在需要具有挑战性的例子和成功案例来证明TGG可以用于现实世界的双向模型转换。近年来，我们的主要目标是通过提供一组实用的功能来增加TGG的表现力，这些功能允许受控的回退到编程的图形转换和Java。基于转换工具竞赛（TTC 2013）的流程图案例研究，我们提出了（i）用于表达复杂双向属性操作的属性约束，（ii）用于指定任意上下文关系的绑定表达式，以及（iii）作为TGG规则黑盒扩展的后处理方法。在每种情况下，我们讨论了保证形式属性和表达能力之间的权衡。我们的解决方案，实现了我们的元建模和模型转换工具eMoonline（www.emoflon.org），是作为一个虚拟机托管在共享。
2013-12-02 cs.PL cs.SE
