Esta tese apresenta um processo para a criação de um catálogo de modelos de computação para apoiar o design de DSMLs, e a primeira versão do catálogo, com atributos que ajudam a selecionar os modelos de computação mais adequados para cada desenvolvimento de DSML, e as características dos sistemas de software para os quais esses modelos de computação são mais adequados. O contexto de aplicação desse catálogo é o Model-Driven Development (MDD desenvolvimento dirigido por modelos) a abordagem em que o desenvolvimento de software é baseado em modelos gráficos que são posteriormente traduzidos (transformados) em modelos de nível mais baixo e, no final, em código de linguagens de programação, tais como Java ou C#. A aplicação do processo gerou uma versão inicial do catálogo com os seguintes modelos de computação: diagramas BPMN, diagramas de classe da UML e regras de negócio. Visa-se contribuir para popularizar a abordagem de MDD com base em DSMLs e, em particular, a elaboração do design das DSMLs a partir de modelos de domínio, para o que o uso do catálogo efetivamente contribui. / This thesis presents a process for the creation of a catalog of models of computation to support the design of Domain-Specific Modeling Languages (DSMLs), and the first version of the catalog, which comprises attributes that aim to help the selection of the most suitable models of computation for each DSML development, and characteristics of software systems for which these models of computation are more appropriate. The context for the use of the catalog is the Model-Driven Development (MDD) - the approach where software development is based on graphical models that are subsequently translated (transformed) into lower-level models and, in the end, in source code in programming languages, such as Java or C #. The process was applied to generate an initial version of the catalog with the following models of computation: BPMN diagrams, UML class diagrams and business rules. It aims to contribute to popularize the MDD approach based in DSMLs, and in particular, the development of the DSMLs design from domain models, for which the use of the catalog effectively contributes.

Made available in DSpace on 2014-12-17T15:47:59Z (GMT). No. of bitstreams: 1 KeivilanyJLC_DISSERT.pdf: 3136956 bytes, checksum: 58f2931b21ff1ab0cd5e4e065e0d1aa4 (MD5) Previous issue date: 2012-02-06 / Conselho Nacional de Desenvolvimento Cient?fico e Tecnol?gico / The tracking between models of the requirements and architecture activities is a strategy that aims to prevent loss of information, reducing the gap between these two initial activities of the software life cycle. In the context of Software Product Lines (SPL), it is important to have this support, which allows the correspondence between this two activities, with management of variability. In order to address this issue, this paper presents a process of bidirectional mapping, defining transformation rules between elements of a goaloriented requirements model (described in PL-AOVgraph) and elements of an architectural description (defined in PL-AspectualACME). These mapping rules are evaluated using a case study: the GingaForAll LPS. To automate this transformation, we developed the MaRiPLA tool (Mapping Requirements to Product Line Architecture), through MDD techniques (Modeldriven Development), including Atlas Transformation Language (ATL) with specification of Ecore metamodels jointly with Xtext , a DSL definition framework, and Acceleo, a code generation tool, in Eclipse environment. Finally, the generated models are evaluated based on quality attributes such as variability, derivability, reusability, correctness, traceability, completeness, evolvability and maintainability, extracted from the CAF? Quality Model / O rastreamento entre modelos das atividades de requisitos e arquitetura ? uma estrat?gia que busca evitar a perda de informa??es, reduzindo o gap entre essas duas atividades iniciais do ciclo de vida do software. No contexto das Linhas de Produto de Software (LPS), ? importante que haja um suporte a esse rastreamento, que permita a correspond?ncia entre as duas atividades, com um gerenciamento satisfat?rio das variabilidades. Buscando atender a essa quest?o, este trabalho apresenta um processo de mapeamento bi-direcional, definindo regras de transforma??o entre elementos de modelo de requisitos orientado a objetivos (descrito em PL-AOVgraph) e elementos de descri??o arquitetural (definida em PL-AspectualACME). Essas regras de mapeamento s?o avaliadas em um estudo de caso: a LPS Ginga ForAll. Para automatizar essa transforma??o, implementamos a ferramenta MaRiPLA (Mapping Requirements to Product Line Architecture), atrav?s de t?cnicas do desenvolvimento dirigido a modelos (Model-driven Development MDD), incluindo a linguagem de transforma??es entre modelos Atlas Transformation Language (ATL) com especifica??o de metamodelos do tipo Ecore em conjunto com os frameworks Xtext, de defini??o DSL, e Acceleo, de gera??o de c?digo, em ambiente Eclipse. Por fim, os modelos gerados s?o avaliados, com base em atributos de qualidade como variabilidade, derivabilidade, reusabilidade, corretude, rastreabilidade, completude, evolutibilidade e manutenibilidade, extra?dos do Modelo de Qualidade CAF?

Made available in DSpace on 2014-12-17T15:48:02Z (GMT). No. of bitstreams: 1 LidianeOSS_DISSERT.pdf: 4948473 bytes, checksum: f3f2d84880d3d969d6a1a9ec6252b0ff (MD5) Previous issue date: 2012-05-23 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / The approach Software Product Line (SPL) has become very promising these days, since it allows the production of customized systems on large scale through product families. For the modeling of these families the Features Model is being widely used, however, it is a model that has low level of detail and not may be sufficient to guide the development team of LPS. Thus, it is recommended add the Features Model to other models representing the system from other perspectives. The goals model PL-AOVgraph can assume this role complementary to the Features Model, since it has a to context oriented language of LPS's, which allows the requirements modeling in detail and identification of crosscutting concerns that may arise as result of variability. In order to insert PL-AOVgraph in development of LPS's, this paper proposes a bi-directional mapping between PL-AOVgraph and Features Model, which will be automated by tool ReqSys-MDD. This tool uses the approach of Model-Driven Development (MDD), which allows the construction of systems from high level models through successive transformations. This enables the integration of ReqSys-MDD with other tools MDD that use their output models as input to other transformations. So it is possible keep consistency among the models involved, avoiding loss of informations on transitions between stages of development / A abordagem de Linha de Produto de Software (LPS) tem se tornado bastante promissora nos dias de hoje, uma vez que permite a produ??o de sistemas customizados em larga escala, atrav?s de fam?lias de produtos. Para a modelagem destas fam?lias o Modelo de Features tem sido muito utilizado, no entanto, se trata de um modelo que apresenta baixo n?vel de detalhamento, podendo n?o ser suficiente para orientar a equipe de desenvolvimento da LPS. Dessa forma, ? recomend?vel agregar o Modelo de Features a outros modelos que representem o sistema sob outras perspectivas. O Modelo de Metas PL-AOVgraph pode assumir esta fun??o complementar ao Modelo de Features, uma vez que possui uma linguagem voltada para o contexto das LPS s, que permite a modelagem de requisitos de forma detalhada e a identifica??o de caracter?sticas transversais, que podem surgir em decorr?ncia da variabilidade. Com o objetivo de inserir PL-AOVgraph no processo de desenvolvimento das LPS s, este trabalho prop?e um mapeamento bi-direcional entre PLAOVgraph e Modelo de Features, que ser? automatizado pela ferramenta ReqSys-MDD. Esta ferramenta utiliza a abordagem de Desenvolvimento Orientado a Modelos (Model-Driven Development MDD), que permite a constru??o de sistemas a partir de modelos de alto n?vel, atrav?s de transforma??es sucessivas. Isto possibilita a integra??o de ReqSys-MDD com outras ferramentas MDD que utilizem seus modelos de sa?da como entrada para outras transforma??es. Assim, ? poss?vel manter a consist?ncia entre os modelos envolvidos, evitando a perda de informa??es nas transi??es entre as etapas de desenvolvimento

Made available in DSpace on 2014-12-17T15:48:03Z (GMT). No. of bitstreams: 1 ThiagoPS_DISSERT.pdf: 3143029 bytes, checksum: 0f97ea16a97dc298694ca58c37e62914 (MD5) Previous issue date: 2012-08-06 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / Typically Web services contain only syntactic information that describes their interfaces. Due to the lack of semantic descriptions of the Web services, service composition becomes a difficult task. To solve this problem, Web services can exploit the use of ontologies for the semantic definition of service s interface, thus facilitating the automation of discovering, publication, mediation, invocation, and composition of services. However, ontology languages, such as OWL-S, have constructs that are not easy to understand, even for Web developers, and the existing tools that support their use contains many details that make them difficult to manipulate. This paper presents a MDD tool called AutoWebS (Automatic Generation of Semantic Web Services) to develop OWL-S semantic Web services. AutoWebS uses an approach based on UML profiles and model transformations for automatic generation of Web services and their semantic description. AutoWebS offers an environment that provides many features required to model, implement, compile, and deploy semantic Web services / Tipicamente servi?os Web cont?m apenas informa??es sint?ticas que descrevem suas interfaces e a falta de descri??es sem?nticas torna a composi??o de servi?osWeb uma tarefa dif?cil. Para resolver este problema, pode-se usar ontologias para a defini??o sem?ntica da interface dos servi?os, facilitando a automa??o da descoberta, publica??o, media??o, invoca??o e composi??o dos servi?os. No entanto, linguagens que permitem se descrever semanticamente servi?os Web utilizando ontologias, como OWL-S, t?m constru??es que n?o s?o f?ceis de entender, mesmo para desenvolvedoresWeb, e as ferramentas existentes levam aos usu?rios muitos detalhes que as tornam dif?ceis de serem manipuladas. Este trabalho apresenta uma ferramenta chamada AutoWebS (Automatic Generation of Semantic Web Services) para o desenvolvimento de servi?os Web sem?nticos. O AutoWebS usa uma abordagem baseada em perfis UML e transforma??es entre modelos para a gera??o autom?tica de servi?osWeb e sua descri??o sem?ntica em OWL-S. O AutoWebS disponibiliza um ambiente que oferece recursos para modelar, implementar, compilar e implantar servi?os Web sem?nticos

Syftet med detta projekt är att med hjälp av en materialinriktad designprocess skapa en produkt av biokompositmaterialet OrganoComp® för att demonstrera dess styrkor och möjligheter. Arbetet kommer att följa metoden ”Material Driven Design (MDD)”, vilket betyder att processen kommer att börja med en noggrann studie av materialet – dels tekniskt och ur ett användarcentrerat perspektiv, men även jämförelsemässigt mot andra material. Insikterna från dessa studier kommer sedan trattas ner och sammanfattas i en ”designintention” som ska sätta målet för designarbetet. Slutligen kommer ett antal koncept som uppfyller designintentionen arbetas fram, varav ett koncept – ett litet, ihopvikbart och nedbrytbart paraply/regnskydd kommer att väljas ut som det slutgiltiga. Paraplyet visar på materialets vattenavvisande egenskaper, i kombination med hårdhet och vikbarhet.  Målet med projektet är att skapa en demonstrator som även har potential att bli en användbar produkt i framtiden, och samtidigt ge företaget OrganoClick nya insikter och flera förslag på nya användningsområden för sitt material.

Regelverket för medicintekniska produkter är omfattande och medicintekniska företag lägger idag stora resurser på att säkerställa att deras produkter uppfyller de lagar och krav som finns. Detta arbete beskriver författarnas bidrag till CE-märkningsprocessen på det nystartade företaget LARA Diagnostics första produkt, en handhållen enhet för utvärdering av perifer neuropati samt hur processen att CE-märka en medicinteknisk produkt generellt går till för ett mindre eller nystartat företag. Arbetet syftar till att visa vilka utmaningar mindre bolag har i synnerhet vid processen att CE-märka sin första produkt samt vad företag kan göra för att effektivisera sin process. I arbetet visas att mindre företag kan effektivisera sin process genom att: Tidigt lägga grunden till CE-märkningen. Se till att rätt kompetens finns eller införskaffas utifrån Redan i produktutvecklingen säkerställa att väsentliga krav uppfylls, gärna genom att följa harmoniserade standarder. Arbetet visar även att kraven inom det regulatoriska området för medicintekniska produkter blir hårdare med tiden och att den utvecklingen förväntas fortsätta. / The regulatory framework for medical devices is extensive and the medical device industry spends considerable resources on ensuring that their products comply with existing laws and requirements. This paper describes the authors’ contribution to the CE marking process of the very first product from the startup company LARA Diagnostics, a handheld device for the evaluation of peripheral neuropathy, as well as how the process of CE marking a medical device is carried out in general for a small or startup business. The work aims to point out the challenges for smaller companies in particular to get their first product certified, but also what can be done to streamline that process. The paper shows that small companies can improve the process by: Laying the foundation for CE marking early in the process. Ensure that the right skills exist internally or are acquired externally. Making sure that essential requirements are met early in the product development life cycle, preferably by adhering to harmonized standards. The paper also shows that the requirements within the regulatory framework for medical devices are becoming stricter over time and that this trend is expected to continue.

It is estimated that approximately 30% of individuals worldwide are affected by mental health problems during their lifetime. Currently, Major Depressive Disorder (MDD) is one of the most prevalent psychiatric disorders and a leading cause of non-lethal disability worldwide. However, despite exposure to known risk factors for MDD, human responses to it vary widely. Whilst some individuals develop MDD, others develop only mild and transient symptoms or no depressive symptomology at all. This ability to 'bounce back' from or 'escape' the development of psychiatric illness is referred to as psychological resilience (Chapter 1). Scientific and clinical interest in resilience has grown exponentially over recent decades, but wide discrepancies are still found in both its definition and measurement. As such, resilience is rarely measured directly, but inferred from the measurement of two specific points of convergence; adversity (its antecedents) and positive adaptation (its consequences). Whilst the study of adversity and positive adaptation has informed our knowledge of resilience it often fails to consider other putative risk factors for MDD (such as genetics), or potential protective factors that may foster resilience despite risk. More recently, examining protective factors have become a focus of research in relation to resilience. This research suggests that numerous protective factors coalesce to contribute to resilient outcomes which give rise to a dynamic resilience process that varies contextually and temporally. Although investigating resilience may be expected to reveal similar findings to studying MDD itself, it does represent a new facet to scientific and clinical research. Specifically, resilience focuses on intervention long before the development of MDD when effects on subsequent suffering may be ameliorated. For this reason, it is imperative to address the concept of resilience, concentrating on the core components of adversity, positive adaptation and protective factors, to move beyond description towards an understanding of individual differences in resilience (Chapter 2). In this thesis, three studies will be presented which aim to examine psychological resilience from multiple perspectives to further delineate the concept. In Chapter 3, the associations and interactions between neuroticism and general intelligence (g) on MDD, and psychological distress were examined in GS:SFHS (Generation Scotland: Scottish Family Health Study) to investigate whether g mitigates the detrimental effects of neuroticism on mental health, as such an association has previously been identified for physical health and mortality. A larger replication was also performed in UK Biobank using a self-reported measure of depression. Across two large samples it was found that intelligence provides protection against psychological distress and self-reported depression in individuals high in neuroticism, but intelligence confers no such protection against clinical MDD in those high in neuroticism. In Chapter 4, a new dataset is presented which was designed to investigate psychological resilience and mental health. Specifically, the STRADL (Stratifying Resilience and Depression Longitudinally) dataset aimed to re-contact existing GS:SFHS participants to obtain repeat measures of MDD and psychological distress in addition to obtaining data on resilience, coping style and adverse life experiences. This dataset has the potential to identify mechanisms and pathways to resilience but also elucidate causal mechanisms and pathways of depression sub-types. Chapter 5 investigated whether neuroticism and resilience are downstream mediators of genetic risk for depression, and whether they contribute independently to such risk. Specifically, the moderating and mediating relationships between polygenic risk scores (PRS) for depression, neuroticism, resilience, and both clinical and self-reported MDD were examined in STRADL. Regression analyses indicated that neuroticism and PRS for depression independently associated with increased risk for both clinical and self-reported MDD, whereas resilience associated with reduced risk. Structural equation modelling suggested that polygenic risk for depression associates with vulnerability for both clinical and self-reported MDD through two partially independent mediating mechanisms in which neuroticism increases vulnerability and resilience reduces it. In Chapter 6, the proportion of phenotypic variance that is attributable to genetic and shared-familial environment was estimated for resilience and three main coping styles; task-, emotion-, and avoidance-oriented coping. Bivariate analyses were conducted to estimate the genetic correlations between these traits and neuroticism. Our results indicate that common genetics affect both resilience and coping style. However, in addition, early shared-environmental effects from the nuclear family influence resilience whereas recent shared-environment effects from a spouse influence coping style. Furthermore, strong genetic overlap between resilience, emotion-oriented coping, and neuroticism suggests a relationship whereby genetic factors that increase negative emotionality lead to decreased resilience. These studies highlight the necessity for complementary multivariate techniques in resilience research to elucidate tractable methodologies to potentially identify mechanisms and modifiable risk factors to protect against psychiatric illness (Chapter 7).

Recent research in Australia has found that people with a mental illness experience higher mortality rates from preventable illnesses, such as cardiovascular disease, respiratory disease and diabetes compared to the general population. Lifestyle and other behavioural factors contribute significantly to these illnesses. Lifestyle behaviours that affect these illnesses include lack of physical activity, consumption of a poor diet and cigarette smoking. Research on the influence of these factors has been mainly directed towards the mainstream population in Australia. Consequently, there remains limited understanding of health behaviours among individuals with psychiatric disabilities, their health needs, or factors influencing their participation in protective health behaviours. This thesis presents findings from two studies. Study 1 evaluated the utility of the main components of Roger’s (1983) Protection Motivation Theory (PMT) to explain health behaviours among people with a mental illness. A clinical population of individuals with schizophrenia (N=83), Major Depressive Disorder (MDD) (N=70) and individuals without a mental illness (N=147) participated in the study. Respondents provided information on intentions and self-reported behaviour of engaging in physical activity, following a low-fat diet, and stopping smoking. Study 2 investigated the health care service needs of people with psychiatric disabilities (N=20). Results indicated that the prevalence of overweight, cigarette smoking and a sedentary lifestyle were significantly greater among people with a mental illness compared to that reported for individuals without a mental illness. Major predictors of the lack of intentions to adopt health behaviours among individuals with schizophrenia and MDD were high levels of fear of cardiovascular disease, lack of knowledge of correct dietary principles, lower self-efficacy, a limited social support network and a high level of psychiatric symptoms. In addition, findings demonstrated that psychiatric patients are disproportionately higher users of medical services, but they are under-users of preventive medical care services. These differences are primarily due to a lack of focus on preventive health, feelings of disempowerment and lower satisfaction of patient-doctor relationships. Implications of these results are discussed in terms of designing education and preventive programs for individuals with schizophrenia and MDD.

Actualmente, uno de los principales retos de la Ingeniería del Software (IS) es el desarrollo de sistemas de calidad. La calidad es una propiedad del software que cuenta con diversas características, entre ellas la usabilidad, que es en la que se centra esta tesis. La IS se ha centrado históricamente en problemas de funcionalidad y de persistencia, relegando a un segundo plano aspectos de la interacción con el usuario, y más concretamente, de la usabilidad. Este vacío ha sido cubierto por la comunidad Interacción Persona-Ordenador (IPO), que ha propuesto recomendaciones para mejorar la usabilidad. Algunas de estas recomendaciones deben ser consideradas desde las primeras fases de construcción de los sistemas a fin de evitar realizar cambios en la arquitectura una vez ésta haya sido diseñada. Estas recomendaciones se conocen como Functional Usability Features (FUF). La incorporación de los FUFs desde las primeras fases del proceso de desarrollo añade cierta complejidad a la construcción de sistemas, ya que el analista ha de tener en cuenta más factores a la hora del desarrollo. Esta tesis presenta una solución basada en transformaciones entre modelos. El objetivo de la tesis es el de presentar un método (llamado MIMAT) para incorporar los FUFs dentro de un método de desarrollo Model-Driven Development (MDD). Para ello, se profundiza en los cambios que el diseñador del método MDD debe aplicar para enriquecer dicho método con los FUFs. Una vez incorporados los FUFs, el analista que modele sistemas con el método MDD puede utilizar las características de usabilidad en el desarrollo de sistemas. La principal ventaja de esta aproximación es que el analista puede incorporar las características de usabilidad simplemente a partir de modelos conceptuales, dejando la implementación a las transformaciones de modelo a código. La factibilidad de MIMAT se ha demostrado aplicándolo a un método de desarrollo MDD específico: OO-Method. / Panach Navarrete, JI. (2010). Incorporación de mecanismos de usabilidad en un entorno de producción de software dirigido por modelos [Tesis doctoral no publicada]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/8379 / Palancia

Pour s’imposer sur ce marché de consommation alimentaire fortement concurrentiel, les enseignes de la grande distribution se sont attelées au terroir et à ses produits. Aujourd’hui, les MDD de terroir, porteuses de différenciation, sont les seules à progresser confirmant l’intérêt croissant des consommateurs pour ce type de produit. Le terroir devient un enjeu à la fois en termes de pratique de consommation et de marché alimentaire. L’objectif de recherche est de montrer comment les MDD de terroir contribuent à construire la légitimité de l’enseigne de distribution lui permettant, d’une part, d’accéder aux meilleures ressources locales afin de disposer d’un avantage compétitif et, d’autre part, de créer des conditions nécessaires de conformité en réponse aux pressions de l’environnement qui brouillent et/ou menacent sa légitimité et le sens de ses actions. Pour répondre à la question de recherche le cadre théorique mobilise trois champs théoriques : les concepts image terroir et valeur de consommation, le marketing relationnel sur le comportement du consommateur expliqué notamment par la satisfaction et la confiance et la légitimité élément central de la sociologie néo-institutionnelle. La méthodologie mixte adoptée combine approches qualitative (20 interviews) et quantitative (631 répondants en deux enquêtes) et démontre l’effet positif significatif de l’interaction image terroir – valeur perçue de consommation de la MDD de terroir sur la légitimité territoriale perçue de l’enseigne. La légitimité territoriale perçue participe à la construction de la confiance et médiatise les effets de l’image de la MDD de terroir et de la valeur perçue sur la satisfaction, la confiance en la MDD et la confiance envers l’enseigne. / To impose themselves on the very competitive food consumption market, mass-marketing retailers have tackled the terroir and its regional food products. Today, store-brand regional products, which contribute to differentiation, are the only products whose market share continues to grow. This phenomenon reaffirms the consumers’ increasing interest for this type of products. Regional food products are becoming a new challenge not only in regards to consumption habits but also in regards to the food industry. The first goal of the research is to show how store-brand regional products contribute to building up the legitimacy of the brand by allowing it access to the best local/regional resources in order to obtain a competitive advantage. Its second goal is to create the necessary compliance requirements, in response to the pressure from the environment which confuses and/or threatens its legitimacy and the meaning of its actions. To answer the research question, the theoretical framework mobilizes three theoretical fields: terroir/regional image concepts and consumption value, as well as relationship marketing based on the consumer’s behavior and explained in particular by satisfaction, trust and the central legitimacy component of sociological institutionalism. The mixed methodology combines both a qualitative (20 interviews) and a quantitative approach (631 persons answered the two surveys). It also demonstrates the significant positive effect of the regional image interaction – how the store-brand regional consumption value and the territorial legitimacy of the brand are perceived. The territorial legitimacy contributes to building up confidence and gives media attention to the store-brand regional image and to the perceived value of the satisfaction and the confidence towards the brand.