arXiv 2202.113972022-02-23cs.SE

模型驱动的微服务接口生成：从LEMMA领域模型到Jolie API

Model-Driven Generation of Microservice Interfaces: From LEMMA Domain Models to Jolie APIs

Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti, Florian Rademacher

摘要：

我们正式定义并实现了从LEMMA建模框架中的领域模型到Jolie程序设计语言中的微服务API的转换。我们的工具实现了一个软件开发过程，在这个过程中，可以首先使用领域驱动设计的领先方法设计微服务架构，然后自动生成Jolie中相应的数据类型和服务接口（API）。开发人员可以扩展并使用这些API作为指南，以产生兼容的实现。因此，我们的工具有助于提高生产力和改善微服务的设计依从性。

英文摘要：

We formally define and implement a translation from domain models in the LEMMA modelling framework to microservice APIs in the Jolie programming language. Our tool enables a software development process whereby microservice architectures can first be designed with the leading method of Domain-Driven Design, and then corresponding data types and service interfaces (APIs) in Jolie are automatically generated. Developers can extend and use these APIs as guides in order to produce compliant implementations. Our tool thus contributes to enhancing productivity and improving the design adherence of microservices.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Jolie和LEMMA：模型驱动工程和程序设计语言在微服务上相遇

Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices

在微服务领域，模型驱动工程已成为架构设计的强大方法，新的程序设计语言引入了语言抽象，以更有效地处理微服务开发。本文以LEMMA框架和Jolie程序设计语言为代表，对这两种方法如何结合进行了初步的探讨。通过为Jolie开发一个概念元模型，我们引出了这两种方法之间的紧密联系，这表明有很多收获。我们讨论了一些低挂水果，来自我们的发现，并提出了一些有趣的未来方向，从我们的新观点。

2021-04-06cs.PLcs.SE

Jolie Good Buildings：智能建筑基础设施的物联网，支持利用分布式微服务的并发应用程序

Jolie Good Buildings: Internet of things for smart building infrastructure supporting concurrent apps utilizing distributed microservices

由于相关新技术在节能、安全、灵活性和舒适性方面带来的巨大好处，预计未来很大一部分住宅或特殊用途建筑将变得越来越“智能”。然而，关于硬件、软件或平台级别，目前还没有明显的主导标准框架。在这里，我们将提出一个原型平台，用于支持智能建筑的多个并发应用程序，该平台利用先进的传感器网络以及分布式微服务架构，以Jolie语言为中心。我们的系统的架构和好处进行了讨论，以及一个原型包含一些节点和一个用户界面，部署在现实世界的学术建筑环境。我们的研究结果说明了我们的方法是有前途的，以及为未来的工作开辟了更广泛和更大规模的适用性。

2016-11-28cs.SE

Joining Jolie to Docker -在容器即服务层上演示微服务

Joining Jolie to Docker - Orchestration of Microservices on a Containers-as-a-Service Layer

云计算正在稳步增长，随着IaaS供应商开始提供按需付费的计费策略，实现尽可能多的弹性，避免过度配置（这将意味着更高的成本）至关重要。在本文中，我们简要分析了PaaSSOA的编排特征，PaaSSOA是一种已经为Jolie微服务实现的拟议架构，Kubernetes是Docker的各种编排插件之一;然后，我们概述了两种方法的相似性和差异，就其各自的应用领域而言。此外，我们还研究了实现这两种技术联合的一些想法，提出了Docker容器即服务层上Jolie微服务的架构组合。

2017-09-17cs.DCcs.SE

通过 API 处理微服务间的通信

Handling Communication via APIs for Microservices

本文提出通过 API 传递 ID 替代 JSON 以解决微服务通信依赖问题，设计算法构建子图并重构代码以减少 API 数量，在五个 Java 应用中验证了其在时间和内存复杂度上优于 JSON，并减少 40-60% 手动重构工作。

2023-08-02cs.SE

链接利益相关者的观点关注点和基于微服务的架构

Linking Stakeholders' Viewpoint Concerns and Microservices-based Architecture

敏捷项目管理的广泛采用，微服务的独立交付以及DevOps的自动化部署极大地加快了系统开发。真正改变游戏规则的是持续集成（CI）、持续交付和持续部署（CD）。组织可以一天发布多个版本，将测试、发布和部署周期从数周缩短到数分钟。Docker等容器技术和Kubernetes等容器编排平台的成熟促进了微服务架构的发展，特别是在云原生开发中。有各种工具可用于设置CI/CD管道。组织正在远离单体应用程序，转向基于微服务的架构。组织可以通过应用程序编程接口（API）快速积累数百个此类微服务。这些现代方法的主要目的是敏捷性、速度和可重用性。虽然DevOps提供了速度和上市时间，但除非微服务和API与企业范围的利益相关者的需求相关联，否则敏捷性和可重用性可能无法得到保证。业务需求和微服务/API之间的联系没有得到很好的捕捉，也没有得到充分的定义。在本出版物中，我们描述了一种结构化方法，用于在API和基于微服务的敏捷开发之间创建逻辑链接，并考虑企业利益相关者的需求和观点。这种方法能够捕获和记录企业范围内利益相关者的需求，无论这些利益相关者是企业所有者、规划者（产品所有者、架构师）、设计者（开发人员、DevOps工程师）还是企业的合作伙伴和订阅者。

2020-09-13cs.SE

使用模型推断搜索启发式方法为 REST API 自动生成测试用例

Automated Test-Case Generation for REST APIs Using Model Inference Search Heuristic

Delft University of Technology（代尔夫特理工大学）

针对进化算法在微服务系统级测试中单元级启发式方法的局限，提出基于实时自动机学习的搜索启发式方法MISH，通过日志事件流捕获系统级行为以指导测试用例生成，在六个真实基准应用中评估取得良好效果。

2025-01-30cs.AIcs.SE

更多相关论文收起更多论文

基于不变量的自动测试

Invariant-Driven Automated Testing

NOVA University of Lisbon（里斯本新大学）；University of Minho（米尼奥大学）

本研究提出APOSTL语言和PETIT工具，通过扩展API规范语言并自动化测试流程，实现微服务测试的全面自动化。

2026-02-27cs.SE

使用EvoMaster对基于RPC的API进行白盒模糊处理：一个工业案例研究

White-box Fuzzing RPC-based APIs with EvoMaster: An Industrial Case Study

远程过程调用（RPC）是一种通信协议，用于支持网络上服务之间的客户端-服务器交互。RPC广泛应用于构建大规模分布式系统，如微服务。现代RPC框架包括Thrift、gRPC、SOFARPC和Dubbo等。由于分布式系统的复杂性和系统可能采用的各种RPC框架，测试这样的系统非常具有挑战性。据我们所知，目前还没有任何工具或解决方案可以对现代基于RPC的服务进行自动化测试。为了填补这一空白，在本文中，我们提出了文献中的第一种方法，以及一个开源工具，用于通过搜索对现代基于RPC的API进行白盒模糊。为了评估我们的新方法，我们对我们的工业合作伙伴选择的两种人工和四种工业API进行了实证研究。该工具已被集成到一个实际的工业流水线，并可以应用于实际的工业开发过程中的模糊基于RPC的API。为了进一步证明其在工业环境中的有效性和应用，我们还报告了使用我们的工具对我们的工业合作伙伴在其测试过程中自主进行的另外50种工业API进行模糊处理的结果。结果表明，我们的新方法能够为基于RPC的工业API（即，两个人工和54个工业）。我们还比较了一个简单的灰盒技术和现有的手动编写的测试。我们的白盒解决方案在代码覆盖率方面实现了显著的改进。在故障检测方面，通过与我们的工业合作伙伴仔细审查我们在选定的四种工业API中采用新方法生成的测试，共识别出41个实际故障，现已修复。另有8，377个检测到的故障正在调查中。

2023-02-03cs.SE

微服务 API 模式如何影响可理解性？一项受控实验

How Do Microservice API Patterns Impact Understandability? A Controlled Experiment

本文通过 65 名参与者、6 种 MAP 和 24 个等价 API 示例的受控交叉实验，发现 5 种模式显著提升可理解性，但效应多较小，且经验丰富者获益更明显。

2024-02-21cs.SE

众包行为驱动开发：通过微任务实现微服务

Crowdsourced Behavior-Driven Development: Implementing Microservices through Microtasks

软件工程众包方法有效性的关键是工作流设计，描述如何将复杂的工作组织成小的，相对独立的微任务。在本文中，我们介绍了一种行为驱动开发（BDD）工作流，用于通过自包含的微任务完成编程工作，该工作流作为一个称为Crowd微服务的预配置环境实现。在我们的方法中，代表软件团队的客户端将微服务描述为一组具有路径、请求和响应的端点。然后，群组实现端点，识别它们测试、实现和调试的各个端点行为，创建新函数并根据需要与持久性API交互。为了评估我们的方法，我们进行了一项可行性研究，其中一小群人致力于实现小型ToDo微服务。人群创建了一个只有四个缺陷的实现，完成了350个微任务，实现了13个功能。我们讨论了这些研究结果的影响，将众包编程的贡献到传统的软件项目。

2020-09-02cs.HCcs.SEcs.SI

从REST风格的API描述中收集基于服务的可维护性分析：静态分析和阈值推导

Collecting Service-Based Maintainability Metrics from RESTful API Descriptions: Static Analysis and Threshold Derivation

虽然许多可维护性度量标准已经明确地为基于服务的系统设计，但是仍然缺乏自动收集这些度量标准的工具支持的方法。特别是在微服务的背景下，去中心化和技术异构性可能会对静态分析构成挑战。因此，我们提出了模块化和可扩展的RAMA方法（RESTful API Metric Analyzer），从机器可读的RESTful服务接口描述中计算这些指标。我们还提供原型工具支持，RAMA CLI，目前解析格式OpenAPI，RAML和WADL，并计算科学文献中提出的10个基于结构化服务的指标。为了使RAMA测量结果更具可操作性，我们还为基于四分位数的阈值范围（绿色，黄色，橙色，红色）设计了一个可重复的基准。在示例性运行中，我们从1，737个公开可用的RESTful API的接口描述中导出了所有RAMA CLI指标的阈值。研究人员和实践者可以使用RAMA来评估RESTful服务的可维护性，或者支持新服务接口指标的经验评估。

2020-07-20cs.SE