...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Pomiary Automatyka Kontrola >Specyfikacja behawioralna dla rekonfigurowalnych sterowników logicznych z wykorzystaniem diagramów maszyny stanowej z języka UML 2.0
【24h】

Specyfikacja behawioralna dla rekonfigurowalnych sterowników logicznych z wykorzystaniem diagramów maszyny stanowej z języka UML 2.0

机译：使用UML 2.0语言中的状态机图进行可重配置逻辑控制器的行为规范

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

摘要

The Unified Modeling Language (UML) is a language for specifying, visualizing, constructing, and documenting artifacts of software systems, as well as for business modeling and other non-software systems. The UML represents a collection of the best engineering practices that have proven successful in modeling large and complex systems. The authors of UML are Grady Booch, Ivar Jacobson and James Rumbaugh. The current version of the language is 2.0. The UML language contains thirteen kinds of diagrams (structure and behavior diagrams). One of the behavior diagrams is a state machine diagram that defines a set of concepts that can be used for modeling discrete behavior through finite state transtion systems. The UML language can be used not only for designing software systems, but also for other kinds of them, for example reactive systems. This paper presents a method of using the UML language for behavioral specification for logic controllers such as PLC, RLC and reconfigurable FPGAs. Emphasis is put on diagrams that represent behavioral state machines, because they refer directly to the definition of Finite State Machines. It is worth mentioning that state machine diagrams support various features of the modeling systems such as hierarchy and orthogonality. This support allows for designing the behavior of the complex and orthogonal systems in an intuitive and clear way, on the selected hierarchical level. For example Figure 3 shows a state machine diagram for "Reactor" model on the highest hierarchy level and Figure 4 represent all details of the designed system (lowest hierarchy level). Also a possibility of using UML tools was discussed. As for future research, the use of other diagrams from UML is going to be investigated, e.g., use case diagrams or activity diagrams. The former can be applied to analyze the user's needs and interface of the designed device. The activity diagrams can be used to prepare testbenches for the modeled system. But the main method to model the behavior of a system are state machine diagrams.%Język UML to graficzny język do obrazowania, specyfikowania, tworzenia i dokumentowania szeroko pojętych systemów informatycznych. Jego obecna wersja 2.0 wprowadziła wiele zmian, także w diagramach stanów, które teraz nazywają się diagramami maszyny stanowej. W referacie przedstawiono nietypowe wykorzystanie diagramów maszyny stanowej, bo do modelowania programów dla rekonfigurowalnych sterowników logicznych (specyfikacja behawioralna). Na początku referatu krótko zdefiniowano sterownik logiczny, a następnie omówiono opracowaną metodę jego specyfikacji z wykorzystaniem diagramów maszyny stanowej (UML 2.0), która, zdaniem autora, bardzo dobrze nadaje się do modelowania hierarchicznych układów współbieżnych. Zwrócono także uwagę na możliwość używania do specyfikacji programów dla sterowników logicznych, często darmowych, narzędzi UML do modelowania systemów informatycznych. Omawiane zagadnienia poparte zostały stosownymi przykładami.
机译：统一建模语言（UML）是一种用于指定，可视化，构建和记录软件系统工件以及业务建模和其他非软件系统工件的语言。 UML代表了最佳工程实践的集合，这些实践已被证明可以成功地对大型复杂系统进行建模。 UML的作者是Grady Booch，Ivar Jacobson和James Rumbaugh。该语言的当前版本是2.0。 UML语言包含十三种图（结构图和行为图）。行为图之一是状态机图，它定义了一组概念，这些概念可用于通过有限状态转换系统对离散行为进行建模。 UML语言不仅可以用于设计软件系统，还可以用于其他类型的软件系统，例如反应系统。本文提出了一种使用UML语言为逻辑控制器（例如PLC，RLC和可重新配置的FPGA）的行为规范的方法。重点放在表示行为状态机的图上，因为它们直接引用有限状态机的定义。值得一提的是，状态机图支持建模系统的各种功能，例如层次结构和正交性。这种支持允许在所选层次结构级别上以直观，清晰的方式设计复杂和正交系统的行为。例如，图3在最高层次上显示了“ Reactor”模型的状态机图，图4代表了所设计系统（最低层次上的层次）的所有细节。还讨论了使用UML工具的可能性。至于将来的研究，将研究使用UML中其他图表的情况，例如用例图或活动图。前者可用于分析用户的需求和设计设备的界面。活动图可用于为建模系统准备测试平台。但是，对系统行为进行建模的主要方法是状态机图。％Jzyzyk UML到obobowowania，specyfikowania，tworzenia和dokumentowania szerokopojętychsystem-informatycznych。 Jego obecna wersja 2.0wprowadziławiele zmian，takżew diagramachstanów，któreteraznazywająsiędiagramami maszyny stanowej。您可以在maszyny stanowej，bo do modelowania计划和dla rekonfigurowalnychsterownikówlogicznych（specyfikacja behawioralna）中找到自己的名字。您可以通过maszyny stanowej（UML 2.0），kóóznyzewázenchécháchénáházánádado dadozénázínásadany dos，dénépénsénázénáchénáchénáchínáchášnéchánínsádénáhásínádénádínádínádínádínádénádénádénádénádénénádénédédédédédédédédédédédéné专门制作程序的逻辑视图，逻辑库，纳尔维奇，纳尔逊UML模型系统和信息系统。 Omawiane zagadnienia popartezostałystosownymiprzykładami。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号