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

Problem hierarchii w transformacji diagramów aktywności UML 2.x do sieci Petriego sterowania

机译：UML 2.x活动图转换为控制Petri网的层次结构问题

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

摘要

Behavior specification is one of the most important steps in embedded systems design. It plays a significant role because system properties and functionality are specified in this phase. There exist some techniques which can be helpful for a designer. In the paper two methods for graphical specification of logic controller behavioral specification [1,2, 6], namely UML 2.x activity diagrams [10] and control Petri nets [11], are considered. A novel transformation method for transformation of hierarchical activity diagrams into hierarchical Petri nets is proposed. The presented method allows combining the advantages of both types of graphical system specification. Additionally, a formal verification method for hierarchical specification form is proposed. It enables detecting potential errors at early stage of system development. Hierarchical form of specification is commonly used in design process. Activity diagrams can include complex actions (Fig. 1) which describe some subprocesses. Petri nets also support hierarchy, but it can be realized in two different forms [9] - as macroplaces or macrotransitions (Fig. 2). According to the transformation method from [3, 8], actions in activity diagrams are interpreted as transitions in Petri net. In hierarchical processes by means of Petri nets two elements, macrotransitions (Fig. 3) and macroplaces (Fig. 4), have to be considered. The macroplace (Fig. 5a) can be surrounded by two transitions (Fig. 5b), decomposed (Fig. 5c), and finally compressed to macrotransition (Fig. 5d), then transformed into complex activity in an UML 2.x activity diagram (Fig. 5e). Verification of both considered specification forms [3] allows comparing two versions of the same behavior description. The model checking technique [4] can be used to verify the whole system or a part of it. Partial verification can be used for hierarchical specifications, as the verification process can be performed step by step (Fig. 6).%Proces specyfikacji zachowania odgrywa istotną rolę z powodu określania na tym etapie cech i sposobu funkcjonowania sterownika logicznego. W artykule omówione zostały dwie metody graficznego specyfikowania zachowania sterowników logicznych - diagramy aktywności języka UML 2.x oraz sieci Petriego sterowania. Zaproponowana została metoda transformacji hierarchicznych diagramów aktywności do hierarchicznych sieci Petriego. Dzięki przedstawionej metodzie możliwe jest połączenie zalet obu typów graficznego opisu specyfikacji urządzeń. Dodatkowo, zaproponowana została metoda formalnej weryfikacji hierarchicznej formy specyfikacji umożliwiająca wykrycie potencjalnych błędów na tym wczesnym etapie projektu.
机译：行为规范是嵌入式系统设计中最重要的步骤之一。它起着重要作用，因为在此阶段指定了系统属性和功能。存在一些对设计师有用的技术。在本文中，考虑了两种用于逻辑控制器行为规范的图形化规范的方法[1,2，6]，即UML 2.x活动图[10]和控制Petri网[11]。提出了一种将层次活动图转换为层次Petri网的新方法。所提出的方法允许组合两种类型的图形系统规范的优点。另外，提出了一种用于层次规范形式的形式化验证方法。它可以在系统开发的早期阶段检测潜在的错误。规范的分层形式通常在设计过程中使用。活动图可以包括描述某些子过程的复杂动作（图1）。 Petri网也支持层次结构，但是它可以以两种不同的形式实现[9]-作为宏位置或宏转换（图2）。根据[3，8]中的转换方法，活动图中的动作被解释为Petri网中的转换。在通过Petri网的分层过程中，必须考虑两个元素，即宏转换（图3）和宏位置（图4）。宏位置（图5a）可以被两个过渡（图5b）包围，分解（图5c），最后压缩为宏过渡（图5d），然后在UML 2.x活动图中转换为复杂活动。 （图5e）。两种考虑的规范形式的验证[3]允许比较同一行为描述的两个版本。模型检查技术[4]可用于验证整个系统或系统的一部分。部分验证可以用于层次结构规范，因为可以逐步执行验证过程（图6）。％Proces specyfikacji zachowania odgrywaistotnąrolęz powoduokreślaniana tym etapie cech i sposobu funkcjonowania sterownika logicznego。 W artykuleomówionezostałydwie metody graficznego specyfikowania zachowaniasterownikówlogicznych-图解aktywnościjęzykaUML 2.x oraz sieci Petriego sterowania。 Zaproponowanazostałametoda transformacji hierarchicznychdiagramówaktywnoścido hierarchicznych sieci Petriego。 Dziękiprzedstawionej metodziemożliwejestpołączeniezalet obutypówgraficznego opisu specyfikacjiurządzeń。 Dodatkowo，zaproponowanazostałametodaformnej weryfikacji hierarchicznej formy specyfikacjiumożliwiającawykrycie potencjalnych będówna tym wczesnym etapie projektu。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号