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.
Self-adaptive systems (SAS) have the ability to achieve functional and/or quality of service objectives by automatically modifying their behavior at runtime. Accordingly, each self-adaptive system typically consists of a managed system dealing with the domain concerns, and a feedback loop handling adaptation concerns of the managed system. In the aim to promote the actual use of these systems, it...
Context-aware applications development is still a challenging issue due to their adaptive behavior complexity and uncertainty features. A conceptual framework, as an ideal reuse technique, is one of the most suitable solutions to simplify the development of such systems and overcome their development complexity. We aim in this paper to design a framework that promotes the ability to specify and verify...
Component Oriented Programming (COP) offers promising gains including time-savings, cost-reduction, and increased productivity via components reuse. However, using off-the-shelf components properly and safely is a serious challenge, which implies the significant need to specify and verify the components and their assemblies, up to the level of the full system (built from components) to assure its...
Web services are considered as one of the emerging technologies in the development, deployment and integration of Internet applications, and this, thanks to their features of universal interoperability and their ability to be reused and composed with other web services. Their substitution is one of the most challenging topics in service computing area. In this paper, we investigate a context-independent...
Software systems often need to be adapted for different execution environments, problem sets, and available resources to maintain and ensure their efficiency and reliability, being thus context-aware. Albeit, many approaches for context-aware systems specification have been proposed in the literature, the absence or poor representation of contextual information and its relationships with system entities...
Many approaches on context-aware systems specification have been proposed in the literature. However, the absence or poor representation of contextual information and its relationships with system entities in these approaches usually leads to low-precision and irrelevant results. The aim of this paper is to promote the ability to specify and verify context-aware systems. Our proposed modeling methodology...
Web services are evolved as a platform independent technology allowing universal interoperability between software assets. Web services substitution is one of the most challenging topics in service computing area. In this paper, we investigate a context independent substitutability of Web services. We use open colored Petri nets (OCNets) as a formal modeling framework of services and we propose an...
Web services composition is emerging as a new model for automated interactions among distributed and heterogeneous applications. However the reuse of web services raises composition issues since they present, most of the time, mismatching at different levels such as structural, behavioral and non-functional. The resulted mismatches require adaptation to insure the correct working between web services...
Web services play an important role in the development of distributed systems. Particularly, the possibility of composing already implemented web services in order to provide new functionalities is an interesting approach for building distributed applications and business processes. In this paper we focus on mismatches occurring during dynamic composition of web services. We propose an algorithm for...
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.