A Web-based modeling tool for the SEMAT Essence theory of Software Engineering
相对于更成熟的学科，软件工程缺乏一般的理论来建立它作为一门学科的基础。软件工程的本质理论（Essence）是由软件工程方法与理论（SEMAT）倡议提出的。本质目标是为软件工程实践及其广泛采用开发一个理论上的坚实基础。Essence还远未被学术界和工业界采用。SEMAT Accelerator（SematAcc）是一个用于软件工程的Web定位工具，它实现了SEMAT的Essence内核。SematAcc允许使用Essence，从而帮助理解它。该工具可以在受控实验和案例研究中教授，采用和研究Essence。
2013-07-31 cs.SE
Implementing a Model-based Engineering Tool as Web Application
本文报告了一个基于桌面的基于模型的工程工具，以Web应用程序的研究。这项研究是在WEBMODEL项目中进行的，在该项目中，围绕Eclipse平台和Eclipse建模框架的成熟技术栈被提升到基于云的环境中。作为结果，建模语言独立的工具内核基于Web的建模工具和最小的原型基于Web的实现的AutoFOCUS 3基于模型的工程工具。此外，报告还记录了在执行过程中获得的经验和执行建议。
2023-02-27 cs.SE
Exploration of technical debt in start-ups
通过对86个初创企业案例的调查，发现测试维度技术债务最严重，团队规模与经验是主要先例，需预先监控和控制技术债务。
2023-09-21 cs.SE
Modeling in Systems Engineering: Conceptual Time Representation
随着嵌入式系统、普适计算和混合系统控制等领域的重要性日益增加，人们越来越关注系统建模的时变方面。在本文中，我们专注于建模概念时间。概念时间是在概念建模中表示的时间，其中时间的概念并不总是起主要作用。计算中的时间建模远没有展现出一个统一和全面的框架，并且通常以一种特别的方式处理。本文有助于建立一个更广泛的理解时间概念建模的基础上的软件和系统工程模型表示思维机（TM）。TM建模建立在一个称为thimac（事物/机器）的单类别本体论上，该本体论用于阐述本体论假设的设计和分析。所研究的问题是一个抽象的建模域的样本，以时间为例。我们的目标是提供更好的理解TM模型的补充与时间方面的概念化。研究结果揭示了时间和相关概念（如空间、事件和系统行为）的新特征。
2021-04-01 cs.SE
Modeling and Simulation Based Engineering in the Context of Cyber-Physical Systems
International Laboratory on Learning Systems (ILLS), CNRS, McGill University, ÉTS（学习系统国际实验室（ILLS），法国国家科学研究中心，麦吉尔大学，蒙特利尔工程学院）；MILA, Université Paris-Saclay（MILA，巴黎萨克雷大学）
本文提出基于建模与仿真的工程方法，通过显式定义执行条件，解决验证模型行为与执行行为之间的差距问题，适用于多种复杂系统。
2026-04-13 cs.SE
Investigating the Role of LLMs Hyperparameter Tuning and Prompt Engineering to Support Domain Modeling
本文研究通过超参数调优与提示工程提升 Llama 3.1 从文本生成领域模型的准确性，在医疗数据模型上取得显著质量提升，并在十个应用领域中验证了该方法对多数领域模型的有效性。
2025-07-19 cs.SE
Code Generator Composition for Model-Driven Engineering of Robotics Component & Connector Systems
用于机器人应用的工程软件需要多领域和特定于应用的解决方案。模型驱动工程和建模语言集成为开发专门的、可重用的机器人软件架构模型提供了方法。代码生成器将这些独立于平台的模型转换为特定于机器人平台的可执行代码。多领域应用的生成式软件工程不仅需要集成建模语言，还需要集成验证机制和代码生成器。在本文中，我们勾勒出一个概念模型的代码生成器组成，并显示了一个实例，这个模型中的MontiArc自动机框架。MontiArcAutomaton允许使用不同的组件行为建模语言将软件架构建模为组件和连接器模型。代码生成器集成的有效手段是基于模型的机器人软件工程中applicationspecific语言的事后集成的必要条件。
2015-05-05 cs.SE
Toward Maximum Grip Process Modeling in Software Engineering
软件工程中的过程建模（PM）涉及到理解世界的特定方式。在这种情况下，哲学工作不仅在本质上是重要的;它也可以经得起一些更成熟的软件工程研究指标。面向对象的方法论将对象作为建模的中心概念。这篇文章来自于一系列的文章，这些文章集中在软件系统建模的分析阶段的背景下的思维概念。我们使用一个抽象的机器命名为Thinging Machine（TM）的机制，通过它的东西揭示自己。我们介绍了一个更深入的调查，一个大TM，标志着整体的实体建模系统。我们还提出了新的概念，如最大抓地力，这是指的重要性的粒度水平，其中最佳的可见性模型的意义是给定的。这项研究的结果表明，在PM领域的积极改善，可能会导致加强对面向对象的方法的理解。TM还提出了开发PM新方法的可能性。
2019-06-26 cs.SE
Exploration of Evolving Quantum Key Distribution Network Architecture Using Model-Based Systems Engineering
Loughborough University（拉夫堡大学）；BT Research（英国电信研究院）
本文提出一种变异性驱动框架，用于管理快速演变的量子密钥分发网络架构，以满足日益增长的利益相关者需求。
2025-08-21 cs.ET cs.SE quant-ph
Round-trip Engineering for Tactical DDD: A Constraint-Based Vision for the Masses
Karlsruhe Institute of Technology（卡尔斯鲁厄理工学院）；esentri AG（esentri股份公司）
本文提出基于约束的战术建模环境，通过将抽象架构原则转化为显式工程约束，降低DDD学习门槛，提升系统可维护性。
2026-03-27 cs.SE
Exact Requirements Engineering for Developing Business Process Models
流程建模是改进业务流程的合适工具。成功的过程建模在很大程度上依赖于正确的需求工程。在本文中，我们提出了一个组合的方法，开发业务模型的需求获取。为了做到这一点，BORE（面向业务的需求工程）方法是利用我们的工作的基础，它是丰富的BDD（业务驱动开发）方法的重要功能，以使所提出的方法适合建模更复杂的过程。作为主要结果，我们的方法最终在准确的需求启发，适应客户的需求。此外，它让我们避免在过程建模中的任何返工。本文以某期刊的论文投稿与发表系统为例进行了案例研究。本研究的结果不仅提供了一个很好的经验，现实世界中的应用所提出的方法在基于Web的系统，也证实了这种方法的能力，建模的复杂系统，许多子过程和复杂的关系。
2017-05-10 cs.SE
Thinging as a Way of Modeling in Poiesis: Applications in Software Engineering
从软件设计的角度来看，清晰的设计定义可以提高项目的成功率和开发效率。即使重点是软件工程，在本文中，我们认为设计的概念，从更广泛的观点，创造和生产的文物现象的研究领域。在poiesis中，设计通过建模的媒介进行操作。根据几个来源，目前还没有系统的综合知识体系，从业者可以在设计基于计算机的建模语言时参考。建模语言（如UML）是基于实践的，很少有坚实的理论支撑-无论是数学的，本体论的还是伴随语言使用的。在本文中，我们建议采用最近增加的图形语言，思维机（简称TM），作为一种设计语言，在一般领域的Poiesis和我们将其应用于软件工程设计的思维机。我们展示了设计的中间步骤，导致产生一个TM模型的案例研究。案例研究是从一个源，其中一个完整的基于UML的设计。对比这两种方法产生的模型，指出TM作为设计领域的集成和统一建模语言的可行性。
2019-12-12 cs.SE
Engineering Delta Modeling Languages
Delta建模是一种模块化的，但灵活的方法，通过显式表示系统变体或版本之间的差异来捕获空间和时间的变化。Delta建模的概念思想是独立于语言的。但是，为了将delta建模应用于具体的语言，到目前为止，必须在基础语言之上手动开发delta语言，这导致了大量的异构语言概念。在本文中，我们提出了一个过程，允许从一个给定的基础语言的语法派生的德尔塔语言。我们的方法依赖于自动生成的语言扩展，可以手动调整，以满足特定领域的需求。我们说明了我们的方法，使用三角洲建模的文本变体的状态图。
2014-08-25 cs.SE
Software Development Processes in Ocean System Modeling
科学建模提供了现实世界系统的数学抽象，并构建软件作为这些数学抽象的实现。海洋科学是一门多学科学科，发展科学模型和模拟作为海洋系统模型，是一项重要的研究资产。在软件工程和信息系统研究中，建模也是一项必不可少的活动。特别地，用于业务过程管理和系统工程的业务过程建模是表示企业的过程的活动，使得当前过程可以被分析、改进和自动化。本文采用过程建模方法分析海洋科学软件开发过程，以提高海洋系统模型的工程化水平，更好地理解海洋科学中海洋系统模型的开发和维护。我们在半结构化访谈中采访了领域专家，通过主题分析对结果进行了分析，并通过业务流程建模符号BPMN对结果进行了建模。作为结果建模的过程描述了领域中软件开发的期望状态，这些状态通常尚未实现。这使得现有的基于仿真的系统工程的过程中，以改善这些过程模型的帮助。
2021-08-19 cs.SE
Spreadsheet Engineering: A Research Framework
本文提出电子表格工程研究框架，借鉴软件工程经验并总结八项原则，以应对电子表格在建模、用户差异及最佳实践部署等方面的独特挑战。
2007-11-04 cs.SE
Modeling in Jjodel: Bridging Complexity and Usability in Model-Driven Engineering
本文针对模型驱动工程（MDE）的认知复杂性与工具可用性障碍，提出云反射式平台Jjodel，通过低代码模块化视角、实时协作等功能简化领域特定语言（DSLs）设计，弥合理论与应用鸿沟。
2025-02-13 cs.SE
Underpinning Theories of Software Engineering: Dynamism in Physical Sources of the Shannon Weaver Communication Model
本文的目的是有助于进一步理解的动力学（系统模型的动态行为）的数学和概念建模的系统。这项研究是在声称软件工程缺乏基础科学理论的背景下进行的，无论是对于它所生产的软件还是它所使用的过程。研究文献提出，信息论可以为软件工程提供这样的好处。我们探讨的动态表达能力的概念建模作为一个软件工程的工具，可以表示物理系统的香农韦弗通信模型（SWCM）。具体地，SWCM中的建模源是物理现象（可能发生在世界上的变化，例如，投掷硬币），从而产生可观察事件和未寻址信息的数据。该模型反映了将SWCM扩展应用于软件工程概念建模的可行性。
2020-10-02 cs.SE
Thinging vs Objectfying in Software Engineering
在本文中，我们提出了使用的建模方法的概念的基础上的东西，重点是当前阶段的研究是在软件系统建模的分析阶段。面向对象的方法，它把对象作为一个中心概念，提供了机会，探索应用thinging对象的重新概念化。几个面向对象的例子是重铸在面向事物的建模方面。结果表明，一个积极的发展，导致几种可能的选择：（1）补充面向对象（OO）的范式与额外的符号，（2）促进进一步理解的OO范式的某些方面。开发一种新的基于思维的建模方法的可能性也存在。
2018-10-25 cs.SE
Variability Modeling of Products, Processes, and Resources in Cyber-Physical Production Systems Engineering
针对CPPS工程中生产步骤与资源配置依赖隐性知识、难以复现且低效的问题，提出eIPSE方法及工具链，自动派生产品、过程和资源可变性模型并生成控制代码，真实用例与用户研究验证了其实用性。
2024-02-15 cs.SE
Conceptual Modeling of Aggregation: an Exploration
本文是关于软件工程中聚合概念建模的研究。聚合是可以被视为单个单元的域对象的集群。在UML中，聚合是一种关联类型，其中对象被配置在一起以形成更复杂的对象。它被描述为模特界最大的禁忌之一。尽管聚合被广泛使用，但它似乎是一个麻烦的概念。它有时被视为part-of;然而，part-of关系只是许多可能的聚合机制之一，本身也是有问题的，部分原因是它的语义不同。本文的目的是开发一个语义组装模型，这是有用的表示领域中的关系，并实现不同层次的软件之间的互操作性。本文有助于本体论概念清晰的聚合，基于一个模型称为一个思考机（TM）。TM模型使用所谓的thimacs（事物/机器）作为描述域的构建块。因此，聚合的概念被扩展到行为聚合，其中各个实体共同作为一个单元。结果指出，一个有前途的贡献的概念聚合的理解相比，本体论的立场是基于物质或关系。
2022-08-23 cs.SE
GHIssuemarket: A Sandbox Environment for SWE-Agents Economic Experimentation
本文提出GHIssuemarket沙盒环境，用于研究软件工程智能体的经济可行性，通过模拟GitHub问题拍卖场景，支持实时通信、RAG决策和加密货币微支付，并开源工件以推动智能软件工程经济学（ISEE）领域发展。
2024-12-17 cs.SE
Requirements Engineering Methods: A Classification Framework and Research Challenges
需求工程方法（REMs）支持需求工程（RE）任务，从需求的启发，通过建模和分析，到验证和演化。尽管设计、验证和教授REM的兴趣越来越大，但REM应该有哪些组成部分仍然不清楚。提出了一个快速眼动模型的分类框架。它基于其组件的域独立属性来区分REM。分类框架的目的是促进（一）分析，教学和现有的REM扩展，（二）工程和新的REM验证，（三）确定REM设计的研究挑战。该框架应有助于进一步澄清REM和其他感兴趣的概念之间的关系和RE，包括需求问题和解决方案，需求建模语言和形式化方法。
2012-03-08 cs.SE
Thinging Machines for Requirements Engineering: Superseding Flowchart-Based Modeling
本文指出基于流程图的需求工程建模方法已过时，提出采用thinging machines（TMs）这一替代性图表建模方法论，通过案例研究对比证明TM能更好整合需求获取并提升建模质量。
2025-01-28 cs.SE
Modeling Events and Events of Events in Software Engineering
模型是隐藏系统非本质特征的部分现实的简化表示。它提供了一种降低复杂性的方法，以及可视化和通信，并为构建它提供了基础。一个新的模型，称为思维机（TM），最近被开发作为输入-过程-输出框架的扩展。本文的重点是事件的TM，提供了一个新的视角，捕捉系统的动态行为和一种手段，图形化建模事件。事件概念是一个重要的因素，它为规范提供了语义，并提供了一种自然的方式来指定系统组件的接口和可观察的行为。具体而言，五个通用TM事件过程进行了分析：创建，处理，接收，发布和传输。所有事件都可以映射（或简化）到这五个事件流程的事件
2020-01-31 cs.SE
Existential Ontology and Thinging Modeling in Software Engineering
这项研究是以前的一项研究的续集，题为软件工程师的思考，这表明，与对象化相比，事物的概念在建模中有一些有益的方向。要解释海德格尔的物的概念的根源，就必须把物纳入概念建模。这就需要理解海德格尔的存在本体论，以确定任何与物的关系。本文是对存在本体论的一种探索，旨在进一步澄清物的概念。我们首先回顾Thinging Machine（TM）在Thinging for Software Engineers中介绍的，并提供了一个完整的例子，说明它在建模订购系统中的应用。接下来，我们将讨论世界中事物的存在（存在），以及海德格尔对时间的解释，时间是任何对存在的理解的一个可能的视界。我们强调，TM与海德格尔的存在概念及其对此在的详尽分析没有直接关系。然而，研究非此在的事物可能会有一些好处，可以为思维提供一个哲学基础，就像TM建模中所使用的那样。有趣的是，TM可以用来建模存在本体，从而提高对它们的理解水平。
2019-03-26 cs.SE
Systematizing Modeler Experience (MX) in Model-Driven Engineering Success Stories
本文通过提出建模者体验（MX）框架，系统分析建模工具负面认知与低代码等易用范式之间的差异，揭示用户体验、动机、集成、协作与版本控制及语言复杂性等因素对不同建模场景的影响。
2024-06-28 cs.SE
User Modeling in Model-Driven Engineering: A Systematic Literature Review
本文通过系统性文献综述分析MDE中的用户建模方案，指出其视角碎片化、维度单一且工具支持不足，呼吁将完整用户模型纳入MDE流水线。
2025-06-10 cs.SE
Formal Model Engineering for Embedded Systems Using Real-Time Maude
本文动机实时的【形】Maude应该很好地适合提供一个正式的语义和正式的分析能力，嵌入式系统的建模语言。然后，可以使用建模语言的工具的代码生成设施来自动合成来自设计模型的实时的【形】Maude验证模型，从而实现正式的模型工程过程，该过程将使用非正式但直观的建模语言建模的便利性与形式化验证相结合。我们给出了一个简要的概述六个相当不同的建模形式主义的实时的【形】莫德提供了形式语义和（可能的）形式分析。这些模型包括航空电子建模标准AADL的行为子集、Ptolemy II离散事件模型、两个基于EMF的定时模型转换系统和一个用于手持设备软件的建模语言。
2011-06-30 cs.LO cs.SE
Towards a unified user modeling language for engineering human centered AI systems
Luxembourg Institute of Science and Technology（卢森堡科学与技术研究所）；University of Luxembourg（卢森堡大学）
提出统一用户建模语言，整合现有方法，在低代码平台上实现，并用于自动适配对话代理。
2026-06-23 cs.SE
Modeling Variability in Template-based Code Generators for Product Line Engineering
从抽象模型生成软件是模型驱动工程的主要活动。可适应和可扩展的代码生成器对于满足不断变化的技术和用户需求非常重要。然而，它们不太成熟，因为可变性通常被设计为单片系统的配置选项。因此，代码生成通常与一组固定的功能相关联，在不同的上下文中几乎不能重用，并且没有配置变体的方法。在本文中，我们提出了一种开发基于模板的代码生成器产品线的方法。这种方法应用了面向特性编程的概念，使可变性变得明确和可管理。此外，它依赖于代码生成器模板中的显式可变区域（VR）、VR的细化以及模板和细化到可重用层中的聚合。混凝土产品是通过选择一个或多个层来定义的。如有必要，会自动选择因VR细化而需要的其他层。
2016-06-09 cs.SE
Software Engineering Modeling Applied to English Verb Classification (and Poetry)
在需求规格说明中，软件工程师创建所设想系统的文本描述，并使用通用建模语言（UML）和系统建模语言（SysML）等工具开发概念模型。一个这样的工具，称为FM，最近已开发作为输入-过程-输出（IPO）模型的扩展。IPO已被广泛用于许多跨学科的应用，并被描述为所有描述工具中最基本和最重要的一个。本文是对IPO过程的一次尝试。描述过程的基本方法是用动词。这种语言的使用对系统建模有着重要的意义，因为动词表达了所有事物的各种动作和运动。很明显，建模需要检查动词。因此，本文将英语动词作为了解过程的桥梁，而不是作为语言学分析，而是为了揭示过程的语义，特别是形成FM状态基础的五个动词：创建，处理，接收，释放和转移。本文主要讨论动词的分类，特别是如何对动词的动作进行图形化建模。从语言学的角度来看，根据一些研究人员的说法，需要进一步探索动词类的概念，以用于现实世界的任务，如机器翻译，语言生成和文档分类。因此，这种非语言学的研究可能会对语言学有所裨益。
2017-10-26 cs.SE
Variational Exploration Module VEM: A Cloud-Native Optimization and Validation Tool for Geospatial Modeling and AI Workflows
IBM Research（IBM研究院）；STFC Hartree Centre（STFC哈特雷中心）；Riskaware Ltd.（瑞斯克威尔有限公司）
本文提出云原生变分探索模块 VEM，通过编排工作流执行并结合贝叶斯与机器学习方法，实现地理空间建模与 AI 工作流的优化和验证，支持多智能体环境下的多种采样策略组合。
2023-11-26 cs.AI cs.SE
A Use-Case Driven Approach in Requirements Engineering : The Mammogrid Project
我们报告的应用程序的用例建模技术，以确定和指定的用户需求的MammoGrid项目的增量和控制迭代的方法。建模是与临床医生和放射科医生密切合作进行的，他们没有使用案例的经验。这项研究揭示了应用这种技术的优势和局限性，在乳腺癌筛查和乳房X线摄影研究领域的需求规范，更普遍的医学成像的影响。此外，这项研究表明，在需求工程过程的阶段之间的较短的差距，用例建模的投资回报。这种分析的定性结果使我们提出，用例建模方法可能会导致减少医疗成像的需求工程过程的周期。
2004-02-02 cs.DB cs.SE
Conceptual Software Engineering Applied to Movie Scripts and Stories
Kuwait University（科威特大学）
本研究介绍了软件工程工具的另一个应用，概念建模，它可以应用到其他领域的研究。加强软件工程和其他领域之间关系的一种方法是开发一种好的方法来执行概念建模，能够解决这些研究领域的特殊性。这项研究集中在人文和社会科学，这通常被认为是软，远离抽象和（抽象）机器。具体地说，我们关注概念建模作为一种软件工程工具（例如，UML）在故事和电影剧本领域。人文科学和社会科学的研究人员可能不会像工程师那样使用相同程度的形式化，但他们仍然发现概念建模很有用。目前的建模技术（例如，UML）在这项任务中失败了，因为它们是面向软件系统的创建的。类似的概念建模语言（例如，ConML）是在考虑到人文和社会科学的情况下提出的，正如所声称的那样，它可以用来建模任何东西。这项研究是在这个方向上的一个冒险，在那里的软件建模技术，思维机（TM），适用于电影剧本和故事。本文提出了一种新的方法来开发图形静态/动态模型的电影剧本和故事。TM模式图是叙述性话语的一种中立和独立的表征，可以作为参与者之间的交流工具。提出的例子包括普罗普童话模型的例子;铁路儿童和实际的电影剧本似乎指向这种方法的可行性。
2020-12-17 cs.AI cs.SE
An Empirical Exploration of ChatGPT's Ability to Support Problem Formulation Tasks for Mission Engineering and a Documentation of its Performance Variability
University of Southern California（南加州大学）；Stevens Institute of Technology（史蒂文斯理工学院）；Virginia Tech（弗吉尼亚理工大学）
本文通过 NASA 太空任务设计挑战实证评估 ChatGPT-3.5 在任务工程问题表述中识别利益相关者的能力，发现其对人本利益相关者识别较好但对环境因素识别差、抽象层次保持不足且并行输出变异性大，表明其可靠性有限。
2025-02-05 cs.AI cs.CL cs.SE
AI-Guided Exploration of Large-Scale Codebases
Department of Computer Science（计算机科学系）；Virginia Tech（弗吉尼亚理工大学）
本研究提出结合确定性逆向工程与LLM引导意图感知可视化探索的混合方法，构建自适应代码理解工具，帮助开发者更有效地导航和理解大规模复杂代码库。
2025-08-07 cs.AI cs.HC cs.SE
Advanced Cloud Privacy Threat Modeling
在云计算中，敏感数据的隐私保护已经成为一个具有挑战性的问题。威胁建模作为安全软件开发中需求工程的一部分，提供了一种结构化的方法来识别攻击，并提出针对系统中漏洞利用的对策。本文介绍了一种扩展的云隐私威胁建模（CPTM）的隐私威胁建模方法，在云计算环境中处理敏感数据。它描述了建模方法，包括应用方法工程来指定云隐私威胁建模方法的特征，所提出的方法和相应产品的不同步骤。我们相信，扩展的方法有利于从需求工程到设计的隐私保护云软件开发方法的应用。
2016-01-07 cs.CR cs.DC cs.SE
Scene-Driven Exploration and GUI Modeling for Android Apps
本文提出 SceneDroid，通过智能探索、状态模糊测试和间接启动等技术动态提取 GUI 场景并构建 SceneTG，显著提升 Android 应用 GUI 建模的迁移覆盖率与场景提取能力。
2023-08-20 cs.CR cs.HC cs.SE
TOM-SWE: User Mental Modeling For Software Engineering Agents
Language Technology Institute, Carnegie Mellon University（卡内基梅隆大学语言技术研究所）
TOM-SWE通过双代理架构实现用户心理建模，提升软件工程代理的任务成功率和用户满意度。
2026-01-29 cs.AI cs.SE
Software Engineering Event Modeling using Relative Time in Temporal Knowledge Graphs
McGill University（麦吉尔大学）；Google Research（谷歌研究院）
我们提出了一个多关系的时间知识图谱的基础上，在GitHub，最大的社会编码平台之一的工件之间的日常互动。这种表示使得能够提出许多用户活动和项目管理问题，作为知识图谱上的链接预测和时间查询。特别是，我们引入了两个新的数据集i）内插的时间条件链接预测和ii）外推的时间条件链接/时间预测查询，每一个都具有独特的属性。我们对这些数据集的实验强调了调整知识图谱来回答广泛的软件工程问题的潜力。同时，它也揭示了现有的时态模型的外推查询和时间预测查询的一般性能不令人满意。为了克服这些缺点，我们引入了一个扩展到当前的时间模型，使用相对的时间信息与过去的事件。
2020-07-13 cs.LG cs.SE stat.ML
Requirements Engineering for Machine Learning: A Review and Reflection
National Engineering Research Center for Big Data Software（国家大数据软件工程技术研究中心）；School of Software, Tsinghua University（清华大学软件学院）
如今，许多工业流程正在经历数字化转型，这通常需要在业务流程中集成易于理解的领域模型和最先进的机器学习技术。然而，关于何时、何地以及如何将各种领域模型和端到端机器学习技术适当地嵌入到给定的业务工作流中的需求获取和设计决策需要进一步探索。本文旨在提供一个概述的需求工程过程中的机器学习应用程序的跨域协作。我们首先回顾了有关机器学习需求工程的文献，然后一步一步地完成协作需求分析过程。还讨论了与上述步骤相关的工业数据驱动智能应用的示例情况。
2022-10-03 cs.LG cs.SE
Compositional Formal Analysis Based on Conventional Engineering Models
状态空间探索的形式化方法已成功应用于评估鲁棒关键软件系统。形式化方法能够发现常规测试可能遗漏的错误条件，并有助于规划复杂的系统操作。然而，形式化方法的广泛应用受到了为实际系统生成形式化规范所需的努力的阻碍。在本文中，我们提出了状态链接接口符合性引擎的数据（SLICED），一种方法，它解决了复杂的正式状态机规范生成，利用传统的工程模型，以获得组成的正式状态模型，并生成正式的断言的状态机。我们演示切片使用虚拟自适应模型发表的NASA和验证我们的结果，通过复制它们使用Simulink。
2020-04-07 cs.SE cs.SY eess.SY
Methodology for Holistic Reference Modeling in Systems Engineering
Universität der Bundeswehr München（慕尼黑联邦国防军大学）
面对日益增加的复杂性，模型支持新系统和企业的开发。为了实现高效的程序，需要调整参考模型，以便以最小的开销获得涵盖所有必要方面的解决方案。在这里，一个关键的挑战是应用一致的方法来描述这样的参考设计。本文提出了一个整体的方法来描述不同的视图和级别的参考模型。建模从需求和功能延伸到服务和组件，再到流程和数据结构中的实现。优点包括功能覆盖的端到端可追溯性，性能参数在参考设计的起点就已考虑在内。这使得在考虑设计约束和潜在瓶颈的同时能够集中开发。我们展示了一个智能机器人的发展的例子上的方法。在这里，我们的方法高度支持进一步系统开发的设计的可转移性。
2022-11-21 cs.CV cs.MA cs.SE
