首页/论文/1312.0352

arXiv 1312.03522013-12-02cs.SE

用UML-RSDS求解Petri网到状态图的转换

Solving the Petri-Nets to Statecharts Transformation Case with UML-RSDS

K. Lano, S. Kolahdouz-Rahimi, K. Maroukian

备注：: In Proceedings TTC 2013, arXiv:1311.7536
发表信息：: EPTCS 135, 2013, pp. 101-105
DOI：: 10.4204/EPTCS.135.13

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文提供了一个解决方案的Petri网状态图的情况下，使用UML-RSDS。我们展示了如何使用这种方法可以给出一个高度声明性的解决方案，这是融合和可逆的。

英文摘要：

This paper provides a solution to the Petri-Nets to statecharts case using UML-RSDS. We show how a highly declarative solution which is confluent and invertible can be given using this approach.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

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

继续探索

相关论文

用UML-RSDS求解TTC 2011模型迁移案例

Solving the TTC 2011 Model Migration Case with UML-RSDS

在本文中，我们应用UML-RSDS符号和工具的GMF模型迁移的案例研究，并解释如何使用UML-RSDS工具。

2011-11-21cs.SE

使用UML-RSDS说Hello World-2011年指导性案例的解决方案

Saying Hello World with UML-RSDS - A Solution to the 2011 Instructive Case

在本文中，我们应用UML-RSDS符号和工具的“Hello World”的案例研究，并解释了这种模型转换方法的基本开发过程。

2011-11-21cs.SE

在本报告中，Statecharts的语义是基于称为“系统模型”的对象系统的数学模型定义的。UML/P Statecharts的语义定义是详细的，Statecharts的一个变体，限制了一些方法和语义上困难的概念的使用。在将完整的UML/P Statecharts转换为简化但语义等价的Statecharts之后，语义被定义为系统模型的映射。它还概述了如何已经存在的状态图语义可以映射到系统模型。这份报告如下，其中我们详细介绍了我们的方法，并定义了UML类图的语义。

2014-09-22cs.SE

使用本体推理器的UML类、对象和状态图的一致性

Consistency of UML class, object and statechart diagrams using ontology reasoners

Åbo Akademi University（奥布学术大学）

我们提出了一个自动的方法来分析的一致性和可满足性的统一建模语言UML模型包含多个类，对象和状态图使用逻辑推理的Web本体语言OWL 2。我们描述了如何在OWL 2中翻译UML模型，我们提出了一个工具链实现这种翻译，可以与任何标准兼容的UML建模工具。所提出的方法在范围上是有限的，但它是全自动的，并且不需要设计人员提供任何关于OWL 2及其推理机的专业知识。

2022-05-23cs.AIcs.CLcs.SE

基于UML/P状态图的机器人程序设计语言

A New Skill Based Robot Programming Language Using UML/P Statecharts

German Aerospace Center (DLR)（德国航空航天中心(DLR)）；RWTH Aachen University（亚琛工业大学）

本文介绍了一种新的机器人程序设计语言LightRocks（LightWeightRobotCodingforSkills），它是一种用于机器人编程的领域专用语言（DSL）。该语言为机器人编程提供了三个不同的抽象层次。最低级别的技能由领域专家编码。在更抽象的层面上，这些技能应该由车间工人或技术人员结合起来定义任务。该语言被设计为在最低抽象级别上允许尽可能多的灵活性，并在更抽象的层中保持尽可能简单。一个类似状态图的模型被用来描述不同层次的细节。为此，我们应用UML/P和语言工作台MontiCore。为此，我们能够生成代码，同时隐藏控制器特定的实现细节。此外，LightRocks中的开发由作为Eclipse插件实现的通用图形编辑器支持。

2014-09-22cs.ROcs.SE

UML设计的自动调试支持

Automatic Debugging Support for UML Designs

大型软件系统的设计需要严格应用涵盖软件过程所有阶段的软件工程方法。在早期的设计阶段进行调试是非常重要的，因为后期的错误修复是昂贵的。在本文中，我们描述了一种方法，便于调试的UML需求和设计。统一建模语言（UML）是一组用于软件系统的面向对象设计的符号。我们已经开发出一种算法，翻译的形式，注释序列图到结构化的状态图的需求规格。该算法检测序列图之间的冲突和领域知识中的不一致。在从序列图合成状态图之后，这些状态图通常受到手动修改和细化。通过使用我们的合成算法的“向后”方向，我们能够将对状态图的修改映射回需求（序列图），并检查那里的冲突。反馈给用户的冲突检测我们的算法是基于演绎的调试的需求和域理论在非常早期的发展阶段的基础。我们的方法允许生成关于为什么存在冲突以及规范的哪些部分受到影响的解释。

2000-11-13cs.PLcs.SE

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

产品规格和产品线

Specification of Products and Product Lines

近年来，软件开发中的可变性研究变得越来越重要。一个常见的机制来表示产品线中的可变性是通过特征模型。然而，这些模型和UML设计模型之间的关系并不简单。UML状态图被扩展，在其主要组件中引入可变性，以便可以指定产品线的行为。这项工作的贡献是一个基于规则的方法，定义了一个转换策略，从扩展的状态图到具体的UML状态图的建议。这是通过使用特征模型来实现的，以便描述共同的和变化的组件，以这种方式，从不同的特征配置开始并应用基于规则的方法，可以获得对应于生产线的不同产品的具体状态机。

2010-01-25cs.LOcs.SE

摘要：