Learn More
AADL is an architecture description language based on the MetaH language which describes an embedded system, as a collection of interacting components. The AADL standard associates automata to define dynamic semantics for a thread component. The threads can be in various states such as halted, inactive, or active. An active thread can be waiting for a(More)
– Wireless Mesh Networks (WMNs), is an emerging wireless technology which attracts more and more attention of service providers and enterprises. The main advantage of this new class of network is to offer a flexible and economical way to expand internet access. Their major concern is to improve the flow and to preserve the bandwidth, while minimizing the(More)
La notion d'architecture logicielle est apparue aux alentours des années 1990 et est maintenant présentée comme le coeur d'une discipline à part entière. De nombreux langages de description d'architecture (ADLs) ont été proposés dans la littérature. Ils offrent des capacités complémentaires pour le développement et l'analyse architecturale d'un système(More)
The main objective of this paper is to show how to extend the ECATNet model, which is a form of high-level algebraic nets, with new objects and morphisms in order to have a more expressive model-based diagnosis of concurrent systems. Our formulation is accomplished by exploiting the similarity between the categorical models of linear logic and those of(More)
Avec les extensions d'UML 2.0, les réseaux de Petri, utilisés comme cadre sémantique formel pour les diagrammes d'activité d'UML, ne permet-tent plus d'exprimer les nouvelles constructions de haut niveau telles que la traverse-to-completion. Cette dernière nécessite une synchronisation globale entre les noeuds fork et join, totalement absente dans les(More)
LfP (Language for Prototyping) is an ADL (Architecture Description Language) with a hierarchical and modular structure. In this paper, we propose tile logic (a rewriting logic extension) as a suitable semantic framework for this language. Indeed, it contributes to the formalization of LfP by providing a natural description for concurrency, synchronization(More)