...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Pomiary Automatyka Kontrola >Transformacja diagramów aktywności UML 2.0 do sieci Petriego w systemach sterowania binarnego
【24h】

Transformacja diagramów aktywności UML 2.0 do sieci Petriego w systemach sterowania binarnego

机译：在二进制控制系统中将UML 2.0活动图转换为Petri网

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

摘要

Artykuł zawiera omówienie oraz porównanie dwóch formalnych metod specyfikacji behawioralnej systemów osadzonych - diagramów aktywności języka UML 2.0 oraz sieci Petriego. Przedstawione są podobieństwa oraz różnice pomiędzy nimi. Poruszone jest zagadnienie transformacji pomiędzy dwoma wymienionymi technikami specyfikacji wraz z obrazującym ten proces przykładem. Uwzględniono także problem nadmiarowości sieci Petriego po bezpośredniej transformacji i wynikającą z tego konieczność redukcji miejsc i tranzycji przy zachowaniu jednoznaczności obu diagramów. Artykuł podzielony jest następująco. Rozdział 2 zawiera wprowadzenie do diagramów aktywności w UML 2.0. Rozdział 3 przedstawia sieci Petriego. Rozdział 4 porównuje obie metody specyfikacji - diagramy aktywności oraz sieci Petriego. Rozdział 5 porusza zagadnienie transformacji pomiędzy dwoma omawianymi technikami. Rozdział 6 zawiera podsumowanie wcześniejszych rozdziałów oraz wnioski.
机译：本文讨论并比较了嵌入式系统行为规范的两种形式化方法-UML 2.0语言活动图和Petri网络。他们之间的异同。讨论了两个提到的规范技术之间的转换问题，并举例说明了此过程。还考虑了直接变换后陪替氏网络的冗余问题，以及在保持两个图的唯一性的同时减少位置和过渡的需求。本文分为以下几部分。第2章介绍了UML 2.0中的活动图。第3章介绍了Petri网。第4章比较了两种规范方法-活动图和Petri网。第5章讨论了所讨论的两种技术之间的转换问题。第6章总结了以前的章节和结论。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号