论文标题
机器人体系结构的高级描述
High-Level Description of Robot Architecture
论文作者
论文摘要
建筑描述(AD)是促进机器人系统实施和验证的骨干。通常,当前的高级广告反映了巨大的差异并带来了各种困难,包括将广告与实施问题相结合。他们缺乏系统性和连贯性的质量,也缺乏与技术相关的形式(例如面部图标,计算机屏幕)。此外,存在各种语言来引起要求,例如面向对象的分析方法易于不一致(例如,那些在UML和sysml中使用多个图表的方法)。在本文中,我们将研究定向了对机器人技术中广告的更通用概念化。我们应用了一种新的建模方法,即东西机(TM)来描述机器人系统中的体系结构。这种应用的重点是高级规范,这是实现此类系统中设计和实现的重要方面。 TM建模可以用于文档和通信,以及系统设计阶段的第一步。因此,样本机器人体系结构根据TM进行了重新表达,因此(1)捕获机器人的静态方面的静态模型,(2)一个识别状态的动态模型,以及(3)指定系统中事件年代学的行为模型。该结果显示了机器人建模中一种可行的方法,该方法通过其静态描述来确定机器人系统的行为。
Architectural Description (AD) is the backbone that facilitates the implementation and validation of robotic systems. In general, current high-level ADs reflect great variation and lead to various difficulties, including mixing ADs with implementation issues. They lack the qualities of being systematic and coherent, as well as lacking technical-related forms (e.g., icons of faces, computer screens). Additionally, a variety of languages exist for eliciting requirements, such as object-oriented analysis methods susceptible to inconsistency (e.g., those using multiple diagrams in UML and SysML). In this paper, we orient our research toward a more generic conceptualization of ADs in robotics. We apply a new modeling methodology, namely the Thinging Machine (TM), to describe the architecture in robotic systems. The focus of such an application is on high-level specification, which is one important aspect for realizing the design and implementation in such systems. TM modeling can be utilized in documentation and communication and as the first step in the system s design phase. Accordingly, sample robot architectures are re-expressed in terms of TM, thus developing (1) a static model that captures the robot s atemporal aspects, (2) a dynamic model that identifies states, and (3) a behavioral model that specifies the chronology of events in the system. This result shows a viable approach in robot modeling that determines a robot system s behavior through its static description.