物联网中以人工为中心的流程集成框架

物联网中以人工为中心的流程集成框架Maroun Abi Assaf引用此版本：MarounAbi Assaf。物联网中以人工为中心的过程的集成框架。其他[cs.OH]。里昂大学，2018年。英语。NNT：2018LYSEI059。电话：02010326HAL ID：电话：02010326https://theses.hal.science/tel-02010326提交日期：2019年HAL是一个多学科的开放存取档案馆，用于存放和传播科学研究论文，无论它们是否被公开。论文可以来自法国或国外的教学和研究机构，也可以来自公共或私人研究中心。L’archive ouverte pluridisciplinaire本论文可在以下地址查阅：http://theses.insa-lyon.fr/publication/2018LYSEI059/these.pdf© [M. Abi Assaf]，[2018]，INSA Lyon，保留NNT订单编号里昂大学博士论文集操作范围l’INSA博士学校ED512 INFOMATHS博士专业：计算机科学于2018年7月9日公开支持，作者：Maroun ABI ASSAF物联网中以人工制品为中心的流程集成框架在陪审团面前，陪审团由：LAFOREST，Frédérique教授（让·莫奈大学）VERDIER校长，Christine教授（格勒诺布尔阿尔卑斯大学）LAURENT报告员，Anne教授（蒙彼利埃大学）CAUVET报告员，Corine教授（艾克斯-马赛大学）BADR考官，Youakim讲师- HDR（INSA-Lyon）论文AMGHAR，Youssef教授（INSA-Lyon）BARBAR论文联合主任，Kablan教授（黎巴嫩大学）论文联合主任本论文可在以下地址查阅：http://theses.insa-lyon.fr/publication/2018LYSEI059/these.pdf© [M. Abi Assaf]，[2018]，INSA Lyon，保留本论文可在以下地址查阅：http://theses.insa-lyon.fr/publication/2018LYSEI059/these.pdf© [M. Abi Assaf]，[2018]，INSA Lyon，保留本论文可在以下地址查阅：http://theses.insa-lyon.fr/publication/2018LYSEI059/these.pdf© [M. Abi Assaf]，[2018]，INSA Lyon，保留本论文可在以下地址查阅：http://theses.insa-lyon.fr/publication/2018LYSEI059/these.pdf© [M. Abi Assaf]，[2018]，INSA Lyon，保留致我的父母致所有我亲爱的本论文可在以下地址查阅：http://theses.insa-lyon.fr/publication/2018LYSEI059/these.pdf© [M. Abi Assaf]，[2018]，INSA Lyon，保留确认书我的博士学位持续了四年五个月。非常强烈和丰富。在此之前，我从未如此努力地工作过，但我获得了大量的经验和成熟。我想用这个页面来感谢所有在这段时间里帮助和支持我的人。首先，我要感谢我的主要导师尤阿金·巴德尔教授，感谢他毫无保留的支持，感谢他为使我成为一名研究人员而投入的无尽时间，感谢我们在这些年里就科学和非科学主题进行的所有令人惊叹的讨论。我还要向我的其他导师Kablan Barbar教授和Youssef Amghar教授表示深切的感谢，感谢他们给了我一生中的这一次机会，并与我分享了他们的深刻知识和见解。最后但并非最不重要的是，我感谢我的家人和朋友在我攻读博士学位期间给予的无条件的精神和身体支持。本论文可在以下地址查阅：http://theses.insa-lyon.fr/publication/2018LYSEI059/these.pdf© [M. Abi Assaf]，[2018]，INSA Lyon，保留马伦·阿比·阿萨夫七世计算机科学论文/2018年里昂国家应用科学研究所摘要本论文可在以下地址查阅：http://theses.insa-lyon.fr/publication/2018LYSEI059/these.pdf© [M. Abi Assaf]，[2018]，INSA Lyon，保留固定或移动通信对象的出现在将其集成到业务流程中以开发智能服务方面提出了许多挑战。在物联网的背景下，连接的设备是异构和动态的实体，它们包含网络物理特征和属性，并通过不同的通信协议进行交互。为了克服与互操作性和集成相关的挑战，构建不同连接设备的统一和逻辑视图至关重要，以便定义一组允许其大规模集成和操作的语言、工具和架构。 Business Artifact最近作为一种自治（业务）对象模型出现，它封装了属性值对、一组操作其属性数据的服务和一个基于状态的生命周期。生命周期表示对象的行为及其在不同状态下的演变，以实现其业务目标。将互联设备和智能对象建模为扩展的业务人工制品，使我们能够构建直观的范例，轻松表达互联对象的数据驱动流程的集成。 为了在不同的应用中处理连接设备的可重用性，数据驱动的过程（或广义上的人工过程）保持相对不变，因为它们的数据结构不会改变。 但是，以服务为中心或基于活动的流程通常需要更改其执行流。本文提出了一个集成以人工为中心的过程及其在互联设备中的应用的框架。为此，我们引入了一个逻辑和统一的"全局"人工制品视图，允许规范、定义和查询大量具有类似功能的分布式人工制品（智能家居或互联汽车等）。该框架包括一个以人为中心的过程的概念建模方法，一个跨人为映射算法，以及一个人为定义和操作代数。一种称为AQL（工件查询语言）的声明性语言，特别喜欢查询工件的连续流。AQL链接到类似于关系数据库中SQL的语法，以减少其学习曲线。我们还开发了一个原型，以验证我们在物联网背景下的贡献和实验。关键词：业务流程建模和合并–8Maroun Abi Assaf计算机科学论文/2018年里昂摘要本论文可在以下地址查阅：http://theses.insa-lyon.fr/publication/2018LYSEI059/these.pdf© [M. Abi Assaf]，[2018]，INSA Lyon，保留固定或移动通信对象的民主化在将其集成到业务流程中以开发智能服务方面提出了许多挑战。 在物联网的背景下 为了克服互操作性和集成的挑战业务工件最近作为一个独立的对象模型（业务）出现，它封装了它的数据、一组服务，并操纵它的数据和基于状态的生命周期。 生命周期是指对象的行为及其通过其不同状态的演变，以实现其业务目标。将连接对象建模为扩展的业务工件使我们能够构建一个直观的范式，以轻松表达数据驱动的连接对象集成流程。面对上下文的变化和连接对象在不同应用程序中的重用，数据驱动的进程（广义上也称为"人工制品"）保持相对不变，因为它们的数据结构不会改变。但是，以服务为中心的流程通常需要更改其执行流。本文提出了一个以工件及其在连接对象中的应用为中心的过程集成框架。为此，我们构建了一个统一的、全局的工件逻辑视图，用于指定、定义和查询大量具有类似功能的分布式工件（智能家居或联网汽车等）该集成框架包括以工件为中心的过程的概念建模方法、工件间匹配算法以及用于工件定义和操作的代数。声明性语言，称为AQL（工件查询语言），特别允许查询连续的工件流。它依赖于类似SQL的语法来减少学习工作。我们还开发了一个原型。马伦·阿比·阿萨夫九世计算机科学论文/2018年里昂国家应用科学研究所本论文可在以下地址查阅：http://theses.insa-lyon.fr/publication/2018LYSEI059/these.pdf© [M. Abi Assaf]，[2018]，INSA Lyon，保留验证我们的贡献并在物联网背景下进行实验关键词：业务流程建模与融合-查询语言-数据集成-智能流程-物联网[美]马龙·阿比·阿萨夫著计算机科学论文/2018年里昂本论文可在以下地址查阅：http://theses.insa-lyon.fr/publication/2018LYSEI059/these.pdf© [M. Abi Assaf]，[2018]，INSA Lyon，保留内容确认六摘要八总结IX内容XI表列表xv图16列表定义列表x8示例列表xix1引言12相关作品113指定人工制品系统37马伦·阿比·阿萨夫十一世计算机科学论文/2018年里昂国家应用科学研究所本论文可在以下地址查阅：http://theses.insa-lyon.fr/publication/2018LYSEI059/these.pdf© [M. Abi Assaf]，[2018]，INSA Lyon，保留4人工制品系统建模71十二Maroun Abi Assaf计算机科学论文/2018年里昂本论文可在以下地址查阅：http://theses.insa-lyon.fr/publication/2018LYSEI059/these.pdf© [M. Abi Assaf]，[2018]，INSA Lyon，保留5集成概念工件模型1006原型和实验125马伦·阿比·阿萨夫十三世计算机科学论文/2018年里昂国家应用科学研究所本论文可在以下地址查阅：http://theses.insa-lyon.fr/publication/2018LYSEI059/these.pdf© [M. Abi Assaf]，[2018]，INSA Lyon，保留7结论157消防过程AQL查询164B法语长摘要172参考书目189十四.马龙·阿比·阿萨夫计算机科学论文/2018年里昂表列表本论文可在以下地址查阅：http://theses.insa-lyon.fr/publication/2018LYSEI059/these.pdf© [M. Abi Assaf]，[2018]，INSA Lyon，保留表2.1现有和提议的人工制品形式模型之间的比较表2.2不同人工制品建模方法的概念模型比较26表2.3比较不同工件建模方法的执行模型27表3.1AQL声明49表4.1概念伪影建模符号（CAMN）75表5.1数据属性对应关系示例108表5.2匹配表达式预定义函数109表6.1FireControlArtifact属性146表6.2. FireStationAlertArtifact属性..........................................................................................147马伦·阿比·阿萨夫十五世计算机科学论文/2018年表列表本论文可在以下地址查阅：http://theses.insa-lyon.fr/publication/2018LYSEI059/these.pdf© [M. Abi Assaf]，[2018]，INSA Lyon，保留里昂国家应用科学研究所图列表本论文可在以下地址查阅：http://theses.insa-lyon.fr/publication/2018LYSEI059/these.pdf© [M. Abi Assaf]，[2018]，INSA Lyon，保留图1.1人工制品系统示例3图1.2物联网架构4图1.3. 整合机制.............................................................................................................................................6图1.4. 以人工制品为中心的过程集成框架8图2.1UML活动图建模结构15图2 - 2UML活动图示例16图2.3BALSA框架示例18图2.4作为任务、存储库和流连接器的订单人工的图2.5人工流示例23图2.6序伪像24生命周期的GSM表示图2.7人工制品集成系统29图3.1创建工件语句语法50图3.2创建服务声明语法52图3.3创建规则声明语法54图3.4新语句语法56图3.5检索语句语法58图3.6语法语句的处理59图4.1CAMN组合示例图4.277型消防控制概念工件的一部分图4.3存储库到任务的转换模式78图4.4存储库到任务的转换模式示例78图4.5任务到存储库的转换模式79图4.6任务到存储库的转换模式示例79图4.7任务到任务的转换模式79图4.8任务到任务的转换模式示例80图4.9存储库到存储库的转换模式80图4.10存储库到存储库的转换模式示例80图4.11父工件创建模式81图4.12父工件创建模式示例81图4.13子工件创建模式82图4.14子工件创建模式示例82图4.15以任务为中心的分支模式83图4.16以存储库为中心的分支模式83图4.17分支模式示例84图4.18以任务为中心的收敛模式84图4.19以存储库为中心的收敛模式85图列表本论文可在以下地址查阅：http://theses.insa-lyon.fr/publication/2018LYSEI059/these.pdf© [M. Abi Assaf]，[2018]，INSA Lyon，保留16Maroun Abi Assaf计算机科学论文/2018年里昂本论文可在以下地址查阅：http://theses.insa-lyon.fr/publication/2018LYSEI059/these.pdf© [M. Abi Assaf]，[2018]，INSA Lyon，保留图4.20返工模式85图4.21返工模式示例86图4.22同步模式86图4.23同步模式示例87图4.24流模式87图4.25流模式示例88图5.1人工制品集成系统103图5.2任务、存储库和工件....................................................................................................................... 的图5.3任务、存储库和工件的等效对应关系...........................................................................................105图5.4任务的组成对应关系106图5.5合并的亚相局部CAM示例118图5.6本地CAM的数据属性对应关系示例118图5.7生成的全局CAM 119图6.1工件集成框架128图6.2AQL处理器体系结构129图6.3AQL编辑器130的图形界面图6.4生成的XML语义查询130图6.5语义解释器的UML类131图6.6RunAqlQueriesHandler 132的UML类图6.7人工制品系统的UML类133图6.8UML AttIdentity类 134图6.9数据库操作事件135的UML类图6.10数据库管理器的UML类137图6.11RuleEngine 138的UML类图6.12工件实例查看器138图6.13工件过程资源管理器1139图6.14工件过程资源管理器2139图6.15UML服务类Manager 141图6.16自组织服务的自动生成对话框141图6.17流服务的自动生成对话框141图6.18CAM建模器图形界面142图6.19CAM匹配器主图形界面143图6.20属性匹配器图形子界面144图6.21FireControlArtifact 147的状态转换图6.22FireStationAlertArtifact 147的状态转换图6.23消防控制概念人工制品模型152图6.24消防控制本地CAM映射153图6.25消防控制全球CAM 154马伦·阿比·阿萨夫十七世计算机科学论文/2018年里昂国家应用科学研究所