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.展开更多
Dana Gioia in her publication Disappearing Ink： Poetry at the End of Print Culture, draws attention to the increasing popularity of oral forms of poetry--rap, cowboy poetry, poetry slams and performance poetry Accord...Dana Gioia in her publication Disappearing Ink： Poetry at the End of Print Culture, draws attention to the increasing popularity of oral forms of poetry--rap, cowboy poetry, poetry slams and performance poetry According to Gioia, transformation of author ＂from an invisible creator of typographic language to a physical presence performing aloud＂, leads to formulation of a strong antithesis for Barthes＇ ＂death of the author＂, namely ＂death of the text＂. In her paper, Gioia assumes that the appearance of the author in his physical presence on stage performing text is equivalent to rebirth of an author and his restoration of power over the meaning of text. This assumption results from a strong division between the process of production and the process of reception of text, which maintains a strong opposition among author, text, and reader. This paper presents slam poetry as an event, during which prepared, written text merges with spoken word susceptible to voices from the audience. This fusion leads to rejection of strong division between production and reception of text and thus between author and reader making all of them participants. Print medium is replaced with living body, which responds to the audience and their reception of text. Text is no longer perceived as an artifact, but as a performative process focused on interaction between participants, which cannot exist outside the event展开更多
Many ontologies are provided to representing semantic sensors data.However,heterogeneity exists in different sensors which makes some service operators of Internet of Thing(IoT) difficult(such as such as semantic infe...Many ontologies are provided to representing semantic sensors data.However,heterogeneity exists in different sensors which makes some service operators of Internet of Thing(IoT) difficult(such as such as semantic inferring,non-linear inverted index establishing,service composing) .There is a great deal of research about sensor ontology alignment dealing with the heterogeneity between the different sensor ontologies,but fewer solutions focus on exploiting syntaxes in a sensor ontology and the pattern of accessing alignments.Our solution infers alignments by extending structural subsumption algorithms to analyze syntaxes in a sensor ontology,and then combines the alignments with the SKOS model to construct the integration sensor ontology,which can be accessed via the IoT.The experiments show that the integration senor ontology in the SKOS model can be utilized via the IoT service,and the accuracy of our prototype,in average,is higher than others over the four real ontologies.展开更多
基金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.
文摘Dana Gioia in her publication Disappearing Ink： Poetry at the End of Print Culture, draws attention to the increasing popularity of oral forms of poetry--rap, cowboy poetry, poetry slams and performance poetry According to Gioia, transformation of author ＂from an invisible creator of typographic language to a physical presence performing aloud＂, leads to formulation of a strong antithesis for Barthes＇ ＂death of the author＂, namely ＂death of the text＂. In her paper, Gioia assumes that the appearance of the author in his physical presence on stage performing text is equivalent to rebirth of an author and his restoration of power over the meaning of text. This assumption results from a strong division between the process of production and the process of reception of text, which maintains a strong opposition among author, text, and reader. This paper presents slam poetry as an event, during which prepared, written text merges with spoken word susceptible to voices from the audience. This fusion leads to rejection of strong division between production and reception of text and thus between author and reader making all of them participants. Print medium is replaced with living body, which responds to the audience and their reception of text. Text is no longer perceived as an artifact, but as a performative process focused on interaction between participants, which cannot exist outside the event
基金Supported by National Natural Science Foundation of China(No.61601039)financially supported by the State Key Research Development Program of China(Grant No.2016YFC0801407)+3 种基金financially supported by the Natural Science Foundation of Beijing Information Science & Technology University(No.1625008)financially supported by the Opening Project of Beijing Key Laboratory of Internet Culture and Digital Dissemination Research(NO.ICDD201607)Open Foundation of State key Laboratory of Networking and Switching Technology(Beijing University of Posts and Telecommunications)(NO.SKLNST-2016-2-08)financially supported by the Importation and Development of High-Caliber Talents Project of Beijing Municipal Institutions(Grant No.CIT&TCD201504056)
文摘Many ontologies are provided to representing semantic sensors data.However,heterogeneity exists in different sensors which makes some service operators of Internet of Thing(IoT) difficult(such as such as semantic inferring,non-linear inverted index establishing,service composing) .There is a great deal of research about sensor ontology alignment dealing with the heterogeneity between the different sensor ontologies,but fewer solutions focus on exploiting syntaxes in a sensor ontology and the pattern of accessing alignments.Our solution infers alignments by extending structural subsumption algorithms to analyze syntaxes in a sensor ontology,and then combines the alignments with the SKOS model to construct the integration sensor ontology,which can be accessed via the IoT.The experiments show that the integration senor ontology in the SKOS model can be utilized via the IoT service,and the accuracy of our prototype,in average,is higher than others over the four real ontologies.
