"High-level opening up"and"high-quality development"are important development goals and directions of China during the 14th Five-Year Plan period.Heilongjiang,as the largest and oldest province ope..."High-level opening up"and"high-quality development"are important development goals and directions of China during the 14th Five-Year Plan period.Heilongjiang,as the largest and oldest province open to Russia,has a long history of communication and plays a vanguard role.However,the province's geographical advantages are weakening under the impact of the COVID-19 pandemic and the rapid development of the internet industry.Facing the new era,maintaining and enhancing the regional advantages of the province has become an urgent issue that requires attention.This study takes the Russian language service in Heilongjiang Province as the subject,combines theory with practice through theoretical elaboration and historical analysis,as well as tries to provide reference for improving the language service system in Heilongjiang Province and enhancing its regional advantages.This study believes that a high-quality language service plays an important role in solving the issue.It is necessary to fully understand and apply the essential power of language,be more aware of the importance of Russian language services,build a sound ecosystem of language services,give full play to the traditional advantages of the"Russian"in this province,and finally assume "Russian language services"as the"golden banner"for the development of language services,economy,and culture in the province.展开更多
The primary aim of this paper is to survey the effect of outdoor public service advertisements on the audience. Taking questionnaire as the method, this study has discussed the validity of outdoor Public Service Adver...The primary aim of this paper is to survey the effect of outdoor public service advertisements on the audience. Taking questionnaire as the method, this study has discussed the validity of outdoor Public Service Advertising Language of citizens in Guangzhou, which from the aspects of attention, acceptance and comprehension. The results of the survey indicate that the effectiveness of outdoor advertising language in Guangzhou is generally optimistic. Then the problems incurred by outdoor advertising language are discussed according to the analysis result. Finally, relevant suggestions and measures were proposed for improving the impact of public service advertising.展开更多
As a dynamic language phenomenon, public service advertisement reflects the social language life. This paper presents a detailed analysis of the theme selection and language of outdoor public service advertisement lan...As a dynamic language phenomenon, public service advertisement reflects the social language life. This paper presents a detailed analysis of the theme selection and language of outdoor public service advertisement language in Guangzhou. It describes the features and expressions of outdoor public service advertisement in subject content, sentence form and rhetoric, aimed at understanding the basic situation and effect of public service advertisement on the audience, and guiding the audience to improve their morality and behavior.展开更多
In order to formally reason and verify web services composition described by web services choreography specification WS-CDL,a typed formal model named typed Abstract WS-CDL（web services choreography description langu...In order to formally reason and verify web services composition described by web services choreography specification WS-CDL,a typed formal model named typed Abstract WS-CDL（web services choreography description language）for WS-CDL specifications is proposed.In typed Abstract WS-CDL,the syntax of type and session,typing rules and operational semantics are formalized;the collaborations of web services are formally described by sessions;the operational semantics of a session can help to formally reason the execution of the choreography;the typing rules can help to formally check the data type consistency of exchanged information between web services and capture run-time errors due to type mismatches.Particularly,the concepts of type assumption set extension and type assumption set compatibility are proposed,and the merging algorithm of type assumption sets is defined so as to eliminate type assumption conflict.Based on the formal model,typed mapping rules for mapping web services choreography to orchestration is also defined.With the typed mapping rules,orchestration stubs and their type assumption sets can be generated from a given choreography; thus, web services composition can be verified at choreography and orchestration levels,respectively.The model is proved to have properties of type safety,and how the model can help to reason and verify web services composition is illustrated through a case study.展开更多
Communicating Sequential Processes （CSP） is a kind of process algebra, which is suitable for modeling and verifying Web service composition. This paper describes how to model Web service composition with CSP. A set ...Communicating Sequential Processes （CSP） is a kind of process algebra, which is suitable for modeling and verifying Web service composition. This paper describes how to model Web service composition with CSP. A set of rules for translating composition constructor of Business Process Execution Language for Web Services （BPEL4WS） to CSP notations is defined. According to the rules that have been defined, the corresponding translation algorithm is designed and illustrated with examples . The methods for model checking, model verification and model simulation are also introduced.展开更多
This paper proposes a method of data-flow testing for Web services composition. Firstly, to facilitate data flow analysis and constraints collecting, the existing model representation of business process execution lan...This paper proposes a method of data-flow testing for Web services composition. Firstly, to facilitate data flow analysis and constraints collecting, the existing model representation of business process execution language （BPEL） is modified in company with the analysis of data dependency and an exact representation of dead path elimination （DPE） is proposed, which over-comes the difficulties brought to dataflow analysis. Then defining and using information based on data flow rules is collected by parsing BPEL and Web services description language （WSDL） documents and the def-use annotated control flow graph is created. Based on this model, data-flow anomalies which indicate potential errors can be discovered by traversing the paths of graph, and all-du-paths used in dynamic data flow testing for Web services composition are automatically generated, then testers can design the test cases according to the collected constraints for each path selected.展开更多
Semantic Web Services is an emerging technology that promises to enable dynamic, execution-time discovery, composition, and invocation of Web Services. Semantic matchmaking plays a vital role in the automated and dyna...Semantic Web Services is an emerging technology that promises to enable dynamic, execution-time discovery, composition, and invocation of Web Services. Semantic matchmaking plays a vital role in the automated and dynamic discovery process of Semantic Web Services and consists in measuring the semantic distance between a requested service and an advertised one. In this paper, an innovative approach to effectively compute the semantic distance between Ontology Web Language for Services （OWL-S） annotated services is proposed. First, an edge-based method for measuring the semantic distance between Web Ontology Language （OWL） concepts is presented. Then, a comparison of the proposed measure and the one presented in a recent related work is made in order to show that our method is more efficient and fine-grained. Finally, some equations to compute semantic matchmaking of service capabilities, which are expressed in terms of inputs and outputs, are presented.展开更多
Model checking techniques have been widely used in verifying web service compositions to ensure the trustworthi- ness. However, little research has focused on testing web services. Based on the research of model check...Model checking techniques have been widely used in verifying web service compositions to ensure the trustworthi- ness. However, little research has focused on testing web services. Based on the research of model checking techniques~ we propose a model checking based approach for testing web service composition which is described by using the web services choreography description language （WS-CDL）. According to worldwide web consortium （W3C） candidate recommendation, the WS-CDL specification provides a language for characterizing interactions between distinct web services using XML. Since the behaviors of web service composition are asynchronous, distributed, low-coupled and platform independent, we employ the guarded automata （GA） model for specifying the composition described in WS-CDL and using the simple promela interpreter （SPIN） model checker for detecting the collaborations of web services. Test cases can be transformed from counterexamples generated by SPIN using adequacy criteria. In this paper we apply the transition coverage criterion for generating counterex- amples. To illustrate our approach, we set ＂E-commerce service system＂ as an example for demonstrating how test cases can be generated using SPIN for compositions specified in WS-CDL.展开更多
In this paper, we proposed an improved hybrid semantic matching algorithm combining Input/Output (I/O) semantic matching with text lexical similarity to overcome the disadvantage that the existing semantic matching al...In this paper, we proposed an improved hybrid semantic matching algorithm combining Input/Output (I/O) semantic matching with text lexical similarity to overcome the disadvantage that the existing semantic matching algorithms were unable to distinguish those services with the same I/O by only performing I/O based service signature matching in semantic web service discovery techniques. The improved algorithm consists of two steps, the first is logic based I/O concept ontology matching, through which the candidate service set is obtained and the second is the service name matching with lexical similarity against the candidate service set, through which the final precise matching result is concluded. Using Ontology Web Language for Services (OWL-S) test collection, we tested our hybrid algorithm and compared it with OWL-S Matchmaker-X (OWLS-MX), the experimental results have shown that the proposed algorithm could pick out the most suitable advertised service corresponding to user's request from very similar ones and provide better matching precision and efficiency than OWLS-MX.展开更多
Translation project outcomes are affected by many factors.Hence,this study explored the impact of risk management ability of translators on translation project outcomes in China.In the study,we took risk management ab...Translation project outcomes are affected by many factors.Hence,this study explored the impact of risk management ability of translators on translation project outcomes in China.In the study,we took risk management ability of translators in translation projects as the research objective and collected research data through an online questionnaire to establish a structural equation model.Based on these data in the model,we analyzed impacts of translators’risk management ability on translation project outcomes.Evidently,risks in project planning during translation as well as proofreading and typesetting after translation affect the delivery and remuneration of translation.The study can help translators correctly recognize and manage the risks in translation practices,increase the success rate of translation projects and further promote the sound development of language services.展开更多
The term national language capacity refers to the sum total of a nation＇s ability to grasp linguistic resources, provide language services, deal with linguistic issues, develop the language, and related tasks. Key ca...The term national language capacity refers to the sum total of a nation＇s ability to grasp linguistic resources, provide language services, deal with linguistic issues, develop the language, and related tasks. Key capacities include the possession of linguistic resources, utilization of language and language services, development and use of linguistic resources, the language of the members of the nation, reserves of linguistic talent, language management, development of language enterprises and linguistic influence. The development of informatization has made national language capacity an important part of national strength. It is hard power as well as soft power, playing a very important role in social progress and cultural inheritance, in promoting economic development and technological innovation, and in protecting a country＇s national security and international development.展开更多
基金The "3th Five-Year Plan"of Education Science Key Project of Heilongjiang Province in 2020(Project Number:GJB1320294).
文摘"High-level opening up"and"high-quality development"are important development goals and directions of China during the 14th Five-Year Plan period.Heilongjiang,as the largest and oldest province open to Russia,has a long history of communication and plays a vanguard role.However,the province's geographical advantages are weakening under the impact of the COVID-19 pandemic and the rapid development of the internet industry.Facing the new era,maintaining and enhancing the regional advantages of the province has become an urgent issue that requires attention.This study takes the Russian language service in Heilongjiang Province as the subject,combines theory with practice through theoretical elaboration and historical analysis,as well as tries to provide reference for improving the language service system in Heilongjiang Province and enhancing its regional advantages.This study believes that a high-quality language service plays an important role in solving the issue.It is necessary to fully understand and apply the essential power of language,be more aware of the importance of Russian language services,build a sound ecosystem of language services,give full play to the traditional advantages of the"Russian"in this province,and finally assume "Russian language services"as the"golden banner"for the development of language services,economy,and culture in the province.
文摘The primary aim of this paper is to survey the effect of outdoor public service advertisements on the audience. Taking questionnaire as the method, this study has discussed the validity of outdoor Public Service Advertising Language of citizens in Guangzhou, which from the aspects of attention, acceptance and comprehension. The results of the survey indicate that the effectiveness of outdoor advertising language in Guangzhou is generally optimistic. Then the problems incurred by outdoor advertising language are discussed according to the analysis result. Finally, relevant suggestions and measures were proposed for improving the impact of public service advertising.
文摘As a dynamic language phenomenon, public service advertisement reflects the social language life. This paper presents a detailed analysis of the theme selection and language of outdoor public service advertisement language in Guangzhou. It describes the features and expressions of outdoor public service advertisement in subject content, sentence form and rhetoric, aimed at understanding the basic situation and effect of public service advertisement on the audience, and guiding the audience to improve their morality and behavior.
基金The National Natural Science Foundation of China(No.60403027,60773191,70771043)the National High Technology Research and Development Program of China(863 Program)(No.2007AA01Z403)
文摘In order to formally reason and verify web services composition described by web services choreography specification WS-CDL,a typed formal model named typed Abstract WS-CDL（web services choreography description language）for WS-CDL specifications is proposed.In typed Abstract WS-CDL,the syntax of type and session,typing rules and operational semantics are formalized;the collaborations of web services are formally described by sessions;the operational semantics of a session can help to formally reason the execution of the choreography;the typing rules can help to formally check the data type consistency of exchanged information between web services and capture run-time errors due to type mismatches.Particularly,the concepts of type assumption set extension and type assumption set compatibility are proposed,and the merging algorithm of type assumption sets is defined so as to eliminate type assumption conflict.Based on the formal model,typed mapping rules for mapping web services choreography to orchestration is also defined.With the typed mapping rules,orchestration stubs and their type assumption sets can be generated from a given choreography; thus, web services composition can be verified at choreography and orchestration levels,respectively.The model is proved to have properties of type safety,and how the model can help to reason and verify web services composition is illustrated through a case study.
基金Supported by the National Natural Science Foun-dation of China(60403027) the Natural Science Foundation of HubeiProvince(2005ABA258) the Open Foundation of State Key La-boratory of Software Engineering (SKLSE05-07)
文摘Communicating Sequential Processes （CSP） is a kind of process algebra, which is suitable for modeling and verifying Web service composition. This paper describes how to model Web service composition with CSP. A set of rules for translating composition constructor of Business Process Execution Language for Web Services （BPEL4WS） to CSP notations is defined. According to the rules that have been defined, the corresponding translation algorithm is designed and illustrated with examples . The methods for model checking, model verification and model simulation are also introduced.
基金the National Natural Science Foundation of China(60425206, 60503033)National Basic Research Program of China (973 Program, 2002CB312000)Opening Foundation of State Key Laboratory of Software Engineering in Wuhan University
文摘This paper proposes a method of data-flow testing for Web services composition. Firstly, to facilitate data flow analysis and constraints collecting, the existing model representation of business process execution language （BPEL） is modified in company with the analysis of data dependency and an exact representation of dead path elimination （DPE） is proposed, which over-comes the difficulties brought to dataflow analysis. Then defining and using information based on data flow rules is collected by parsing BPEL and Web services description language （WSDL） documents and the def-use annotated control flow graph is created. Based on this model, data-flow anomalies which indicate potential errors can be discovered by traversing the paths of graph, and all-du-paths used in dynamic data flow testing for Web services composition are automatically generated, then testers can design the test cases according to the collected constraints for each path selected.
文摘Semantic Web Services is an emerging technology that promises to enable dynamic, execution-time discovery, composition, and invocation of Web Services. Semantic matchmaking plays a vital role in the automated and dynamic discovery process of Semantic Web Services and consists in measuring the semantic distance between a requested service and an advertised one. In this paper, an innovative approach to effectively compute the semantic distance between Ontology Web Language for Services （OWL-S） annotated services is proposed. First, an edge-based method for measuring the semantic distance between Web Ontology Language （OWL） concepts is presented. Then, a comparison of the proposed measure and the one presented in a recent related work is made in order to show that our method is more efficient and fine-grained. Finally, some equations to compute semantic matchmaking of service capabilities, which are expressed in terms of inputs and outputs, are presented.
基金Project supported by the Open Foundation of State Key Laboratory of Software Engineering(Grant No.SKLSE20080712)the National Natural Science Foundation of China(Grant No.60970007)+2 种基金the National Basic Research Program of China(Grant No.2007CB310800)the Shanghai Leading Academic Discipline Project(Grant No.J50103)the Science and Technology Commission of Shanghai Municipality(Grant No.09DZ2272600)
文摘Model checking techniques have been widely used in verifying web service compositions to ensure the trustworthi- ness. However, little research has focused on testing web services. Based on the research of model checking techniques~ we propose a model checking based approach for testing web service composition which is described by using the web services choreography description language （WS-CDL）. According to worldwide web consortium （W3C） candidate recommendation, the WS-CDL specification provides a language for characterizing interactions between distinct web services using XML. Since the behaviors of web service composition are asynchronous, distributed, low-coupled and platform independent, we employ the guarded automata （GA） model for specifying the composition described in WS-CDL and using the simple promela interpreter （SPIN） model checker for detecting the collaborations of web services. Test cases can be transformed from counterexamples generated by SPIN using adequacy criteria. In this paper we apply the transition coverage criterion for generating counterex- amples. To illustrate our approach, we set ＂E-commerce service system＂ as an example for demonstrating how test cases can be generated using SPIN for compositions specified in WS-CDL.
基金Supported by the National Natural Science Foundation of China (No. 60872018)the Specialized Research Fund for the Doctoral Program of Higher Education (No. 20070293001)973 Project (No. 2007CB310607)
文摘In this paper, we proposed an improved hybrid semantic matching algorithm combining Input/Output (I/O) semantic matching with text lexical similarity to overcome the disadvantage that the existing semantic matching algorithms were unable to distinguish those services with the same I/O by only performing I/O based service signature matching in semantic web service discovery techniques. The improved algorithm consists of two steps, the first is logic based I/O concept ontology matching, through which the candidate service set is obtained and the second is the service name matching with lexical similarity against the candidate service set, through which the final precise matching result is concluded. Using Ontology Web Language for Services (OWL-S) test collection, we tested our hybrid algorithm and compared it with OWL-S Matchmaker-X (OWLS-MX), the experimental results have shown that the proposed algorithm could pick out the most suitable advertised service corresponding to user's request from very similar ones and provide better matching precision and efficiency than OWLS-MX.
文摘Translation project outcomes are affected by many factors.Hence,this study explored the impact of risk management ability of translators on translation project outcomes in China.In the study,we took risk management ability of translators in translation projects as the research objective and collected research data through an online questionnaire to establish a structural equation model.Based on these data in the model,we analyzed impacts of translators’risk management ability on translation project outcomes.Evidently,risks in project planning during translation as well as proofreading and typesetting after translation affect the delivery and remuneration of translation.The study can help translators correctly recognize and manage the risks in translation practices,increase the success rate of translation projects and further promote the sound development of language services.
文摘The term national language capacity refers to the sum total of a nation＇s ability to grasp linguistic resources, provide language services, deal with linguistic issues, develop the language, and related tasks. Key capacities include the possession of linguistic resources, utilization of language and language services, development and use of linguistic resources, the language of the members of the nation, reserves of linguistic talent, language management, development of language enterprises and linguistic influence. The development of informatization has made national language capacity an important part of national strength. It is hard power as well as soft power, playing a very important role in social progress and cultural inheritance, in promoting economic development and technological innovation, and in protecting a country＇s national security and international development.
