Pub Date : 2011-12-12DOI: 10.1109/SOSE.2011.6139108
S. Ilieva, D. Manova, Ilina Manova, Cesare Bartolini, A. Bertolino, F. Lonetti
Service compositions are increasingly used for the fast development of loosely-coupled dynamic distributed applications. Such compositions are prone to potential failures arising from their complex interaction scheme and from various kinds of network problems. Functional testing could overlook such failures, hence we claim it is important to specifically consider test cases for validating how the composite service reacts when invalid or unexpected events occur. We have developed the TASSA framework for automated generation and execution of robustness test cases. The framework addresses BPEL orchestrations and relies on fault-injection mechanisms. In the paper we motivate BPEL robustness testing, introduce the framework and present its preliminary assessment on a case study.
{"title":"An automated approach to robustness testing of BPEL orchestrations","authors":"S. Ilieva, D. Manova, Ilina Manova, Cesare Bartolini, A. Bertolino, F. Lonetti","doi":"10.1109/SOSE.2011.6139108","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139108","url":null,"abstract":"Service compositions are increasingly used for the fast development of loosely-coupled dynamic distributed applications. Such compositions are prone to potential failures arising from their complex interaction scheme and from various kinds of network problems. Functional testing could overlook such failures, hence we claim it is important to specifically consider test cases for validating how the composite service reacts when invalid or unexpected events occur. We have developed the TASSA framework for automated generation and execution of robustness test cases. The framework addresses BPEL orchestrations and relies on fault-injection mechanisms. In the paper we motivate BPEL robustness testing, introduce the framework and present its preliminary assessment on a case study.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114648545","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-12-12DOI: 10.1109/SOSE.2011.6139120
Abubkr Abdelsadiq, Carlos Molina-Jiménez, S. Shrivastava
In a cloud computing environment, both the client and the provider need assurances that service interactions are in accordance with the service agreement (contract). It should be possible to encode a contract as a set of executable business policies that can be evaluated by either party for controlling service interactions. Naturally, it is important to verify the correctness properties of such a contract before its deployment. To this end, the paper adopts the use of model-checking techniques. A high-level model-checking tool has been developed that enables a designer to encode a contract for model checking directly as event-condition-action rules in terms of contract entities: business operations, role players with their rights, obligations and prohibitions. This not only simplifies the task of model building but also, the designer can specify the correctness requirements, in linear temporal logic, directly in terms of the contract entities. The tool has been implemented by extending the PROMELA language of the SPIN model checker.
{"title":"A high-level model-checking tool for verifying service agreements","authors":"Abubkr Abdelsadiq, Carlos Molina-Jiménez, S. Shrivastava","doi":"10.1109/SOSE.2011.6139120","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139120","url":null,"abstract":"In a cloud computing environment, both the client and the provider need assurances that service interactions are in accordance with the service agreement (contract). It should be possible to encode a contract as a set of executable business policies that can be evaluated by either party for controlling service interactions. Naturally, it is important to verify the correctness properties of such a contract before its deployment. To this end, the paper adopts the use of model-checking techniques. A high-level model-checking tool has been developed that enables a designer to encode a contract for model checking directly as event-condition-action rules in terms of contract entities: business operations, role players with their rights, obligations and prohibitions. This not only simplifies the task of model building but also, the designer can specify the correctness requirements, in linear temporal logic, directly in terms of the contract entities. The tool has been implemented by extending the PROMELA language of the SPIN model checker.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125963762","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-12-12DOI: 10.1109/SOSE.2011.6139103
R. Mirandola, P. Potena, P. Scandurra
This paper proposes an automatic optimization process for adaptation space exploration of service-oriented applications based on trade-offs between functional and extra-functional requirements. The optimization method combines both meta-heuristic search techniques and the use of functional/extra-functional patterns (i.e., architectural design patterns and tactics). Moreover, the proposed approach relies on the standard Service-oriented Component Architecture (SCA) for heterogeneous service assembly and its runtime platforms.
{"title":"An optimization process for adaptation space exploration of service-oriented applications","authors":"R. Mirandola, P. Potena, P. Scandurra","doi":"10.1109/SOSE.2011.6139103","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139103","url":null,"abstract":"This paper proposes an automatic optimization process for adaptation space exploration of service-oriented applications based on trade-offs between functional and extra-functional requirements. The optimization method combines both meta-heuristic search techniques and the use of functional/extra-functional patterns (i.e., architectural design patterns and tactics). Moreover, the proposed approach relies on the standard Service-oriented Component Architecture (SCA) for heterogeneous service assembly and its runtime platforms.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124775000","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-12-12DOI: 10.1109/SOSE.2011.6139090
Zhi Jin, Hong Zhu
Modeling plays a crucial role in model-driven development of service-oriented systems. This paper proposes a framework for service-oriented modeling that combines an agent-oriented software development methodology with an ontology-based domain analysis technique. It aims at improving the dynamic composability of services at requirements and design stages through modeling. The framework consists of an architectural structure of service models and a process of modeling. The architecture combines agent-oriented models of software systems in which service providers and requesters are regarded as autonomous entities (and called agents), and domain ontology, which specifies the entities in the application domain and their dynamic behaviors. The domain ontology extends classic ontology by including causal and symbolic entities as well as autonomous entities. The approach is illustrated by an example of online auction service.
{"title":"Unifying domain ontology with agent-oriented modeling of services","authors":"Zhi Jin, Hong Zhu","doi":"10.1109/SOSE.2011.6139090","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139090","url":null,"abstract":"Modeling plays a crucial role in model-driven development of service-oriented systems. This paper proposes a framework for service-oriented modeling that combines an agent-oriented software development methodology with an ontology-based domain analysis technique. It aims at improving the dynamic composability of services at requirements and design stages through modeling. The framework consists of an architectural structure of service models and a process of modeling. The architecture combines agent-oriented models of software systems in which service providers and requesters are regarded as autonomous entities (and called agents), and domain ontology, which specifies the entities in the application domain and their dynamic behaviors. The domain ontology extends classic ontology by including causal and symbolic entities as well as autonomous entities. The approach is illustrated by an example of online auction service.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124804051","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-12-12DOI: 10.1109/SOSE.2011.6139094
Huang Liu, Xudong Liu, Jianxin Li, Yongwang Zhao, Zhuqing Li
With the advent of cloud computing, more services should be delivered from a cloud or datacenter to clients via Internet. Web Services has many mature specifications and has become a popular mode to support cloud application. However, the performance has been a key character to guarantee the quality of remote service in a cloud. In particular, the Simple Object Access Protocol (SOAP), being based on Extensible Markup Language (XML), inherits not only the advantages of XML, but its relatively poor performance. This makes SOAP a poor choice for many high-performance Web Services. Experiments have shown that the XML parsing, formatting and type mapping are the primary performance bottlenecks of SOAP processing. In this paper, we proposed a new high-performance SOAP processing architecture named HiSOAP which is based on several techniques such as on-demand building, delayed-databinding and adaptable services invoking mechanism. HiSOAP has the benefits of reducing XML object model, saving memory and eliminating Java reflection. We have implemented the SOAP engine HiSOAPprototype, and the experimental results show that the delayed-databinding and eliminated-reflection techniques improve the performance of SOAP processing dramatically, and it out-performances Axis2, especially in the complex compound data types of Web Service.
{"title":"Building high-speed roads: Improving performance of SOAP processing for cloud services","authors":"Huang Liu, Xudong Liu, Jianxin Li, Yongwang Zhao, Zhuqing Li","doi":"10.1109/SOSE.2011.6139094","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139094","url":null,"abstract":"With the advent of cloud computing, more services should be delivered from a cloud or datacenter to clients via Internet. Web Services has many mature specifications and has become a popular mode to support cloud application. However, the performance has been a key character to guarantee the quality of remote service in a cloud. In particular, the Simple Object Access Protocol (SOAP), being based on Extensible Markup Language (XML), inherits not only the advantages of XML, but its relatively poor performance. This makes SOAP a poor choice for many high-performance Web Services. Experiments have shown that the XML parsing, formatting and type mapping are the primary performance bottlenecks of SOAP processing. In this paper, we proposed a new high-performance SOAP processing architecture named HiSOAP which is based on several techniques such as on-demand building, delayed-databinding and adaptable services invoking mechanism. HiSOAP has the benefits of reducing XML object model, saving memory and eliminating Java reflection. We have implemented the SOAP engine HiSOAPprototype, and the experimental results show that the delayed-databinding and eliminated-reflection techniques improve the performance of SOAP processing dramatically, and it out-performances Axis2, especially in the complex compound data types of Web Service.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133115140","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-12-12DOI: 10.1109/SOSE.2011.6139107
F. Belli, A. T. Endo, Michael Linschulte, A. Simão
The use of web services integrated in different applications, especially the composition of services, brings challenges for testing due to their complex interactions. In this paper, we propose an event-based approach to test web service compositions. The approach is based on event sequence graphs which we extend by facilities to consider the specific features of web service compositions. An enterprise service bus component supports the test case execution. A case study, based on a commercial web application, demonstrates the feasibility of the approach and analyzes its characteristics. The results of empirical work suggest that the approach is a promising candidate to reach a high level of confidence and reliability.
{"title":"Model-based testing of web service compositions","authors":"F. Belli, A. T. Endo, Michael Linschulte, A. Simão","doi":"10.1109/SOSE.2011.6139107","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139107","url":null,"abstract":"The use of web services integrated in different applications, especially the composition of services, brings challenges for testing due to their complex interactions. In this paper, we propose an event-based approach to test web service compositions. The approach is based on event sequence graphs which we extend by facilities to consider the specific features of web service compositions. An enterprise service bus component supports the test case execution. A case study, based on a commercial web application, demonstrates the feasibility of the approach and analyzes its characteristics. The results of empirical work suggest that the approach is a promising candidate to reach a high level of confidence and reliability.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114136342","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-12-12DOI: 10.1109/SOSE.2011.6139102
Gang Huang, Daimeng Wang
For better user experience, more and more primitive or composite web services are presented to end users as rich clients in web browsers. However, such service-oriented rich clients cannot work well on a mobile phone mainly because of its small screen size. And then a simplified user interface for mobile phones has to be developed by the service providers, which brings extra development cost and usually decreases user experience. In this paper, we propose an approach to automatically adapting the user interface of service-oriented rich client to mobile phones. Compared to the traditional static web pages, those of rich clients are generated dynamically and changed due to user actions. Our approach analyzes the DOM tree, splits it into a set of sub tree, each of which is suitable for the target screen size, and generates the dynamic navigation interface among those sub trees. 20 most popular rich clients are evaluated, in which 60% are well adapted, 25% are acceptable and 15% are failed because their user interfaces are too large for the small screen and even the experts cannot adapt them well by hand.
{"title":"Adapting user interface of service-oriented rich client to mobile phones","authors":"Gang Huang, Daimeng Wang","doi":"10.1109/SOSE.2011.6139102","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139102","url":null,"abstract":"For better user experience, more and more primitive or composite web services are presented to end users as rich clients in web browsers. However, such service-oriented rich clients cannot work well on a mobile phone mainly because of its small screen size. And then a simplified user interface for mobile phones has to be developed by the service providers, which brings extra development cost and usually decreases user experience. In this paper, we propose an approach to automatically adapting the user interface of service-oriented rich client to mobile phones. Compared to the traditional static web pages, those of rich clients are generated dynamically and changed due to user actions. Our approach analyzes the DOM tree, splits it into a set of sub tree, each of which is suitable for the target screen size, and generates the dynamic navigation interface among those sub trees. 20 most popular rich clients are evaluated, in which 60% are well adapted, 25% are acceptable and 15% are failed because their user interfaces are too large for the small screen and even the experts cannot adapt them well by hand.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134072137","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-12-12DOI: 10.1109/SOSE.2011.6139117
A. Ghaddar, D. Tamzalit, Ali Assaf
Variability represents an important challenge in multi-tenant SaaS applications. In fact, even if multi-tenancy realizes SaaS providers dream of having a single maintained software instance serving multiple customers (tenants) for common functionality, variations in tenants needs and their specific requirements at many places of the application bring providers back to the real world. They face an additional design concern: supporting application variability on a pertenant basis. In this paper, we focus on such variability concern and try to reduce its complexity by decoupling its management through different application layers. We rely on a two-steps decoupling approach: the first step consists of representing application variations as an explicit variability model while the second step consists of choosing the must appropriate application layer(s) to manage each variation. Our approach is illustrated by relying on a case study from the food industry.
{"title":"Decoupling variability management in multi-tenant SaaS applications","authors":"A. Ghaddar, D. Tamzalit, Ali Assaf","doi":"10.1109/SOSE.2011.6139117","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139117","url":null,"abstract":"Variability represents an important challenge in multi-tenant SaaS applications. In fact, even if multi-tenancy realizes SaaS providers dream of having a single maintained software instance serving multiple customers (tenants) for common functionality, variations in tenants needs and their specific requirements at many places of the application bring providers back to the real world. They face an additional design concern: supporting application variability on a pertenant basis. In this paper, we focus on such variability concern and try to reduce its complexity by decoupling its management through different application layers. We rely on a two-steps decoupling approach: the first step consists of representing application variations as an explicit variability model while the second step consists of choosing the must appropriate application layer(s) to manage each variation. Our approach is illustrated by relying on a case study from the food industry.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134316962","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-12-12DOI: 10.1109/SOSE.2011.6139100
Yinong Chen, W. Tsai
Web software development and cloud computing based on Service-Oriented Architecture (SOA) and Service-Oriented Computing (SOC) represent the modern software engineering theories, practices, and technologies. As an architecture-driven computing paradigm, SOA and SOC are mature and are becoming the major paradigm for software development. SOA and SOC should be taught in all computer science and computer engineering programs. We do not suggest using SOC to replace the currently taught Object-Oriented Computing (OOC) paradigm. As SOC is based on OOC, we suggest to teaching SOC as the continuation and extension of OOC. At Arizona State University, SOA and SOC paradigm is incorporated into our Computing Science and Software Engineering programs since 2006. This paper presents the topics of the related courses and the open resources created for the courses, which are available for public accesses, including textbooks, lecture presentation slides, tests and assignments, software tools, a repository of sample services and applications, and tutorials of using tools and the cloud computing environment for service hosting and deployment.
{"title":"Service-orientation in computing curriculum","authors":"Yinong Chen, W. Tsai","doi":"10.1109/SOSE.2011.6139100","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139100","url":null,"abstract":"Web software development and cloud computing based on Service-Oriented Architecture (SOA) and Service-Oriented Computing (SOC) represent the modern software engineering theories, practices, and technologies. As an architecture-driven computing paradigm, SOA and SOC are mature and are becoming the major paradigm for software development. SOA and SOC should be taught in all computer science and computer engineering programs. We do not suggest using SOC to replace the currently taught Object-Oriented Computing (OOC) paradigm. As SOC is based on OOC, we suggest to teaching SOC as the continuation and extension of OOC. At Arizona State University, SOA and SOC paradigm is incorporated into our Computing Science and Software Engineering programs since 2006. This paper presents the topics of the related courses and the open resources created for the courses, which are available for public accesses, including textbooks, lecture presentation slides, tests and assignments, software tools, a repository of sample services and applications, and tutorials of using tools and the cloud computing environment for service hosting and deployment.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"117008220","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Pub Date : 2011-12-12DOI: 10.1109/SOSE.2011.6139091
T. Clark, B. Barn
Enterprise Architecture (EA) Modelling aims to analyze an organization in terms of its components, IT systems and business processes. Current modelling approaches are based on Service Oriented Architecture (SOA) whereby components publish interfaces of operations that are used via message passing. It has been argued that SOA leads to tight coupling between components and does not handle complex component interactions, with resulting maintenance difficulties. Event Driven Architecture (EDA) is an alternative strategy, based on listening for events, that is designed to address SOA shortcomings. However, there are no EA modelling technologies based on EDA. This paper reviews EA, SOA and EDA, identifies EDA characteristic features and proposes modelling and simulation technologies that are introduced through a simple case study.
{"title":"Event driven architecture modelling and simulation","authors":"T. Clark, B. Barn","doi":"10.1109/SOSE.2011.6139091","DOIUrl":"https://doi.org/10.1109/SOSE.2011.6139091","url":null,"abstract":"Enterprise Architecture (EA) Modelling aims to analyze an organization in terms of its components, IT systems and business processes. Current modelling approaches are based on Service Oriented Architecture (SOA) whereby components publish interfaces of operations that are used via message passing. It has been argued that SOA leads to tight coupling between components and does not handle complex component interactions, with resulting maintenance difficulties. Event Driven Architecture (EDA) is an alternative strategy, based on listening for events, that is designed to address SOA shortcomings. However, there are no EA modelling technologies based on EDA. This paper reviews EA, SOA and EDA, identifies EDA characteristic features and proposes modelling and simulation technologies that are introduced through a simple case study.","PeriodicalId":218577,"journal":{"name":"Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE)","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2011-12-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115673034","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：