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.
ADLs are used to describe system architectures at a very high level of abstraction. The concrete ADLs are interested in generating code from an architectural description. AADL is a concrete language designed for embedded applications. It integrates a software and hardware specifications in its description. Several studies around AADL are devoted to the development of executable systems from their...
Wireless Mesh Networks (WMNs) is an emerging wireless technology which attracts more and more the attention not only of service providers and enterprises, but also researchers and academicians. In this paper, we are interested by the specification and the analysis of the Channel Assignment process to improve WMNs capacities during the routing process. We give an algorithmic solution showing how to...
Cloud services are designed to provide remote and scalable access to applications and resources. They are inclined to be composed for creating more complex value-added services. Cloud Services Composition (CSC) has become an increasingly active area in both research topics and technological fields. An important and challenging issue in this area is how to model Cloud services for supporting services...
Despite the agreement on the Wireless Mesh Networks impact as a flexible way to provide Internet connections with low cost, they still suffer from some limits that degrade their performance, resulting from their Wireless/multihop nature. Using multiple paths principale and an appropriate Channels Assignment process may confront one of the most encountered problems in wireless communication field,...
Besides the increasing complexity, real time behavior and dynamic evolution are other critical challenges imposed by the RT-DS (Real Time Distributed Systems) design. Component Based Software Engineering, as well as Model Driven Engineering may offer well-suited software development methodologies to tackle these challenges. This paper proposes and explains, through a realistic application, a hybrid...
Elasticity is actually one major and important asset for cloud-based systems. This property grants this kind of systems the ability to dynamically adjust their resources allocation by scaling up/down when needed in autonomic manner, allowing them to capitalize resource utilization, and maintain a suitable quality of service. In this paper, we lean on formal methods to give a precise and sufficient...
The software development process involves a number of complex activities. Therefore, the development methodology must provide abstract description to simplify the design process, enable software development, give a high degree of software reuse and offer the possibility to verify several levels of abstraction. This is possible with MDE (Model Driven Engineering) approach through the use of multiple...
Today, Design Patterns play a cornerstone role in the development of complex software applications. Although several notations have been proposed to specify them, the kind of formal and tool support they provide is quite limited. In this paper we explore the use of Maude as a formal notation for describing design patterns and reasoning about them. The key to the defined approach is to use a meta model...
Context-aware systems are an emerging class of mobile computing systems aiming to provide ubiquitous access to information, communication and computation. These systems are able to sense and adapt automatically to the current environmental context. In this paper, we present a formal approach based on bigraphical reactive systems for modeling the main features of context-aware systems. The proposed...
Software architectures can help in specification, formal analysis and manipulation of complex and adaptive systems. Many languages and formalisms have been proposed for these tasks, especially those based on graph model. Bigraphical Reactive Systems (BRS) are an emerging graphical framework for specifying ubiquitous dynamic architectural systems.
Web Services are a kind of distributed systems built by using a set of loosely coupled components, these elementary components may be situated in dynamic environments characterized by intense use of wireless medium. In such environments requested services may failed at any time during the composition process. However, current research works on Web services focus merely on static composition and disregard...
The paper deals with the definition of a formal semantic framework for the specification of hierarchical and dynamically reconfigurable component based distributed systems. Based on tile logic (an extension of rewriting logic), the proposed model allows hierarchical and compositional construction of system state and behavior by incrementally composing subcomponents states and behaviors respectively...
The use of formal methods is an effective means to improve the reliability and the quality of complex systems. The objective of this work is to adapt one of these methods to UML, so that the systems development depending on this notation can benefit from it. We propose a formal semantic framework, based on rewriting logic, for UML. Thus, we lean on the category model to give precise and sufficient...
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.