基于Web环境的静态和自动资源组合：建筑物的应用能源管理Lara Kallab引用此版本：LaraKallab 基于Web的环境中的静态和自动资源组合：建筑物能源管理的应用Web. Université dePau et des Pays de英语NNT：2019PAUU3028。电话：02496926HAL Id：tel-02496926https://theses.hal.science/tel-024969262020年3月3日提交HAL是一个多学科的开放获取档案馆，用于存放和传播科学研究文件，无论它们是否已这些文件可能来自法国或国外的教学和研究机构，或来自公共或私人研究中心。L’archive ouverte pluridisciplinaireD八月T HESIS基于Web环境的静态和自动资源组合：在建筑物能源管理Lara KALLAB顾问：PR. Richard ChbeirPr. Michael Mrissa斯洛文尼亚滨海大学审稿人：Mike PAPAZOGLOUPR. Walid GAALOUL荷兰蒂尔堡大学Télécom Sud法国审查员：PR. ErnestoEXPOSITO Dr. SanaSELLAMI&法国艾克斯-马赛大学合作者：博士Pierre BOURREAUNOBATEK/INEF 4，法国在计算机科学2019年12月6日iii敬爸爸妈妈... .v确认我想借此机会向所有为我的博士项目的实现做出贡献的人表示敬意和衷心的感谢，如果没有他们的支持和指导，这是不可能的。首先，我想向我的顾问表示最大的感谢：理查德·希贝尔教授和理查德·希贝尔教授。Michael Mrissa，他一直支持我，让我成长为一名科学家研究员。我深深感谢Richard Chbeir教授的不断支持，建设性的意见，在我开始怀疑自己时对我的能力的坚定信念我还要感谢迈克尔·米萨教授的宝贵指导、有益的建议、信任和不断的鼓励，使我在整个论文中充满动力这是一个很好的机会和荣幸与他们一起工作。我向博士表示诚挚的感谢感谢Pierre Bourreau对我工作的技术方面提出的有用建议、支持、耐心和宝贵意见我真诚地感谢Mike Papazoglou教授和Walid Gaaloul教授，感谢他们花时间阅读我的论文报告，并给了我有用的意见。我还要感谢我的论文委员会的其他成员埃内斯托·埃斯波西托教授、萨纳·塞拉米博士和皮埃尔·布鲁博士，感谢他们出席评审团并提出宝贵的意见。我 非 常 感谢 对 我 的 论 文 项 目收 到 的 资 金 ： SIBEX（ 解 决 方案 智 能 pour leBâtiment en EXploitation ） ， 从 “ 协 会 全 国 德 拉 鲁 阿 Recherche et de laTechnologie”（ANRT），法国。没有他们的经济支持，我的工作是不可能的。我非常感谢和荣幸能成为NOBATEK/INEF 4的一员，我在博士期间一直在那里工作我非常感谢博士。感谢Pascale Brassier和Christophe Cantau博士不断的帮助和支持，帮助我正确看待事物，并促进我在有用的工业项目中的工作。我要感谢博士。吉尔伯特Tekli他的协助，支持和灵感在我的论文的第一年我非常欣赏他在法国攻读博士学位的动机和努力同时，我也感谢乔·泰克利博士对我的信任、鼓励和宝贵的建议。我还要感谢IUT de Bayonne的所有技术和行政工作人员，感谢他们的欢乐气氛，他们的同情，并允许我使用材料和设施。特别感谢Philippe ANIORTE的善良，支持和积极的氛围。我非常感谢我在NOBATEK/INEF 4和LIUPPA的同事们，他们以各自独特的方式给予我支持和关怀。特别感谢我的朋友埃利奥·曼苏尔，他在艰难时刻随时待命，不断倾听，美好时光不断流淌。我还要感谢卡拉姆·布·查亚的同情、善良和支持。感 谢 Joelle Céméli ， Emlyne Tessari Rossi ， Christelle Martinez 和 IgorPerevoirkov，感谢你们的鼓励，让我保持了高昂的士气。我永远不会忘记我在世界各地的朋友们无条件的支持和照顾：黎巴嫩，法国和国外，特别是Khouloud Salameh（Kouki），Rima Akiki（Rimzi），Eliana Raad（Louna）和Nadine Abi Aad（Nado）。谢谢你没有把距离当回事，谢谢你的善意祝福，祈祷，电话，还有短信。vi音乐，咖啡机，巧克力，健身房，啤酒，美味的食物，还有我的钢琴，谢谢你把我举起来，给我快乐的时刻。我有一个爆炸！我还要感谢我可爱的堂兄弟Myriam El Gharby和Tracy Klaiany，他们一直在那里支持我。我肯定不会忘记他们给我的安慰，我们一起度过了疯狂的时刻和欢笑。致我最好最亲爱的朋友娜塔莉·夏贝尔，我从一开始到最后都和她分享了这段旅程，我真的很幸运，因为有你在我身边。从心底里，感谢您对我的关心、支持和建议，更感谢您让平凡的时刻变得不平凡。我亲爱的家人，没有他们，我就不会存在，我对你们的爸爸妈妈，你们是我心目中的英雄，我之所以有今天，或者说我曾经希望成为的人，都要归功于你们。我深深地感谢你们的牺牲，你们无条件的爱，以及始终如一的支持，以实现我的梦想。我将永远感激你为探索生活新方向和寻求自己命运而做出的无限贡献至于我的兄弟多莉和大卫，感谢你们对我的信任，感谢你们总是让我知道你们为我是谁而感到骄傲。我爱你们...最后，也是最重要的，我向上帝低头，他赐予我健康、信心和力量来承担和完成我的工作。 我从来没有祈求过一个简单的生活，而是要成为一个坚强的人，他让我一路坚强vii摘要如今，过多的基于Web的环境（Web应用程序、Web平台等），将其功能发布为RESTful服务，即，自包含和自描述的资源，遵循表示状态转移（REST）架构风格原则。随着Web已经成为通信的主要媒介，集成对象（例如，智能设备）接入Web，并利用其开放的流行标准，创造了一个新兴的趋势：物联网（WoT）。在WoT中，对象也将它们的功能公开为尊重REST原则的资源。每个资源都提供了定义良好的功能，以满足特定用户然而，存在单个资源不足以回答用户的请求的情况，并且通常将两个或更多个然而，在组成资源时，需要解决几个在这篇论文中，我们解决了三个挑战。第一个是验证用户手动构建的静态资源组合的行为，因为可能会出现一些阻止其他资源运行的结束循环，以及链接资源的输入/输出之间的数据类型不匹配）。对于其他两个挑战，目标Web环境是混合提供的：（i）动态资源（在不同实例处连接到环境/从环境中删除），以及(ii)静态资源（建立为始终可用）。挑战集中在自动资源发现上，同时考虑资源位置（每当被对象暴露时），以及自动选择适当的资源以形成满足用户请求的合适组合为了应对这些挑战，我们首先提出了一个正式的模型，基于着色Petri网（CPN），映射资源的行为与他们的组成CPN。这允许使用CPN行为属性来验证静态合成行为的正确性然后，我们提出了一个形式化的图表示连接静态资源到动态资源，允许自适应图算法探索遍历的图资源的语义注释描述，以自动识别所需的资源。资源发现过程使用原始定义的索引架构，该架构允许基于资源的位置（如果被对象暴露）识别资源，并增强连接许多资源的大型Web环境中的资源搜索在资源自动选择方面，本文提出了一种选择策略适配器，它根据资源质量、相关资源的输入/输出匹配以及资源可用性，选择合适的资源组成具有不同实现方案的组合我们的建议是通用的，因为它可以适用于Web环境属于不同的应用领域。然而，在这篇论文中，它已经说明了在智能建筑领域，更具体地说，在项目管理建筑物VIII简历第一章介绍今天，在Web的基础上，我们讨论了Web应用程序和Web平台，以及RESTful服务中的四种功能，这些功能是基于REST（代表性状态转移）架构风格的资源就像Web是一种通信原理，将对象集成在Web中（智能设备），并利用大众技术，我们首先介绍了一个新概念：对象的Web（或英语中的在WoT中，这些对象在资源方面的功能等同于REST的原则。Chaque resourcefournit des functions qui pondent à des demandes spécifiques desutilisaactions.但是，很显然，一个单一的资源不足以满足某些需求，因此，多个资源的组合，形成一个资源的组合，可以获得满意的结果此外，在资源构成方面存在着许多缺陷。在这一点上，我们将面临三个困境。Le premier consiste à véri-由于静态组合物的良好性能，使用者选择和操作资源，因此存在多个错误的概念，这些错误的概念使产品与执行器的其他资源不一致，并且资源的入口/ 出 口 类 型 之 间 不 Les deux autres défis sont liés aux acquisition Webhybridesfournissantdesresources：（i）dyna-miques（ connectées/déconnectées de 在 这 种 情 况 下 ， les défis pretentrespectivement sur la découverte automatique des resources ， en tente-nant compte de la position des resources （ par des objets ） ， et sur laselection automatique des resources appropriées pour former des composi-tions répondant aux demandes de为了面对这些不同的障碍，我们提出了一个通用平台-它适用于多个领域，被称为StARC（a Framework for Static andAUPLRESSEARCHC omposition），它是一个用于编写REST原理的资源的静态和自动化的在这个平台上，我们提出了多方面的贡献，包括资源构成的两个方面：静态和自动。Ces contributions se résument comme suit：IX• Un modèle formel basé sur les réseaux de Petri colorés（Colored Petri Nets（ CPN ） en Anglais ） ， un langage graphique pour la concept ， laspécification，la simulation et la vérification des systèmes，whi exprime lecomportement des resources et acquisition en CPN.Cela permet• 一个图形表示法是通过动态的统计资源，渗透到图形的算法中，适应于探索资源的描述，自动地解释资源需求。Le processes de la découverte utilize unschéma• Un adaptateur de strategie de sélection qui permet de sélectionner lesresources les plus appropriées parmi celles qui sont candidates，pour formerplusieurs compositions ayant différentes alternatives这些建议的贡献是可以应用于不同应用领域的网络设备的一般性贡献然而，在这一点上，我们的解决方案并不局限于智能建筑领域，而是支持建筑工程管理项目第二章基础知识第2章介绍了重要的技术概念，以便更好地理解所提出的解决方案。在本文中，我们解释了Web服务的概念，REST原则下的基本协议/原则支持，以及Web服务特性所使用的语言，以及四个功能和入口/出口，以及机器上的可理解性。此外，我们还提供了一个关于现有语言的系统，用于描述REST- ful服务（这类服务中的ciblés类型），并以资源为基础，以hypermédia的语言为重音，以Hydra为词汇（在我们的工作中使用第三章利用Petri Colorés系统验证Rérifier les Compositions de Ressons在第3章中，我们提出了一个解决方案，用于验证统计资源的组成（利用者操作手册x∈在执行任务之前。最后，我们定义了一个用于映射器的模型，该模型用于映射Petri着色网络的资源和组成，用于系统的概念、指定、模拟和验证。在定义模式的基础上，我们可以利用CPN的所有权（即可达性、可达性，以确保最终的可达性和活力，以确保所有的可执行资源），以验证执行前资源的良好表现。这一过程在CPN（CPN Tools）的一个基础上进行了实验，以验证在 基 础 能 源 管 理 中 说 明 的 资 源 组 成 在 第 一 章 中 ， 我 们 介 绍 了NOBATEK/INEF 4 1的一个研究和开发项目框架中的一个原型，名为SIBEX（开发中的生物技术解决方案），目的是验证执行前的东方生物资源的组成Le prototype permet de modéliser ， valider ， convertir et exécuter desresources composées vérifiées à travers différents mostédépés.多项测试对测试不同的植入物有效，并包括基于我们定义的CPN模型的验证方法。第四章Découverte Automatique des Ressellant Tenant Compte de leurs Local-isation dans des Environnements Web Hybrides在第4章中，我们提出了一个解决资源问题的办法，包括本地化（si elles sontsuccessées par des objets），dans des acquisitions Web hybrides connec-tant des resources：（1）统计（établies pour être toujours disponibles）etliées entre elles selon le principe HATEOAS（Hypermedia As The Engineof Application State en Anglais）du REST，et（2）dynamiques pouvantêtre connectées et déconnectées de l'encounnement à différents instants.为此，我们提出了一个关于资源（动态和静态）的表格。Ceci en definissantdes resources virtuelles qui se lient aux resources statiques et qui contien-nent des resources dynamiques.Le graphe de resources peut être parcourupour plusieurs algorithmes de graphe（BFS et DFS dans notre travail） whisont adaptés pour découvrir k nombre de resources （ kN ） pour chaquefonc- tion requise pour réaliser la demande deLa découverte des resourcesse base sur des annotations sémantiques intégrées dans les-这是一个资源库（exprimées avec le vocabulaire Hydra dans cette thèse）。在第一章中，我们定义了一个三维的独立方案，它包含了四个功能和定位的资源（如果这些资源不是由物体决定的确定基金会基金中所收捐款的来源以及促进基金中资源的研究的方案第1https://www.nobatek.inef4.comxi网络连接一个伟大的名称的资源。Plusieurs测试sont menés pour évaluer laperformance de notre solution proposée dans différentes configurationsLesresultats soulignent第五章基于环境Web Hybrides质量在第5章中，我们提出了一种在网络中自动选择静态和动态资源的方法。在这一过程中，我们将建立一个模型，该模型将在一个非环状的方向图中确定资源的过程中，在四个功能的基础上确定资源。此外，我们还提出了一个选择战略的调整方案，其中包括选择的候选资源，以及用于多种组合物的资源和适当的资源，这些组合物具有不同的实施方案，符合使用者的要求（例如，最佳组合物和无限制组合物：ayant les scores les plus élevés mais sans aucunecharge ， compositions optimistes ： ayant des scores acceptable maisobtenues dans des délais plus satisfaisants）.选择过程中，考虑到资源质量（英语中的资源质量）的约束，资源入口/出口之间的匹配是资源动态的Plusieurs tests sont réal- isés pour étudier et évaluer la performance denotre solution de sélection de在不同的配置中自动提出的资源Web告诉我们，候选资源名称的变化（实际上是基本要求）以及必要职能名称的变化，以满足使用者的需求此外，这些分析对比较现有工作中所建议的资源质量模式很有效，考虑了在混合环境中所建议的解决方案的有效性第六章结论第6章总结了这一研究，并提出了我们设想的未来发展和研究的多个轴xiivis à vis des limitations identifiées.同样，作为发展的轴心，我们希望将所提出的解决方案整合起来，以实现Web资源中静态/自动资源的组成。事实上，为了统计，在未来，我们将把原型整合到平台中，以使资源的组成基于平台上提出的资源。此外，我们还探讨了一些解决方案，这些解决方案是我们提出的关于自动合成（découverte当然，我们的目标是研究，为了实现对图形的其他输入/输出的自动调整（在工作过程中的BFS和DFS之外），以及为了方便对函数图形的实际拓扑结构的改进（函数图形定义了四个函数之间的依赖关系），可以选择手动的算法来实现另外我们还得考虑在资源图表中，为实现利用需求而需要的功能与资源的功能之间的对应关系，如果测试人员准确地确定了对应关系，就像在实际应用中的情况一样此外，在解决资源枯竭问题的办法中，动态资源的新功能不是现有功能的文字形式。在未来，我们将研究确定新功能和现有功能依赖性的措施Sansmostlier de met- tre à jour le schéma为了便于选择我们希望有一场en intégrant la vérification de l'élegibilité des resources（s'ils respectent lesconstraintes de l'utilisateur）lors du processus de la découverte，et nondurant la sélection comme dans l'état actuel de la solution.因此，任何不合法的资源都不能通过选举程序。在某些情况下，我们将与资源分配机构平行地进行选择过程。在响应时间方面，Cela可以帮助提高选择的性能。因此，我们要确保所选资源之间的良性互动自动化，构成一个适当的、符合使用者需求的组成。Ainsi，le process d'orchestrationxiii内容致谢摘要1引言第五章11.1背景。 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .11.1.1对Web环境的洞察：发展和技术. . . . . . . . . . . . . . . . . . . . . . . . .11.1.1.1 Web Services. . . . . . . . . . . . . . . . . . .21.1.1.2 Web of Things . . . . . . . . . . . . . . . . . .31.1.1.2.1智能建筑：Web示例互联环境。 . . . . .41.1.1.3面向服务的体系结构（SOA） . . . . .61.1.1.3.1中基于SOA的项目示例智能建筑领域。 . . . . . .61.1.2范围 . . . . . . . . . . . . . . . . . . . . . . . .101.1.2.1协作。 . . . . . . . . . . . . . . . . . .101.1.2.2目标 . . . . . . . . . . . . . . . . . . . .101.2激励情景和研究挑战。 . . . . . . . .111.3提案：StARC框架。 . . . . . . . . . . . . . . . . . .141.3.1投稿和出版物。 . . . . . . . . . . . . .161.3.1.1验证静态资源组合。161.3.1.2自动定位资源发现161.3.1.3基于QoS的自动资源选择 . .171.4报告组织。 . . . . . . . . . . . . . . . . . . . . . . .182背景212.1 Web服务：技术和语义。 . . . . . . . . . . .222.1.1基于SOAP的服务。 . . . . . . . . . . . . . . . . . . .222.1.2基于REST的服务 . . . . . . . . . . . . . . . . . . . .242.1.3语义Web语言 . . . . . . . . . . . . . . . . .262.1.3.1 RDF，RDF-S. . . . . . . . . . . . . . . . . . . .272.1.3.2www.example.com . . . . . . . . . . . . . . . .. . . . . . .282.1.3.3 JSON-LD格式。 . . . . . . . . . . . . . . . .292.2资源描述。 . . . . . . . . . . . . . . . . . . . . . . .302.2.1 Web服务描述语言（WSDL）。 . .312.2.2 Web应用程序描述语言（WADL）。322.2.3基于网页注释的语言 . . . . . . . .322.2.4超媒体语言 . . . . . . . . . . . . . .332.2.5评价总结。 . . . . . . . . . . . . . . . . . . .362.3总结 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .37xiv3验证静态资源组合行为383.1一.导言. 393.2动机和问题陈述403.3相关工作423.3.1基于Petri网的方法433.3.2基于FSM的方法443.3.3基于线性逻辑的方法453.3.4基于进程代数的方法453.3.5基于语义的方法463.3.6基于SOAP的服务的验证463.3.7评价摘要473.4分类：有色Petri网483.5基于CPN的RESTful服务组合验证方法3.5.1概述503.5.2资源通用接口513.5.3基于着色Petri网的形式化组合模型。523.5.4CPN56的组成行为特性3.6实验说明593.7开发原型613.7.1发动机规格623.7.1.1建模引擎653.7.1.2验证引擎653.7.1.3转换引擎653.7.1.4执行引擎663.7.2RESTful服务数据模型663.7.3已实施的API693.7.4测试693.7.4.1检查703.7.4.2行为属性验证723.8摘要744自动位置感知资源发现混合Web环境754.1一、导言. 764.2激励方案和挑战784.3相关工作814.3.1资源描述824.3.2资源发现844.3.3评价摘要864.4用于k资源发现的874.4.1概述874.4.2基于静态和动态资源的图表894.4.3用于增强型资源搜索的934.4.4资源发现过程964.5评价与讨论984.5.1环境设置984.5.2场景1：基本搜索与增强搜索评估99xv4.5.3场景2：基于资源位置的发现评估1014.6摘要1035混合Web环境1045.1导言. 1055.2动机、挑战和需求1065.3相关工作1095.3.1基于QoS的方法1105.3.2基于I/O相似性的方法1115.3.3k-service组合方法1125.3.4评价摘要1135.4用于i合成的QoR驱动的资源选择1145.4.1概述1145.4.2martaries1155.4.3基于QoR的资源图1175.4.4i-compositions的选择策略适配器1205.5评价与讨论1255.5.1资源选择绩效评估1255.5.2与现有QoS模型的1275.6摘要1286结论1296.1回顾1296.2未来工程1326.2.1集成静态/自动资源组合真实世界1326.2.2扩展自动资源发现1336.2.3提高自动资源选择性能1336.2.4提出自动资源配置方法133一 WSDL2.0示例135BWADL实施例137C HAL实施例138D 实施例139E实施例140F资源组合建模141G 基于Hydra的合成资源描述144H 使用Hydra148的SIBEX资源描述I原型API154JDFS和BFS158之间的比较结果xviK 九头蛇词汇扩展160L索引模式构造162参考书目166xvii图目录1.1Web演变 . . . . . . . . . . . . . . . . . . . . . . . .11.2从2004年到现在。 . . . . . .31.32015年至2025物联网（IoT）连接设备数量统计。 . . . . . . . . . . . . . . . . . . . .41.4智能建筑实例 . . . . . . . . . . . . . . . . . . . . . .51.5 SOA之前VS SOA之后 . . . . . . . . . . . . . . . . . . . . .61.6全球最终能源消费和全球与能源有关的二氧化碳按部门分列的排放 . . . . . . . . . . . . . . . . . . . . . . . . .71.7 BEMServer架构 . . . . . . . . . . . . . . . . . . . . . .91.8资源构成设想121.9BEMServer扩展为混合环境131.10 拟议框架概览：StARC152.1SOAP、SOAP和WSDL交互242.2SA-REST示例322.3实施例332.4Hydra核心词汇模型353.1BEMServerWeb平台403.2预测过程41中涉及的资源3.3链接资源之间的数据类型的非互操作性413.4链接错误导致资源423.5链接错误导致无效资源423.6单个Petri网483.7着色Petri网493.8静态RESTful服务组合流程。503.9转换和调整收集的空气温度的资源组成553.10 “AirTempConvAlign”组成资源的CPN图形模型563.11 可达性图593.12 相对于预测情景的资源构成的CPN模型603.13 从状态空间报告613.14 定义的颜色集和互操作性问题613.15 示出资源组成原型组件633.16 SIBEX64中的合成用例示例3.17 资源之间的链接643.18 资源描述JSON-LD文档683.19 具有不可达最终状态的723.20 具有末端回路的73xviii3.21 具有非互操作性资源的734.1连接对象和Web应用程序暴露的资源类型764.2BEMServer，混合Web环境784.3实现“电子数据处理”功能所需的功能之间的依赖关系794.4连接资源的动态性794.5BEMServer80中的r nca和r ca示例4.6一个Web环境，连接由连接对象所暴露的许多资源814.7访问资源描述符URI844.8资源发现方法884.9将动态资源链接到静态资源的过程流程图904.10 所用资源之间关系的示例模型预测能源需求904.11 链接所用预测空气温度值914.12 地理层次结构VS索引架构944.13 IdS将资源与其功能联系起来，用于识别实现“电子数据处理”功能954.14 IdS将资源与其功能联系起来，用于识别实现“ATP”功能954.15 业绩结果1004.16 资源发现102的性能结果5.1BEMServer107中的rnca和r ca示例5.2资源选择方法1155.3一个DRAG示例，显示为每个涉及的资源定义的分数、它们的I/O匹配以及每个可能的composition组合物1195.4甄选过程流程图及其相关甄选战略-egy适配器1245.5在改变资源126的数量时的选择结果5.6在改变函数126的数量时的选择结果J.1水平分布函数图158J.2垂直分布函数图159L.1在改变函数数量的同时进行的测试的索引时间163L.2在不同时间进行的测试的索引内存使用情况函数的数量163L.3在改变资源164L.4在不同时间进行的测试的索引内存使用情况资源数量164xix表的列表2.1SOAPvs REST272.2评估用于描述基于REST的Web服务w.r.t.确定的标准..................................................................... 363.1评估用于正式模型的现有方法-使用REST服务w.r.t.确定的标准............................................................483.2预测处理资源51的URI3.3预测过程。523.4请求创建资源组合693.5用于创建资源组合的704.1评估与Web服务领域相关的现有工作，并用于资源描述和发现w.r.t.确定的标准875.1ATC对象的质量方面1075.2现有服务选择方法的评估。确定的标准.............................................1135.3具有最高分数120的3个最佳组合物的示例5.4具有可接受分数的4种乐观组合物的实施例超过50。 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1205.5具有可接受分数的4种杂化组合物的实例>50，包括由静态资源121组成的一个（最新的）5.6乐观和混合成分亚型。1215.7生成的组合的示例实现了每个所需的工作流程，而无需计算分数1235.8返回的具有分数计算的1235.9资源数量变化时SP的响应时间（毫秒）每个功能（m）和所需功能的数量（n）1265.10 现有工程的简要评价。服务/组合质量相关标准.............................. 128I.1请求获取资源描述154I.2获取资源描述154I.3请求创建资源组合155I.4用于创建资源组合的155I.5请求存储资源组合156I.6用于存储资源组合156的响应I.7请求执行资源组合157I.8用于执行资源组合157的响应
我的内容管理
展开
