Style-Based Model Transformation for Early Extrafunctional Analysis of Distributed Systems

International audienceIn distributed environments, client-server, publish-subscribe, and peer-to-peer architecture styles are largely employed. However, style selection often remains implicit, relying on the designer's know-how regarding requirements. In this paper, we propose a framework to explicitly specify distributed architectural styles, as independent models of the application functionalities. To justify feasibility and further benefits of our approach, we formally define three classical distributed architectural styles in a process calculus. Our proposal then opens up the way to a systematic composition of functional models with architectural style models as an endogenous transformation. Comparative analysis of extrafunctional properties could then be proposed at the early design stages to guide the architect in stylistic choices

Executing AADL models with UML/Marte

International audienceAADL and MARTE are two modeling formalisms supporting the analysis of real-time embedded systems. Since both cover similar aspects, a clear assessment of their respective strength and weakness is required. Building on previous works, we focus here on the time aspects of the two specifications. Relying on the MARTE Time Model and the operational semantics of its companion language CCSL we attempt to equipped UML activities with the execution semantics of an AADL specification. This is part of a much broader effort to build a generic simulator for UML models with the semantics explicitly defined within the model

HIistoire de vies, histoire d’une vie

Le tsapiky est une musique qui se pratique dans les villes et les campagnes de la région de Tuléar (Sud-Ouest de Madagascar) selon des modalités différentes. Le parcours de Damily, figure emblématique de cette réalité socio-musicale, permet d’en saisir différentes caractéristiques qui s’articulent entre autres dans un rapport ville/campagne dynamique et original. La principale activité des musiciens, même s’ils résident en ville, consiste en l’animation de cérémonies (circoncisions, mariages. enterrements) en brousse. A Tuléar, espace urbain aux frontières imprécises, de nouveaux liens sociaux se constituent (production de cassettes, marché naissant…) qui en font une étape dans une relation circulaire à la campagne. La mobilité, les conflits, l’inscription dans différents réseaux et parfois dans une certaine marginalité jalonnent le parcours de Damily. Acteur, révélateur, témoin, il nous guide dans la compréhension d’une situation en devenir où la musique n’est pas sans mot dire

« World Music »

Cet article se propose de montrer en quoi la World Music est emblématique des problèmes que pose à l’ethnomusicologue la notion de mondialisation. À partir d’une enquête dans les grandes surfaces de distribution, je montre les difficultés à classer les musiques variées qui se vendent sous le label World. J’analyse ensuite le vocabulaire exubérant employé par les journalistes désireux de donner corps à un imaginaire sans frontière ; les points de vue des musiciens sollicités en tant que traditionalistes ou en tant que créateurs passeurs de nouvelles musiques. Enfin, l’article fait état des débats entre ethnomusicologues quant à une possible définition de la World Music et des enjeux pour eux d’investir des terrains dont la tradition est encore à inventer.World Music. A Question of Ethnomusicology? – How does world music typify the problems that the notion of globalization raises for ethnomusicologists? A survey in big retail stores sheds light on the difficulties of classifying the sorts of music sold in the world music bins. The exuberant vocabulary used by journalists who want to stimulate an imagination without borders is analyzed as well as the viewpoints of the musicians as “traditionalists” or as creators diffusing a new music. The debate among ethnomusicologists about possible definitions of world music is discussed. What are the issues for them in occupying a field where a tradition is still to be invented

Compilation of a Skeleton-Based Parallel Language Through Symbolic Cost Analysis and Automatic Data Distribution

We present a skeleton-based language which leads to portable and cost-predictable implementations on MIMD computers. The compilation process is described as a series of program transformations. We focus in this paper on the step concerning the distribution choice. The problem of automatic mapping of input vectors onto processors is addressed using symbolic cost evaluation. Source language restrictions are crucial since they permit to use powerful techniques on polytope volume computations to evaluate costs precisely. The approach can be seen as a cross-fertilization between techniques developed within the FORTRAN parallelization and skeleton communities

HIistoire de vies, histoire d’une vie

Le tsapiky est une musique qui se pratique dans les villes et les campagnes de la région de Tuléar (Sud-Ouest de Madagascar) selon des modalités différentes. Le parcours de Damily, figure emblématique de cette réalité socio-musicale, permet d’en saisir différentes caractéristiques qui s’articulent entre autres dans un rapport ville/campagne dynamique et original. La principale activité des musiciens, même s’ils résident en ville, consiste en l’animation de cérémonies (circoncisions, mariages. enterrements) en brousse. A Tuléar, espace urbain aux frontières imprécises, de nouveaux liens sociaux se constituent (production de cassettes, marché naissant…) qui en font une étape dans une relation circulaire à la campagne. La mobilité, les conflits, l’inscription dans différents réseaux et parfois dans une certaine marginalité jalonnent le parcours de Damily. Acteur, révélateur, témoin, il nous guide dans la compréhension d’une situation en devenir où la musique n’est pas sans mot dire

Madagascar, Accordéons et esprits ancestraux

Ce disque accueille des enregistrements réalisés par Ron Emoff entre 1993 et 1994 sur la côte Est de l’île de Madagascar, dans la région de Tamatave (Tamatave-ville et Fénérive-Est), d’Antananarivo (Ambohimanga) et à Diégo, avec des musiciens d’ethnies Betsimsaraka (5 plages), Antandroy (2), Merina (1), Antaisaka (1) et Sakalava (1). Le livret est constitué d’une présentation générale d’un peu plus de trois pages. Les dix enregistrements sont ensuite commentés sur quatre pages et demie. Une c..

Ethnomusicologie des “jeunes musiques”

Alors que de manière récurrente, la mondialisation est l’accusée principale d’un procès pour mise en conformité, des pratiques musicales originales ne cessent de s’affirmer et de plus en plus de recherches s’attachent à déchiffrer cette orchestration aux multiples contrepoints. Une des caractéristiques remarquables de ces travaux est la vigueur avec laquelle les auteurs entrent en dialogue à partir de musiques qu’ils désignent comme «populaires», «urbaines» ou «néotraditionnelles». Le mouveme..

« Asio Elany ! »

Musique moderne saisie dans des contextes rituels aussi bien que marchands, le tsapiky, se présente comme un lieu de la construction et de l’expression d’une identité régionale (Tuléar, Sud-Ouest de Madagascar). Il existe à Tuléar une véritable culture du tsapiky, omniprésent en ville comme à la campagne. Comprendre l’ancrage de cette « jeune musique », c’est entre autre la saisir dans sa performance qui mobilise des codes partagés particulièrement activés et déployés lors des cérémonies, espace privilégié pour en comprendre le sens

Semantic Multi-View model for Low-Power

5 pagesNational audiencePower is an important concern in embedded systems. Reduction of power consumption is achieved by balancing the control of multiple domains: switching power, reducing or increasing voltage and changing the frequency on system sections. Model-Driven Engineering gives tools to model the interactions of these domains. In this work, we propose to use MARTE combined to UPF concepts to capture the structure and behavior of these multiple domains. We adopt CCSL to unify the multiform aspects among domains and to verify their proper interaction. We provide an example to illustrate MARTE representation and a simulation of multi-domain power design, specified on CCSL and running on TIMESQUARE