Service Choreography Meets the Web of Data Via Micro-Data
نویسندگان
چکیده
Several solutions exist for semantically describing Web Services (WSs) from the perspective of orchestration but little is known about how semantics benefit WS choreography. The most extreme example of a choreography problem occurs in peer-to-peer systems where shared semantics of data may need to be established via services interactions. We present a solution to this problem by sharing micro-data via interaction models. No pre-unified ontology is required in our approach so peers can make use of existing heterogeneous resources having been described in the RDF data model flexibly and compatibly. The experimental results indicate that our approach semantically enhances WS choreography in a lightweight way which complies with principles of Linked Data and republished Interaction Models (IMs) can further facilitate the progress of the Web of data as well as the formation of peer communities generated through peers’ interactions. Choreography Description in LCC In a peer-to-peer network, peers are autonomous and each of them has both server and client capabilities. From the perspective of choreography, peers collaborate through interactions and we use LCC to describe the choreographies inside the peer-to-peer network. Although our paper employs LCC, the specific choice of the process language is not essential to the core arguments of this paper. An example in which a client purchases a product referenced by a product code from a shop using his or her credit card is depicted in LCC as follows: r(client, initial, 1, 1) r(shop, necessary, 1) a(client(PC, CC), C):: buy(PC, CC) ⇒ a(shop, S) ← payby(CC)∧ lookup(S) then receipt(R) ⇐ a(shop, S) a(shop, S):: buy(PC, CC) ⇐ a(client( ),C) then receipt(R) ⇒ a(client( ), C) ← enough credit(CC, PC)∧ complete order(PC, CC, R) However, since there is no explanation about any elements (e.g., roles, messages and constraints) in this IM, it is difficult if not impossible for peers who want to purchase or sell a product to automatically recognize whether this IM is exactly the one they really need. The following XHTML snippet gives the excerpt of proportional source codes of a Web page on which the trade IM described above has been semantically enhanced. <html xmlns=‘‘http://www.w3.org/1999/xhtml’’ xmlns:openk=‘‘http://homepages.inf.ed.ac.uk/s0896253/openk.owl#’’ xmlns:dbpedia=‘‘http://dbpedia.org/resource/’’
منابع مشابه
Web Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملThe influential factors on the quality of electronic service in sport from Esteghlal club fans point of view
The purpose of the present research is investigation of the theoretical relationship between the main variables of online exercise performance and their impact upon rendering service quality via internet. The statistical population was included of all fans of Tehran Esteghlal sport club, who electronically and via web site purchased the fans products and received information through club media....
متن کاملOn the Suitability of WS-CDL for Choreography Modeling
TheWeb Service Choreography Description Language (WS-CDL) has been put forward as language for capturing sets of web service interactions and their control and data dependencies, seen from a global perspective. However the suitability of WS-CDL for this purpose has not been assessed in a systematic manner. This paper presents such an assessment by adopting a two-pronged approach. First, the pap...
متن کاملBehavior-aware, Unified Service Discovery
Composite services commonly expose the choreography of message exchanges realized by their constituent services through appropriate descriptions and interfaces. Such information is very useful in deciding whether a composite service fully meets the behavioral requirements of a specific application or not. However, expressing behavioral requirements towards a service is currently a challenging t...
متن کاملMaking BPEL Flexible
The Business Process Execution Language (BPEL) is a process modeling language which uses standard control constructs to define a process flow. But today enterprises have to be flexible and adaptable to cope with increasing change, uncertainty and unpredictability. Automating agile business processes is still a challenge as they are normally knowledge intensive, little automated but compliance r...
متن کامل