The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
Describing and verifying Web services using formal method in Web service configuration are a hot research. According to relevant semantics of configuration elements of Web service ontology, ¦Ð-calculus was applied as formal tool to describe and model Web services configuration. The dynamic behaviors of the established model could be verified and configuration errors such as deadlocks could be detected...
Trustworthy and composite web services play important roles in service-oriented systems. Web services choreography as one important approach of composing web services describes the global model of service interactions among a set of participants. Bisimilar analysis that checks whether two choreographies are behavioural equivalent is an important verification approach for trustworthy composition. This...
Service Oriented Architecture(SOA) is a new form of distributed software architecture. It promotes loose coupling, services distribution, dynamicity and agility. Runtime architecture of new generation service based system should be evolutional for flexible application requirement, instability of composing service nodes and Internet environment. Modeling of runtime SOA and verifying consistency of...
QoS-based service selection becomes a commonly accepted procedure to support rapid and dynamic web service composition. In this paper, we study the problem of QoS-based service selection in distributed QoS management environments where QoS values of alternative services are maintained by distributed QoS registries. A distributed heuristic approach is proposed to solve the problem efficiently with...
Based on the theory of activity-based cost management and cost design and the traditional standard cost management, the supply chain oriented enterprise cost management model is put forth to improve the veracity of cost computing. Orienting the product overall lifecycle, the model includes the all the business activities of the enterprise entire supply chain. In the model, the target cost is advised...
Nowadays domotic systems have the potential of providing low cost, readily available services and intelligence comparable to futuristic Smart Homes. However they suffer from serious interoperation problems, which are currently preventing their wide spread adoption in real-world intelligent homes. This paper proposes a rule-based approach to interoperation between different domotic networks, with a...
Service oriented system is very popular in both academic and industry. One reason is that a new complex application can be agilely implemented via the collaboration of the existent services. In the dynamic Web service environment, the Web service based applications often suffer from the leaving of component services dynamically, which will result in partial executed conversations, namely the inconsistency...
With the rapid expanse of the web service over the internet, discovering relevant web services becomes a significant challenge. To tackle this problem, a service-discovering framework based on behavioral equivalence is proposed in this paper. First, pi-calculus as a formal tool is adopted to express service behavior, including the published services and the query services. Then, the reverse engineering...
In the current product development, collaboration between participants claims more attention. Especially with the advance of Web Service and Semantic Web, semantic collaboration among participants over the internet is prosperously developing. In this paper, we propose a semantic paradigm to integrate customer demands and product designs by following the MDA (Model-Driven Architecture) mode. Platform...
The collaboration of Web services is often required to realize larger and more complex distributed applications. One of the problems that should be dealt with in the service collaboration is unpredictable failures of individual service. We present in our previous work a structure-based service collaboration model, in which several basic structures are abstracted, including star-structure, ring-structure,...
With the rapid expanse of the Web service over the internet, discovering web service is becoming the most urgent problem. To tackle this problem, The Calculus of Communicating Systems (CCS) as a formal tool is exploited to specify and model web services, especially service behavior. Reverse engineering is proposed to develop the formal model of query service according to user's behavior, behavioral...
A critical step in the process of reusing existing WSDL-specified services for building web-based applications is the discovery of potentially relevant services. However, the category-based service discovery, such as UDDI, is clearly insufficient. Semantic Web Services, augmenting Web service descriptions using Semantic Web technology, were introduced to facilitate the publication, discovery, and...
The ability to describe the coordinative behavior of interacting Web services is key aspect in the development of next generation Internet software systems. In this paper, a layered architecture for coordination system is introduced. Based on coordination structure that presents the basic architecture of coordination system, we propose a Web services coordination model, Coordination Behavioral Structure...
Semantic Web services, augmenting Web service descriptions using semantic Web technology, were introduced to facilitate the publication, discovery, and execution of Web services at the semantic level. Semantic matchmakers enhance the capability of UDDI service registries in the semantic Web services architecture by applying some matching algorithms between advertisements and requests described in...
Current semantic trend makes OWLS be replete with composite services regardless of how the compositions originate, but it provides no way to verify correctness. To alleviate this deficiency, we propose a hierarchical CPNets based model for the specification of process composition so as to raise the composition reliability. The model defines a composite process formulated in OWLS file in a three-level...
Scientific collaboration has become more and more important in current scientific research. A collaboration environment which simplifies integration and collaboration of heterogeneous scientific resources, for instance scientific computing software and scientific apparatuses, can accelerate progress of scientific research remarkably. We present a novel middleware to facilitate development of distributed...
Service composition is regarded as a primary approach to build an application in service-oriented computing (SOC). Current approaches for service composition may return back lots of invalid results because they neither take user's context into account nor lack effective verification mechanism. To tackle these problems, this paper presents a framework that enables context-aware composition of Web services...
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.