Le poids de l’oiseau sur la vitre ; suivi de L’hétérogénéité graphique dans Blankets de Craig Thompson

Le mémoire original s'accompagnait en annexe du livre-objet Le poids de l'oiseau sur la vitre.

Dynamic weaving in aspect oriented business process management

Reducing complexity in Information Systems is an important topic in both research and industry. One strategy to deal with complexity is separation of concerns, which results in less complex, easily maintainable and more reusable systems. Separation of concerns can be addressed through the Aspect Oriented paradigm. Although this paradigm has been well researched in programming, it is still at the preliminary stage in the area of Business Process Management. While some efforts have been made to extend business process modelling with aspect oriented capability, it has not yet been investigated how aspect oriented business process models should be executed at runtime. In this paper, we propose a generic solution to support execution of aspect oriented business process models based on the principle behind dynamic weaving of aspects. This solution is formally specified using Coloured Petri Nets. The resulting formal specification serves as the blueprint to the implementation of a service module in the framework of a state-of-the-art Business Process Management System. Using this developed artefact, a case study is performed in which two simplified processes from real business in the domain of banking are modelled and executed in an aspect oriented manner. Through this case study, we also demonstrate that adoption of aspect oriented modularization increases the reusability while reducing the complexity of business process models in practice.

Weaving yarns : the lived experience of Indigenous Australians with adult-onset disability in Brisbane

Indigenous Australians have lower levels of health than mainstream Australians and (as far as statistics are able to indicate) higher levels of disability, yet there is little information on Indigenous social and cultural constructions of disability or the Indigenous experience of disability. This research seeks to address these gaps by using an ethnographic approach, couched within a critical medical anthropology (CMA) framework and using the “three bodies” approach, to study the lived experience of urban Indigenous people with an adult-onset disability. The research approach takes account of the debate about the legitimacy of research into Indigenous Australians, Foucault‟s governmentality, and the arguments for different models of disability. The possibility of a cultural model of disability is raised. After a series of initial interviews with contacts who were primarily service providers, more detailed ethnographic research was conducted with three Indigenous women in their homes and with four groups of Indigenous women and men at an Indigenous respite centre. The research involved multiple visits over a period extending more than two years, and the establishment of relationships with all participants. An iterative inductive approach utilising constant comparison (i.e. a form of grounded theory) was adopted, enabling the generation and testing of working hypotheses. The findings point to the lack of an Indigenous construct of disability, related to the holistic construction of health among Indigenous Australians. Shame emerges as a factor which affects the way that Indigenous Australians respond to disability, and which operates in apparent contradiction to expectations of community support. Aspects of shame relate to governmentality, suggesting that self-disciplinary mechanisms have been taken up and support the more obvious exertion of government power. A key finding is the strength of Indigenous identity above and beyond other forms of identification, e.g. as a person with a disability, expressed in forms of resistance by individuals and service providers to the categories and procedures of the mainstream. The implications of a holistic construction of health are discussed in relation to the use of CMA, the interpretation of the “three bodies”, governmentality and resistance. The explanatory value of the concept of sympatricity is discussed, as is the potential value of a cultural model of disability which takes into account the cultural politics of a defiant Indigenous identity.

Dynamic weaving of aspects for business process management systems

Reducing complexity in Information Systems is a main concern in both research and industry. One strategy for reducing complexity is separation of concerns. This strategy advocates separating various concerns, like security and privacy, from the main concern. It results in less complex, easily maintainable, and more reusable Information Systems. Separation of concerns is addressed through the Aspect Oriented paradigm. This paradigm has been well researched and implemented in programming, where languages such as AspectJ have been developed. However, the rsearch on aspect orientation for Business Process Management is still at its beginning. While some efforts have been made proposing Aspect Oriented Business Process Modelling, it has not yet been investigated how to enact such process models in a Workflow Management System. In this paper, we define a set of requirements that specifies the execution of aspect oriented business process models. We create a Coloured Petri Net specification for the semantics of so-called Aspect Service that fulfils these requirements. Such a service extends the capability of a Workflow Management System with support for execution of aspect oriented business process models. The design specification of the Aspect Service is also inspected through state space analysis.

Side-band intensities in the deuterium magnetic resonance spectra of oriented molecules spinning near the magic angle

The appearance of spinning side bands in the 2H NMR spectra of oriented molecules is investigated. A theoretical interpretation of the side-band intensities is carried out. Information derived on the director orientation and distribution as a function of spinning speedis reported.

Interpretation of Services Marketing Concepts

Scholarly research has produced conceptual knowledge that is based on real-life marketing phenomena. An initial aim of past research has been to produce marketing knowledge as a base for efficient business operation and for the improvement of productivity. Thus, an assumption has been that the knowledge would be applied by organisations. This study focuses on understanding the use of marketing knowledge within the field of service marketing. Hence, even if marketing knowledge about service-oriented principles and marketing of services is based on empirical research, there is a lack of knowledge on how this marketing knowledge is in fact applied by businesses. The study focuses on four essential concepts of services marketing knowledge, namely service quality, servicescape, internal marketing, and augmented service offering. The research involves four case companies. Data is based on in depth interviews and questionnaire-based surveys conducted with managers, employees, and customers of these companies. All organisations were currently developing in a service-oriented and customer-oriented direction. However, we found limitations, gaps, and barriers for the implementation of service-oriented and customer-oriented principles. Hence, we argue that the organisations involved in the study exploited conceptual knowledge symbolically and conceptually, but the instrumental use of knowledge was limited. Due to the shortcomings found, we also argue that the implementation of the various practices and processes that are related to becoming service-oriented and customer-oriented has not been fully successful. Further, we have come to the conclusion that the shortcomings detected were at least in some respect related to the fact that the understanding and utilisation of conceptual knowledge of service-oriented principles and marketing of services were somewhat limited.

A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect.

Major developments in conulariid research: problems of interpretation and future perspectives

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

A flexible (C)LP-based approach to the analysis of object-oriented programs

Static analyses of object-oriented programs usually rely on intermediate representations that respect the original semantics while having a more uniform and basic syntax. Most of the work involving object-oriented languages and abstract interpretation usually omits the description of that language or just refers to the Control Flow Graph(CFG) it represents. However, this lack of formalization on one hand results in an absence of assurances regarding the correctness of the transformation and on the other it typically strongly couples the analysis to the source language. In this work we present a framework for analysis of object-oriented languages in which in a first phase we transform the input program into a representation based on Horn clauses. This allows on one hand proving the transformation correct attending to a simple condition and on the other being able to apply an existing analyzer for (constraint) logic programming to automatically derive a safe approximation of the semantics of the original program. The approach is flexible in the sense that the first phase decouples the analyzer from most languagedependent features, and correct because the set of Horn clauses returned by the transformation phase safely approximates the standard semantics of the input program. The resulting analysis is also reasonably scalable due to the use of mature, modular (C)LP-based analyzers. The overall approach allows us to report results for medium-sized programs.

Collocation, interpretation and explanation:the case of just any

This article discusses the question of compositionality by examining whether the indiscriminacy reading of the collocation of just with any can be shown to be a consequence of the schematic meaning-potential of each of these two items. A comparison of justwith other restrictive focus particles allows its schematic meaning to be defined as that of goodness of fit. Any is defined as representing an indefinite member of a set as extractable from the set in exactly the same way as each of the other members thereof. The collocation just any often gives rise to a scalar reading oriented towards the lowest value on the scale due to the fact that focus on the unconstrained extractability of a random indefinite item brings into consideration even marginal cases and the latter tend to be interpreted as situated on the lower end of the scale. The attention to low-end values also explains why just any is regularly found with the adjective old, the prepositional phrase at all and various devaluating expressions. It is concluded that the meanings of the component parts of this collocation do indeed account for the meaning of the whole, and that an appropriate methodology allows identification of linguistic meanings and their interrelations. © 2011 Elsevier B.V.

Evolution feature oriented model driven product line engineering approach for synergistic and dynamic service evolution in clouds: A04BPEL3.0 proposal.

Model Driven based approach for Service Evolution in Clouds will mainly focus on the reusable evolution patterns' advantage to solve evolution problems. During the process, evolution pattern will be driven by MDA models to pattern aspects. Weaving the aspects into service based process by using Aspect-Oriented extended BPEL engine at runtime will be the dynamic feature of the evolution.

Microstructural-based approach to the interpretation of clays and transitional soils behaviour

Tese (doutorado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Civil e Ambiental, 2016.

Foil rolling : a new interpretation of experimental results

This paper explores a new interpretation of experiments on foil rolling. The assumption that the roll remains convex is relaxed so that the strip profile may become concave, or thicken in the roll gap. However, we conjecture that the concave profile is associated with phenomena which occur after the rolls have stopped. We argue that the yield criterion must be satisfied in a nonconventional manner if such a phenomenon is caused plastically. Finite element analysis on an extrusion problem appears to confirm this conjecture.