一种基于可配置形式化语义的迹自动推理工具
A Tool for Automated Reasoning About Traces Based on Configurable Formal Semantics
AI总结：
本研究提出支持可配置迹语义的Tarski工具，可自动推导迹并检查一致性，已在汽车领域三个工业案例中验证有效。
摘要：
我们提出Tarski，这是一款用于指定可配置迹语义以支持迹自动推理的工具。软件开发项目需要在开发工件之间及内部对各类迹进行建模。针对任意给定工件（如需求、架构模型与源代码），Tarski允许用户定义新的迹类型及其可配置语义；同时基于该语义，它能根据用户提供的已有迹自动推导新迹，并检查迹的一致性。该工具已在汽车领域的三个工业案例研究中完成评估（相关网址：https://modelwriter.github.io/Tarski/）。
英文摘要：
We present Tarski, a tool for specifying configurable trace semantics to facilitate automated reasoning about traces. Software development projects require that various types of traces be modeled between and within development artifacts. For any given artifact (e.g., requirements, architecture models and source code), Tarski allows the user to specify new trace types and their configurable semantics, while, using the semantics, it automatically infers new traces based on existing traces provided by the user, and checks the consistency of traces. It has been evaluated on three industrial case studies in the automotive domain (https://modelwriter.github.io/Tarski/).
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
