Towards developing generic solutions with aspects

Software industry has to face up to continuous and fast changes of technology as well as varying customer’s requirements. In order to adapt software for these new platforms and technologies at a minimum cost some proposals like MDA have been brought up, but also, simultaneously, others like aspect-oriented programming are addressing the changeability of customer’s requirements. We propose the use of the MDA philosophy to raise the level of abstraction of current aspect-oriented design modelling languages, because most of them are platform dependent. Thus, we suggest the use of concern-specific modelling languages to specify concerns in a platform independent way. And, we also propose to tailor UML to the specific requirements of each aspect, so that, UML extension mechanisms (MOF metamodels and UML-profiles) are needed to define semantics of new aspectspecific constructs. Finally, a rational is given to determine which extension mechanism is the best for specifying each concern-specific language.Ministerio de Ciencia y Tecnología TIC 2003-369

Collaboration patterns for networked embedded servers

International audienc

Workflow completion patterns

The most common correctness requirement for a (business) workflow is the completion requirement, imposing that, in some form, every case-instance of the workflow reaches its final state. In this paper, we define three workflow completion patterns, called the mandatory, optional and possible completion. These patterns are formalized in terms of the temporal logic CTL*, to remove ambiguities, allow for easy comparison, and have direct applicability. In contrast to the existing methods, we do not look at the control flow in isolation but include some data information as well. In this way the analysis remains tractable but gains precision. Together with our previous work on data-flow (anti-)patterns, this paper is a significant step towards a unifying framework for complete workflow verification, using the well-developed, stable, adaptable, and effective model-checking approach

Contributions aux systèmes répartis en environnements ubiquitaires : adaptation, sensibilité au contexte et tolérance aux fautes

D'années en années, nous observons l'arrivée sur le marche d'ordinateurs personnels de plus en plus petits pour des utilisateurs de plus en plus nombreux, ainsi des assistants personnels numériques et des objets dits connectés, en passant par les téléphones mobiles. Tous ces dispositifs tendent à être interchangeables du point de vue des ressources en mémoire, en calcul et en connectivité : par exemple, les téléphones mobiles sont devenus des équipements informatiques de moins en moins spécialisés ou de plus en plus universels et font dorénavant office en la matière de portails d'accès aux capteurs présents dans l'environnement immédiat de l'utilisateur. L'enjeu abordé dans nos travaux est la construction de systèmes répartis incluant ces nouveaux dispositifs matériels. L'objectif de mes recherches est la conception des paradigmes d'intermédiation génériques sous-jacents aux applications réparties de plus en plus ubiquitaires. Plus particulièrement, la problématique générale de mes travaux est la définition du rôle des intergiciels dans l'intégration des dispositifs mobiles et des objets connectés dans les architectures logicielles réparties. Ces architectures logicielles reposaient très majoritairement sur des infrastructures logicielles fixes au début des travaux présentés dans ce manuscrit. Dans ce manuscrit, je décris mes travaux sur trois sujets : 1) l'adaptation des applications réparties pour la continuité de service pendant les déconnexions, 2) la gestion des informations du contexte d'exécution des applications réparties pour leur sensibilité au contexte, et 3) les mécanismes de détection des entraves dans les environnements fortement dynamiques tels que ceux construits avec des réseaux mobiles spontanés. Sur le premier sujet, nous fournissons une couche intergicielle générique pour la gestion des aspects répartis de la gestion des déconnexions en utilisant une stratégie d'adaptation collaborative dans les architectures à base d'objets et de composants. Sur le deuxième sujet, nous étudions les paradigmes architecturaux pour la construction d'un service de gestion de contexte générique, afin d'adresser la diversité des traitements (fusion et agrégation, corrélation, détection de situation par apprentissage, etc.), puis nous adressons le problème de la distribution des informations de contexte aux différentes échelles de l'Internet des objets. Enfin, sur le troisième sujet, nous commençons par la détection des modes de fonctionnement pour l'adaptation aux déconnexions afin de faire la différence, lorsque cela est possible, entre une déconnexion et une défaillance, et ensuite nous spécifions et construisons un service de gestion de groupe partitionnable. Ce service est assez fort pour interdire la construction de partitions ne correspondant pas à la réalité de l'environnement à un instant donné et est assez faible pour être mis en oeuvre algorithmiquemen

Designing, Aligning, and Visualizing Service Systems

Service is a concept that separates the concerns of an organization into (1) the value created for users and (2) the way the organization manages its resources to provide this value. The discipline of management of information technology (IT) uses services to coordinate and to optimize the use of IT resources (servers, applications, databases, etc.) in a way that brings value to users. The concrete application of the service concept is challenging due to its abstract, interdependent and recursive nature. We experienced this challenge while collaborating with the IT department of our university (École Polytechnique Fédérale de Lausanne, EPFL) when the IT department adopted the IT Infrastructure Library (ITIL) best-practices framework for IT service management. As researchers, we have the goal of improving the understanding of services as a means to structuring what people and organizations do. In the context of the IT department, we studied how to apply the service concept internally within the IT department, and externally (as business services) in the overall organization. In this thesis, we model services by using systems thinking principles. In particular, we use and improve SEAM, the systemic service-modeling method developed in our laboratory. Our main result is an ontology for SEAM service modeling. Our contributions are the heuristics that define how the ontology relates to a perceived reality: for example, the heuristics focus on behavior rather than organization and they put an emphasis on service instances rather than service types. We also define alignment between service systems, based on the properties of the systems¿ behavior. We show how to model an organization by implementing the concept of service as defined by our ontology. This ontology supports the design of service systems that align across both IT and business services. During our work with over one hundred IT services, we developed several visualization prototypes of a service cartography; we use these prototypes to describe and to relate the different views required for managing services. Our results offer a concrete way to implement the abstract concept of services. This way could be of interest for any organization willing to embark on a large-scale service project

L'intertextualité dans les publications scientifiques

La base de données bibliographiques de l'IEEE contient un certain nombre de duplications avérées avec indication des originaux copiés. Ce corpus est utilisé pour tester une méthode d'attribution d'auteur. La combinaison de la distance intertextuelle avec la fenêtre glissante et diverses techniques de classification permet d'identifier ces duplications avec un risque d'erreur très faible. Cette expérience montre également que plusieurs facteurs brouillent l'identité de l'auteur scientifique, notamment des collectifs de chercheurs à géométrie variable et une forte dose d'intertextualité acceptée voire recherchée

Who wrote this scientific text?

The IEEE bibliographic database contains a number of proven duplications with indication of the original paper(s) copied. This corpus is used to test a method for the detection of hidden intertextuality (commonly named "plagiarism"). The intertextual distance, combined with the sliding window and with various classification techniques, identifies these duplications with a very low risk of error. These experiments also show that several factors blur the identity of the scientific author, including variable group authorship and the high levels of intertextuality accepted, and sometimes desired, in scientific papers on the same topic

A Model Driven Approach to Model Transformations

The OMG's Model Driven Architecture (MDA) initiative has been the focus of much attention in both academia and industry, due to its promise of more rapid and consistent software development through the increased use of models. In order for MDA to reach its full potential, the ability to manipulate and transform models { most obviously from the Platform Independent Model (PIM) to the Platform Specific Models (PSM) { is vital. Recognizing this need, the OMG issued a Request For Proposals (RFP) largely concerned with finding a suitable mechanism for trans- forming models. This paper outlines the relevant background material, summarizes the approach taken by the QVT-Partners (to whom the authors belong), presents a non-trivial example using the QVT-Partners approach, and finally sketches out what the future holds for model transformations