• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Model driven engineering languages and systems >Deterministic UML Models for Interconnected Activities and State Machines
【24h】

Deterministic UML Models for Interconnected Activities and State Machines

机译：互连活动和状态机的确定性UML模型

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

The interconnection between UML activities and state machines enables the comprehensible modeling of systems based on data flows and events. In this paper, we propose a novel approach to guarantee a deterministic behavior for models in which activity and state diagrams work together. At first, deterministic models are ensured independently within both diagrams by using our UML profile for Deterministic Models for signal processing embedded systems (DMOSES). The relationship between executions of the model elements is analyzed according to interconnections of the activity and state diagrams described in the UML standard. To avoid nondeterministic models, we define the execution behavior of cooperating activities and state machines. The interconnection of both diagrams and their corresponding behavior are illustrated in an embedded system example that uses parallel processing for data as well as for events. Our approach simplifies the development of deterministic embedded systems by code generation from UML models.
机译：UML活动和状态机之间的互连可以基于数据流和事件对系统进行全面的建模。在本文中，我们提出了一种新颖的方法来保证活动和状态图协同工作的模型的确定性行为。首先，通过使用我们的用于信号处理嵌入式系统（DMOSES）的确定性模型的UML配置文件，在两个图中独立地确保确定性模型。根据在UML标准中描述的活动图和状态图的相互关系，分析了模型元素的执行之间的关系。为了避免不确定的模型，我们定义了协作活动和状态机的执行行为。在使用并行处理数据和事件的嵌入式系统示例中，说明了两个图的互连及其相应的行为。通过从UML模型生成代码，我们的方法简化了确定性嵌入式系统的开发。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号