CHESSIoT support of event-based modeling for the Internet of Things applications
物联网系统的设计和开发在不同方面存在异构性。组件的行为也会因为事件是内部的还是外部的而改变，系统需要随后采取行动。在本文中，我们演示了CHESSIOT工具在智能停车应用程序中基于事件的建模功能。采用基于组件的方法，将不同的组件分解为功能和行为规范。最后，我们对未来的工作做了简要的描述。
2021-05-24 cs.PL cs.SE
Extending the code generation capabilities of the Together CASE tool to support Data Definition languages
Together是Atlas协作中推荐的软件开发工具。编程API提供了使用和增强Together内部功能的能力，由三个主要组件组成- IDE，RWI和SCI。IDE是一个只读接口，用于根据Together模型中包含的信息生成自定义输出。RWI允许提取信息并将信息写入Together模型。SCI是源代码接口，顾名思义，它允许在源代码级别工作。Together通过广泛使用相关API编写模块（Java类）来扩展。我们利用Together可扩展性来添加对Atlas Dictionary Language的支持。ADL是OMG IDL的扩展子集。实现的模块（ADLModule）使Together支持ADL关键字，启用选项并直接从UML类图生成ADL对象描述。该模块完全访问Together反向工程C++项目-和/或仅设计类图-并且它足够通用，可以允许额外的特定于HEP的Together工具裁剪。
2003-03-21 cs.SE
Towards Modeling Human-Agentic Collaborative Workflows: A BPMN Extension
本文扩展BPMN建模语言以支持人机协同工作流的精确定义，提出了新元模型形式化与图形表示法，并开源了相应的工作流建模编辑器。
2025-06-27 cs.SE
Case Management: a data set of definitions
随着知识社会的兴起，知识密集型流程（KiPs）对组织变得越来越重要。由于其不可预测和紧急的特点，工作流管理解决方案不适合支持KiP。研究人员和从业人员已经提出了各种案例管理相关的方法来支持KiPs的特征。在本文中，我们提供了一个全面的列表中的定义可用于案例管理，例如，案例处理，自适应案例管理，动态案例管理，生产案例管理。对于每一个定义，我们提出了明确的定义，段落，更好地描述和总结的情况下管理方法，或提取序列，定义在引用的出版物中的术语。所有这些定义都与KiP的特征进行了比较，以了解该领域。
2015-07-14 cs.SE
Modeling System Events and Negative Events Using Thinging Machines Based on Lupascian Logic
本文是一个探索的本体论基础的概念建模，解决了事件的概念和相关的概念。在系统和软件工程中，传达事物如何随时间和空间变化的开发模型需要持续关注。在这种情况下，建模系统中的基本问题包括事件的定义、事件的类型以及事件之间可以识别的关系的种类。尽管在各种研究领域中存在对这些问题的广泛研究，但事件在计算中具有广泛的适用性（例如，事件驱动编程、架构、数据建模、自动化和监控）。虽然这些计算概念是多种多样的，但它们基于事件的本质使我们可以将许多相同的软件工程技术应用于所有这些概念。在本文中，重点是解决系统事件和负面事件的动态概念。具体来说，我们专注于计算机科学家所说的事件语法和事件演算。对事件概念的分析有助于加深对事件概念的理解，为进一步完善概念建模的理论和实践奠定基础。计算机科学中的事件具有许多定义（例如，发生的任何事情，对象属性的变化，以及状态的发生和状态之间的转换）。本文是基于一个不同的概念化使用思维机器和卢帕斯卡逻辑来定义负面事件。事件被定义为一个时间穿透域的区域，它是用事物和五动作机器来描述的。相应地，从事件语法和事件演算的样本进行改造和分析，在这个定义。结果指向一个丰富的建模技术与增强的概念化的事件，可以有利于系统中的行为建模。
2022-11-22 cs.SE
Use of UML and Model Transformations for Workflow Process Definitions
目前，许多不同的建模语言用于BPM系统中的工作流定义。本文作者分析了两种最流行的图形化语言，具有广泛的实际应用的可能性最高的UML活动图（AD）和业务流程建模符号（BPMN）。在实践中必要的工作流程方面进行了简要讨论，并在此基础上提出了一个自然的AD配置文件，其中涵盖了所有这些。还选择了功能等效的BPMN子集。本文还分析了这两种语言在流程执行上下文中的语义（即映射到XML）。通过分析AD和BPMN元模型，作者得出结论，从AD到BPMN的精确转换即使对于所选子集也不是微不足道的，尽管这些语言被认为是相似的。作者展示了如何在MOLA转换语言中定义这种转换。
2006-07-11 cs.SE
A Component-Based Formal Language Workbench
CBS框架支持程序设计语言的基于组件的规范。它的目标是大大减少形式语言规范的工作量，从而鼓励语言开发人员更广泛地利用形式语义。CBS提供了一个广泛的可重用语言规范组件库，促进了语言及其规范的共同进化。在介绍了CBS及其正式定义之后，这篇简短的论文报告了根据定义为CBS生成IDE的工作进展。它还考虑了在其他形式语言工作台上支持基于组件的语言规格说明的可能性。
2019-12-23 cs.PL cs.SE
Towards a Definition of Complex Software System
本文借鉴其他领域复杂系统特性，提出复杂软件系统的正式定义，为软件系统科学研究提供精确、一致的参考框架。
2023-06-20 cs.SE
Modeling and verification method for an early validation of a train system
本文介绍了在工业背景下，在开发的第一步，对训练系统行为进行验证和确认时所取得的结果。提出了一种方法，通过定义和验证的约束状态和先决条件的用例，以及一个结构的行为的初步结果的支持。
2019-08-30 cs.SE
Modeling the Semantics of States and State Machines
一个系统的行为通常是通过模型来指定的，比如描述系统应该如何行为的状态图。根据研究人员的说法，目前还不清楚一个状态实际上代表了要建模的系统。标准没有提供关于状态使用的适当定义或充分指导。研究表明，这些不一致可能导致质量不佳或不完整的规格，这反过来可能导致项目延迟或增加系统设计成本。本文旨在建立状态和状态机概念的精确定义，这是系统建模者（例如，需求工程师）需要理解诸如状态和状态机之类的关键概念和词汇，它们是主要的行为建模工具（例如，在UML中）。状态是状态机的主要概念，其中事件驱动状态更改。这引起了关于这些状态相关符号的性质的问题。这些概念的语义是基于一种新的建模方法，称为thinging机应用到现有模型的一些例子。事物机器语义建立在将静态模型划分为定义事件的变化/状态的五个基本动作之上。
2020-07-14 cs.SE
An overview of metrics-based approaches to support software components reusability assessment
目的：介绍了基于度量的软件构件和构件组装质量评估的研究现状。方法：比较文献中可用的几种方法，使用包括几个方面的框架，如范围，意图，定义技术和成熟度。结果如下：识别当前方法的共同缺点，如定义的模糊性，缺乏足够的指定形式主义和当前的质量模型和度量的软件组件的验证不足。结论：组件和基于组件的基础设施的质量评估对实验软件工程社区提出了新的挑战。
2011-09-30 cs.SE
xPACE and TASC Modeler: Tool support for data-driven context modeling
从需求工程的角度来看，上下文感知功能的启发需要上下文建模，这是一个早期步骤，旨在了解应用程序上下文以及它如何影响用户任务。然而，在实践中，上下文建模活动由于其高度的复杂性而被从业者所忽视。为了改善这种情况，我们实现了xPACE和TASC Modeler，它们是支持基于现有上下文数据自动化上下文建模的工具。在这篇演示论文中，我们提出了一个数据驱动的上下文建模方法，它是由一个上下文数据处理器（xPACE）和上下文模型生成器（TASC Modeler）。我们成功地评估了软件开发项目中的工具提供的结果。
2022-04-13 cs.SE
MontiCore: a Framework for Compositional Development of Domain Specific Languages
领域特定语言（DSL）的使用越来越多。处理复杂的语言定义，以结构化的方式发展它们，并确保它们的无错误性是DSL设计和实现的主要挑战。因此，在语言组件的独立开发中，使用模块化语言定义和组合运算符是不可避免的。在这篇文章中，我们讨论了这些问题，描述了一个框架的文本DSL和他们的支持工具的组合开发。我们使用一个无冗余的定义，一个可读的具体语法和一个可理解的抽象语法，因为这两种表示显着重叠，在其结构。为了增强抽象语法的可用性，我们将关联和继承等概念添加到基于语法的定义中，以构建任意图（如元建模所知）。讨论了模块性的两个概念：文法继承和嵌入。它们允许组合语言定义，从而简化了基于现有语言的扩展。我们表明，新语言的组合工程是一个有用的概念时，项目的个别DSL与适当的工具支持的定义。
2014-09-08 cs.SE
A Formal Definition of Model Composition Traceability
在基于多模型的方法中，开发中的系统由代表各种观点和关注点的几个模型描述。显然，这些部分表示没有全局模型那么复杂，但是需要对它们进行组合以处理验证和同步任务。模型组合是一个关键的模型驱动开发操作，但它仍然是一个乏味且容易出错的活动。从这个角度来看，可跟踪性机制提供了一种通过支持理解组合效果来掌握这种复杂性的方法。在以前的工作中，我们提出了一个专门用于此操作的可追溯性方法。目前利用这些实验，并提出了一个形式化的模型组成的可追溯性。此外，提供了一个通用的可追溯性方法的概述。后者依赖于我们为模型组合操作和相关跟踪引入的形式化定义。
2015-12-23 cs.SE
Using Built-In Domain-Specific Modeling Support to Guide Model-Based Test Generation
我们提出了一个基于模型的测试方法，以支持自动化测试生成领域特定的概念。这包括语言专家，他是构建测试模型的专家，领域专家，他是被测系统领域的专家。首先，我们提供了一个框架，以支持语言专家使用完整的（Java）程序设计语言的帮助下，简单而强大的建模元素的框架建立测试模型。其次，基于使用该框架构建的模型，该工具集自动形成特定于领域的建模语言，该语言可用于进一步约束和指导领域专家从这些模型生成测试。这使得生成一个覆盖整个模型、模型的选定（受约束）部分的大型测试用例集成为可能，或者在使用领域专家熟悉的概念的同时，在模型之上手动定义特定的测试用例。
2012-02-28 cs.SE
THE ADELE-TEMPO experience : an environment to support process modeling and enaction
以过程为中心的软件工程环境（PSEE）近年来吸引了大量的研究者。在这样的环境中，软件过程由PSEE明确描述和解释，允许软件活动自动化，辅助和强制执行。Lehman and Belady（1985）& Osterweil（1987）认为，这种能力是软件开发环境中提高软件产品质量和软件开发人员生产力的核心要素。我们在阿黛尔项目的框架内解决了这些问题。Adele内核，最初是一个配置管理系统，已经扩展到1）复杂产品模型的建模和支持：对象管理器2）软件过程的建模和支持：活动管理器和3）软件产品演化的建模和支持：配置管理器。对于数据和产品建模，ER/OO模型已经实现，包括SEE特定功能;在Adele内核（商业产品）之上，我们开发了一个Process Manager研究原型Tempo，这是一种基于两个主要概念的可执行形式主义：对象可能具有不同的描述（角色），这取决于使用它们的过程，并且过程通过显式连接进行同步和协调。ADL-Tempo是围绕软件产品、工作环境和软件过程的概念组织的。
2020-05-21 cs.SE
Towards Automated Support for the Co-Evolution of Meta-Models and Grammars
针对混合建模工具中元模型与语法协同演化的需求，研究梳理现有工具挑战，提出扩展Xtext生成器、半自动转换Python风格语言的方法，并开发GrammarOptimizer方案支持多风格语言快速原型与二者协同演化。
2023-12-10 cs.SE
The iEnvironment Platform: Developing an Open Science Software Platform for Integrated Environmental Monitoring and Modeling of Surface Water
本文介绍了iEnvironment的发展，一个开放的科学软件平台，支持监测和建模方面的地表水。该平台支持科学和工程研究，特别是在创建，共享，分析和维护大数据和开放数据的背景下。在这个大数据时代，iEnvironment促进了计算机科学家和软件开发人员支持的科学和研究学科之间的开放数据资源和研究合作。
2018-12-25 cs.CY cs.SE
Leveraging LLMs to support co-evolution between definitions and instances of textual DSLs: A Systematic Evaluation
MCSE Group（MCSE研究组）；Karlsruhe Institute of Technology（卡尔斯鲁厄理工学院）；Engineering and Information Technology（工程与信息技术）；Adelaide University（阿德莱德大学）；Institute of Computer Science（计算机科学研究所）；University of Rostock（罗斯托克大学）；Department of Computer Science and Engineering（计算机科学与工程系）；Chalmers University of Technology and University of Gothenburg（楚科斯技术大学和哥德堡大学）；Department of Software Science（软件科学系）
本文利用LLMs评估文本DSL定义与实例的共演化，发现其在小规模案例中表现良好，但随着规模增大性能下降，且语法复杂性和删除粒度影响更大。
2026-02-12 cs.AI cs.SE
Model-Driven Engineering Method to Support the Formalization of Machine Learning using SysML
Technical University of Munich（慕尼黑工业大学）；Technical University of Vienna（维也纳工业大学）
本文提出一种基于模型驱动工程的方法，利用SysML形式化机器学习任务，整合领域与ML专家知识，支持数据源集成、语义连接和数据处理定义，并通过两个用例和用户研究验证其有效性，促进机器学习在工业中的集成。
2023-07-10 cs.AI cs.SE
