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.
Current systems and methods supporting component upgrade tend to use a static subtyping comparison or refinement check to guarantee upgrade process. They statically analyzed component compatibility and substitutability without taking the context dependencies into account. This paper proposes a formal underpinning of methods aimed at reasoning about the component instances for its upgradability. We...
OSGi is a famous technique based on the concept Service-Oriented Component Model. As far as the application of OSGi is concerned, Service Dependency management and Distribution are two issues that have to be taken into consideration. The Service Binder is a mechanism that adds automatic service dependency management into OSGi, and R-OSGi is a distributed middleware layer on the top of OSGi that allows...
The service-oriented software systems are highly vulnerable and incline to frequent changes. There is a need for mechanisms that allow services to be changed while it keep providing. This work proposes an independent and structured framework to allow dynamic service updates, and it includes all the necessary functionalities that support performing the identified kinds of dynamic changes of service...
Dynamic software updating enables running programs to be updated while executing. In this paper, a simple formal system is established with the goal of understanding the underlying foundations of updating classes, for the purpose of understanding how to best build reliable updatable programs. The update calculus is built for O-O software with a precise mathematical semantics. It is formulated as an...
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.