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.
Service composition is an important means for integrating the individual Web services for creating new value added systems. However, Web service exists in the heterogeneous environments on the Internet, thus it is challenging to guarantee the reliability of composite service evolution. To address this problem, we propose the approach to modeling and analyzing the reliability of composite service evolution...
Service composition is an important means for integrating the individual Web services for creating new value added systems. However, Web service runs in the heterogeneous environments on the Internet, it is difficult to guarantee the reliability of service composition. To address this problem, we propose a systematic method to model and analyze reliability for service composition. First, we present...
Software testing is an important part of software maintenance, but it can also be very expensive. To reduce this expense, software testers may select part of their test cases so that those that are more important are run earlier in the testing process. However, the methods that can be used to select test cases for service composition and its analysis are still lacking at present. This paper proposes...
Service composition is an important means for integrating the individual Web services to create new value added systems. However, because highly dynamic nature of service composition poses new challenges to resource management, efficient resource scheduling schemes are highly demanded. In this paper, a hierarchal service scheduling net is proposed to model different components of service composition,...
Cloud computing has attracted much interest recently from both industry and academic. However, it is difficult to construct perfectly secure mechanisms, in face of complex and various attack behaviors in cloud computing. In this paper, a stochastic game model (SGM) is proposed to describe the attack-defense behavior in cloud computing, the physical machine, attack-defense behavior and their attributes...
A hybrid cloud computing platform is the integration and utilization of services from both public and private cloud computing. The hybrid cloud platform will help scientists and businesses to leverage the scalability and cost effectiveness of the public cloud by paying only for IT resources consumed. However, resource failure and other faults may increase due to the heterogeneity and complexity of...
Cyber-physical system is a combination of computation, control and communication. Existing modeling approaches are not suitable for the implementation of its complicated behaviors especially the mixing of discrete and continuous parts. Due to this feature, we propose a time-constrained aspect-oriented Petri net (TAOPN) approach to model cyber-physical system. This approach extends Petri net with time...
Cloud computing has attracted much interest recently from both industry and academic. More and more Internet applications are moving to the cloud environment. However, fault detection technique in cloud application is a crucial issue. This issue is especially difficult since cloud computing relies by nature on a highly dynamic environment. In this paper, we propose a model based Byzantine fault detection...
Service composition is an important means for integrating the individual Web services to create new value added systems that can satisfy complex requirements. However, it is a challenge to enforce fault diagnosis mechanism for those applications due to the uncertainty of service quality in distributive and heterogeneous environment. In this paper, a Byzantine fault diagnosis method for service composition...
Service composition is an important means for integrating the individual Web services to create new value added systems that can satisfy complex requirements. However, it is a challenge to analyze security requirements for those applications due to the uncertainty factors in distributive environment. This paper proposes an approach to modeling and analyzing security requirements of service composition...
Service composition is an effective way to build complex Web service applications. However, it is a challenge to handle failure recovery due to the uncertainty of service in distributed and heterogeneous environment. This paper proposes an approach to handling failure recovery in service composition. Petri nets are used to model the different components of service composition, failure recovery rules...
Service composition is an effective way to achieve value-added service, which has found wide application in software system. Fault handling is critical to achieve high reliability for these applications. However, the existing service composition methods seldom consider services' fault handling, which results in high risk of runtime failure. This paper proposes a formal aspect-oriented approach to...
Aspect-oriented modeling techniques have been proposed as solutions to separate core and crosscut concerns in the early phases of software development. However, it is not easy to weave different models and verify the correctness of woven model. This paper introduces an aspect-oriented analyzing, modeling and verifying approach to solve the above questions based on use cases and state charts. The water...
Unified modeling language (UML) sequence diagrams combined with the UML profile for modeling and analysis of real-time and embedded (MARTE) systems are used to represent the systems' requirements. To enhance formal analysis, sequence diagrams annotated with MARTE stereotypes are mapped into timed colored Petri nets with inhibitor arcs (TCPNIA). The mapping rules for the fragments of sequence diagrams...
Reputation is a key factor to enhance reliability and performance of transactions in the network. Many works have focused on rating the reputation of the entities through kinds of technologies. The entities send the request messages about reputation to other entities when they need the reputation of the target entities. Considering the nodes population is highly transient in open network, and the...
As a way to compose independent services together to fulfill a function, service composition is an important means for flexible and rapid information integration of complex distribution application in open and heterogeneous environment. Because the participating services may be failure or unavailable, how to guarantee the quality of service composition has become a challenging problem. A service composition...
As a way to compose independent services together to fulfill a function, service composition is widely applied in different applications. One key issue is how to model and analyze time-related properties in service composition so that it can satisfy userpsilas deadline requirements. A model called service composition time-constrained Petri net (SCTNet)is introduced in the paper, which is capable of...
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.