论文标题:A conceptual modeling approach of MQTT for IoT-based systems 中文标题:物联网系统中MQTT的概念建模方法
作者信息:Basma M. Mohammad El-Basioni 作者机构:Computers and Systems Department, Electronics Research Institute, Elbahth Elelmy St. From Joseph Tito, El-Nozha El-Gededa, P.O.: 11843, Cairo, Egypt
论文出处:Journal of Electrical Systems and Information Technology (2024) 11:62, A conceptual modeling approach of MQTT for IoT-based systems | Journal of Electrical Systems and Information Technology | Full Text
主要内容:
引言部分:
- MQTT(Message Queuing Telemetry Transport)是一种轻量级、简单的开放式标准消息协议,适用于物联网(IoT)环境,支持数据传输。
- MQTT基于发布/订阅(pub/sub)通信模式,具有许多特性和优势,使其在机器间通信、移动应用、服务器与客户端之间的通信等大规模分布式应用场景中表现卓越。
- 随着IoT的发展,MQTT协议的重要性日益增加,因此需要深入理解MQTT规范以便实现协议,并改进协议。
相关工作:
- 讨论了概念建模的目的,即以图形形式提供系统的抽象表示,以促进系统理解并实现多方利益相关者之间的沟通。
- 介绍了几种概念建模方法,包括统一建模语言(UML)、业务流程模型和符号(BPMN)、资源描述框架(RDF)、对象角色建模(ORM)、Petri网(PN)和有限状态机(FSM)。
- 比较了这些建模方法的特点,并指出它们在MQTT系统建模中的局限性。
-
统一建模语言(UML):
- 特点:UML是一种通用的建模语言,用于系统设计,包括结构图、行为图和交互图。它能够表达系统的静态结构、动态行为和对象间的交互。
- 局限性:UML的复杂性较高,学习成本和实践难度大,且在管理其图表时也较为复杂。此外,UML的图表有时存在歧义,导致不同利益相关者在解读图表时可能存在差异,同时存在建模不足的问题。
-
业务流程模型和符号(BPMN):
- 特点:BPMN是一种用于组织内简单和复杂业务流程建模的图形化建模语言,其图表类似于UML的活动图,以业务规则控制的步骤序列来表示流程。
- 局限性:与UML类似,BPMN也存在建模不足的限制,并且其图表的易学性和理解性虽然优于UML,但在大规模数据集和复杂系统中可能面临挑战。
-
资源描述框架(RDF):
- 特点:RDF是用于网络数据交换的模型,以有向标记图为表现形式,图中节点代表资源,边由称为三元组的名称标识,包含两个资源节点和它们之间的关系。
- 局限性:RDF易于理解,且能够通过XML序列化,支持不同格式系统间的互操作性。但在处理大规模数据集时存在可扩展性问题。
-
对象角色建模(ORM):
- 特点:ORM是一种基于事实的概念数据和本体建模方法,用于软件开发。它从基于文本的和图形化的表示出发,比UML更容易理解。
- 局限性:ORM图表不包含属性,因此可以用自然语言等价描述,但在组织数据的抽象表示时不涉及存储和处理数据的细节。
-
Petri网(PN)和有限状态机(FSM):
- 特点:PN用于建模并发离散系统,而FSM用于建模单线程离散系统。
- 局限性:PN允许并发,能够建模更复杂的系统,但在MQTT系统建模中可能存在过于复杂和难以管理的问题。
这些建模方法虽然在各自的领域内具有优势,但在MQTT系统建模中可能会因为其固有的局限性而不能满足所有需求,特别是在处理MQTT协议的轻量级、低功耗和高并发特性时。因此,论文提出了EoSCM-MQTT作为一种新的概念建模方法,旨在克服这些传统建模方法的局限,更好地适应MQTT协议的特点和IoT系统的需求。
MQTT应用分析通过概念建模:
- 提出了一种名为EoSCM-MQTT的概念建模方法,旨在通过图形化的方式展示MQTT组件的行为规范和它们之间的交互。
- 描述了如何将MQTT规范转化为一系列动作和决策测试表达式,并将这些转化为图形化表示。
- 详细说明了模型符号和转换方法,包括实体、消息传递、决策测试等的图形表示。
应用示例场景建模:智能停车:
- 通过智能停车应用示例,展示了EoSCM-MQTT的实际应用。
- 描述了智能停车系统中的实体、交易、程序,并展示了如何使用EoSCM-MQTT模型来模拟MQTT网络。
建模评估:使用概念模型模拟MQTT:
- 使用EoSCM-MQTT模型实现了MQTT模拟框架,并在智能停车应用中进行了测试。
- 讨论了模拟网络的参数设置、网络模型构建以及MQTT应用层的实现。
- 分析了模拟结果,并讨论了模型的有效性、可靠性和效率。
结论和未来工作:
- 总结了EoSCM-MQTT模型的主要特点,包括良好的语法、语义和实用质量,清晰性、一致性、准确性、灵活性、可靠性和有效性。
- 提出了未来工作的方向,包括在不同实际应用中验证和改进模型,以及开发图形工具以加速IoT系统的部署。