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.
翻译:建筑图解(AD)是推动机器人系统实施和验证的支柱。一般而言,目前的高级行政报告反映了巨大的差异,并导致各种困难,包括将反倾销与执行问题混在一起。它们缺乏系统性和一致性的素质,缺乏技术相关形式(如面孔图标、计算机屏幕等)。此外,有多种语言用于提出要求,如面向目标的分析方法,可能不一致(例如,在UML和SysML中使用多个图表)。在本文中,我们的研究方向是机器人AD的更通用概念化。我们采用了一种新的模型方法,即Tring机器(TM),以描述机器人系统的架构。这种应用的重点是高层次的规格,这是实现这些系统的设计和实施的一个重要方面。TM建模可以在文件和通信中使用,并且作为系统设计阶段的第一步。因此,抽样机器人结构在TM的模型中重新表述,从而开发了一个新的模型,即标定机机机机(TM)来描述机器人系统的架构,从而确定一个动态的模型,从而确定一个动态的系统结果,从而确定一个动态的模型。