Objectives: The aim of the two exploratory studies presented here, was to investigate expert-novice cognitive performance in the field of dietetic counseling. More specifically, the purpose was to characterize the knowledge used and the cognitive reasoning strategies of expert, intermediate and novice dietitians during their assessment of clinical vignettes of simulated dyslipidemia cases. Background: Since no studies have been conducted on the expert-novice differences in knowledge utilization and reasoning in the field of dietetics, literature from various domains looking at expert-novice decision-making was used to guide the studies presented here. Previous expert-novice research in aspects of health such as counseling and diagnostic reasoning among physicians and nurses has found differences between in the way experts extract and apply knowledge during reasoning. In addition, various studies illustrate an intermediate effect, where generalist performance is somewhat poorer than that of experts and novices. Methods: The verbal protocols of expert (n=4), generalist (n=4), and novice (n=4) dietitians were analyzed, using propositional analysis. Semantic networks were generated, and used to compare reasoning processes to a reference model developed from an existing Dyslipidemia care map by Brauer et al, (2007, 2009). Detailed analysis was conducted on individual networks in an effort to obtain better understanding of cue utilization, concept usage, and overall cohesiveness during reasoning. Results: The results of the first study indicate no statistical differences in reasoning between novices, generalist and experts with regards to recalls and inferences. Interesting findings in the study also suggest that discussions of the terms “dietary fat” and “cholesterol” by individuals in each level of expertise had qualitative differences. This may be reflective of the information provided in the case scenearios to each participating dietitian. Furthermore, contrary to previous studies in expert-novice reasoning, an intermediate effect was not evident. The results of the second study show a statistical difference in data driven (forward) reasoning between experts and novices. There was no statistical difference in hypothesis driven (backward) reasoning between groups. The reasoning networks of experts appear to reveal more concise explanations of important aspects related to dyslipidemia counseling. Reasoning patterns of the expert dietitians appear more coherent, although there was no statistical difference in the length or number of reasoning chains between groups. With previous research focusing on diagnostic reasoning rather than counseling, this finding may be a result of the nature of the underlying task. Conclusion: The studies presented here serve as a basis for future expert-novice research in the field of dietetics. The exploration of individual verbal protocols to identify characteristics of dietitians of various levels of expertise, can provide insight into the way knowledge is used and applied during diet counseling. Subsequent research can focus on randomized sample selection, with case scenarios as a constant, in order to obtain results that can be generalized to the greater dietitian population.

In the context of supply contract design, the more powerful party has the lib- erty of withholding private information which also improves its bargaining power. Traditionally, the supplier (e.g., manufacturer) has been more powerful, and, hence, the existing literature in the area emphasizes supplier-driven contracts. However, in some current markets, such as the grocery channel, the bargaining power has shifted to the buyer (e.g., retailer). For example, in the United States, large retailers, such as Wal-Mart, exert tremendous market power over their suppliers. Also, with the advent of the Internet, buyers have gained access to much more information about multiple potential suppliers. Hence, this dissertation takes into account the recent trends in power shifting between suppliers and buyers, and it attempts to provide a comparison of optimal supply contract designs in supplier- versus buyer-driven chan- nels. This research is unique in that we explore the impact of both power shifting and information asymmetry while designing optimal supply chain contracts under supply uncertainty and competition. Placing an emphasis on the cases of stochastic and/or price-sensitive demand, we work on several novel problems in stochastic mod- eling, nonlinear and dynamic optimization, and game theory. Hence, this research has roots in applied probability, optimization, inventory theory, game theory, and eco- nomics. The goal is to advance our practical knowledge of designing implementable contracts because such knowledge is crucial for optimizing supply chain performance in the real world. This dissertation provides insights about * the individual and joint impacts of the power structure and information asym- metry on supply chain performance, * the value of information for contract design in supplier- versus buyer-driven channels, * the impact of supply uncertainty and supplier competition on contract design in supplier- versus buyer-driven channels.

Poster presented at ALA Annual Conference 2013, Chicago, IL / As the University of Arizona Libraries employ a 21st century user-centered approach to information resource management, we have adopted a Patron-Driven Acquisitions program. Fundamentally, the program is based on the model of users as the drivers of library acquisitions. By embedding order records in the library catalog and by identifying user needs through interlibrary loan requests, the library is able to acquire targeted information resources that more efficiently meet the research needs of our users. This service significantly enhances the user experience and allows the UA Libraries to see greater use of our resources.

Objectives: The aim of the two exploratory studies presented here, was to investigate expert-novice cognitive performance in the field of dietetic counseling. More specifically, the purpose was to characterize the knowledge used and the cognitive reasoning strategies of expert, intermediate and novice dietitians during their assessment of clinical vignettes of simulated dyslipidemia cases. Background: Since no studies have been conducted on the expert-novice differences in knowledge utilization and reasoning in the field of dietetics, literature from various domains looking at expert-novice decision-making was used to guide the studies presented here. Previous expert-novice research in aspects of health such as counseling and diagnostic reasoning among physicians and nurses has found differences between in the way experts extract and apply knowledge during reasoning. In addition, various studies illustrate an intermediate effect, where generalist performance is somewhat poorer than that of experts and novices. Methods: The verbal protocols of expert (n=4), generalist (n=4), and novice (n=4) dietitians were analyzed, using propositional analysis. Semantic networks were generated, and used to compare reasoning processes to a reference model developed from an existing Dyslipidemia care map by Brauer et al, (2007, 2009). Detailed analysis was conducted on individual networks in an effort to obtain better understanding of cue utilization, concept usage, and overall cohesiveness during reasoning. Results: The results of the first study indicate no statistical differences in reasoning between novices, generalist and experts with regards to recalls and inferences. Interesting findings in the study also suggest that discussions of the terms “dietary fat” and “cholesterol” by individuals in each level of expertise had qualitative differences. This may be reflective of the information provided in the case scenearios to each participating dietitian. Furthermore, contrary to previous studies in expert-novice reasoning, an intermediate effect was not evident. The results of the second study show a statistical difference in data driven (forward) reasoning between experts and novices. There was no statistical difference in hypothesis driven (backward) reasoning between groups. The reasoning networks of experts appear to reveal more concise explanations of important aspects related to dyslipidemia counseling. Reasoning patterns of the expert dietitians appear more coherent, although there was no statistical difference in the length or number of reasoning chains between groups. With previous research focusing on diagnostic reasoning rather than counseling, this finding may be a result of the nature of the underlying task. Conclusion: The studies presented here serve as a basis for future expert-novice research in the field of dietetics. The exploration of individual verbal protocols to identify characteristics of dietitians of various levels of expertise, can provide insight into the way knowledge is used and applied during diet counseling. Subsequent research can focus on randomized sample selection, with case scenarios as a constant, in order to obtain results that can be generalized to the greater dietitian population.

En este trabajo de tesis se describirá una técnica de modelado centrado en mockups, introduciéndola primero con MockupDD Web. Luego de haber ejemplificado el desarrollo centrado en mockups para metodologías MDWE, se describirá un marco general para el modelado sobre mockups (lo que se referenciará como metodología MockupDD general) y una instanciación particular de esta metodología además de la ya presentada para la Web. Las principales contribuciones de la metodología MockupDD y sus especializaciones son: (1) Mejorar el workflow en cascada de las metodologías MDD tradicionales (en especial, aquellas MDWE) para permitir acortar las iteraciones y permitir a usuarios finales y clientes involucrados interactuar más rápidamente son el software generado, agilizando el proceso. (2) Mejorar la productividad en el modelado de aplicaciones a través de la técnica de modelado de aplicaciones sobre mockups reduciendo sus errores y tiempo requerido, como se mostrará luego en las secciones de validación (3) Introducir a clientes y usuarios finales en el proceso de desarrollo, utilizando artefactos de especificación de requerimientos de fácil comprensión para los mismos en lugar de conceptos de modelado comprensibles sólo para desarrolladores. En este contexto se utilizarán mockups y diferentes técnicas de anotación y especificación de requerimientos formales sobre los mismos. (4) La implementación de un lenguaje de modelado sobre mockups con diferentes vistas, satisfaciendo al mismo tiempo la necesidad de comprensión de requerimientos por parte de los usuarios finales y las capacidades técnicas requeridas por los desarrolladores. (5) Con ayuda de esta versatilidad del lenguaje y del uso de mockups (los cuales son comprensibles en su totalidad por usuarios finales), proveer un método de modelado más trazable desde el punto de vista de los requerimientos.

国立情報学研究所で電子化したコンテンツを使用している。

This thesis elaborates the Model-Driven Software Modernization (MDSM), that has been identified by us, and is defined as a group of approaches toward modernization of legacy code. MDSM approaches are based on models, tools and processes known from the Model-Driven Engineering (MDE) that aims in automation of modernization process. This thesis describes identified MDSM approaches and related standards. Additionally, it suggests that certain kinds of modernization can be implemented in a more efficient way, when a new approach, that has been proposed by the authors, is used. An exemplary modernization, that solves selected industry problem, is implemented to demonstrate that the alternative approach is feasible. In addition, the availability of tools for MDA, which can be adopted in MDSM process, is discussed and guidelines for implementing MDSM are proposed.

A software component model is the cornerstone of any Component-based Software Development (CBSD) methodology. Such a model defines the modelling elements for constructing software systems. In software system modelling, it is necessary to capture the three elements of a system's behaviour: (i) control (ii) computation and (iii) data. Within a system, computations are performed according to the flow of control or the flow of data, depending on whether computations are control-driven or data-driven. Computations are function evaluations, assignments, etc., which transform data when invoked by control or data flow. Therefore a component model should be able to model control flow, data flow as well as computations. Current component models all model computations, but beside computations tend to model either control flow only or data flow only, but not both. In this thesis, we present a new component model which can model both control flow and data flow. It contains modelling elements that capture control flow and data flow explicitly. Furthermore, the modelling of control flow is separate from that of data flow; this enables the modelling of both control-driven and data-driven computations. The feasibility of the model is shown by means of an implementation of the model, in the form of a prototype tool. The usefulness of the model is then demonstrated for a specific domain, the embedded systems domain, as well as a generic domain. For the embedded systems domain, unlike current models, our model can be used to construct systems that are both control-driven and data-driven. In a generic domain, our model can be used to construct domain models, by constructing control flows and data flows which together define a domain model.

This thesis presents our method to integrate formal methods with model-driven engineering. Although a large amount of literature exists with the goal of facilitating the adoption of formal methods for educational and industrial practice, yet the adoption of formal methods in academia and industry is poor. The goal of this research is to improve the adoption of formal methods by automating the generation of formal methods code while maintaining scalability and bridging the gaps between formal analysis and actual implementation of the complete system. Our approach is based on generating formal representations of software abstractions expressed in a textual language, called Umple, which is derived from UML. Software abstractions of interest include class models and state machines. For state machines, we address concerns such as composite and concurrent states separately. The resulting systems are analyzable by back-end analysis engines such as Alloy and nuXmv or NuSMV for model checking. To ensure correctness of our approach, we have adopted simulation, empirical studies and rigorous test-driven development (TDD) methodologies. To guarantee correctness of state machine systems under analysis (SSUAs), we present methods to automatically generate specifications to analyze domain-independent properties such as non-determinism and reachability analysis. We apply these methods in various case studies; certify their conformance with sets of requirements and uncover certain flaws. Our contributions include a) The overall approach, involving having the developer write the system in Umple and generating both the formal system for analysis and the final code from the same model; b) a novel approach to encode SSUAs even in the presence of and-cross transitions; c) a fully automated approach to certify an SSUA to be free from nondeterminism even in the presence of unbounded domains and multiple and-cross transitions within the same enclosing orthogonal state; d) an empirical study of the impact of abstraction on some performance parameters; and e) a translator from Umple to Alloy and SMV.

O surgimento e o uso crescente de novas tecnologias têm levado à produção e armazenamento de grandes volumes de dados biomédicos. Tais dados são provenientes de diferentes técnicas, armazenados em formatos de representação diversos e utilizados por diferentes ferramentas. Esta heterogeneidade representa um empecilho ao maior uso desses dados em abordagens integrativas de pesquisa como, por exemplo, a biologia sistêmica. Neste cenário, artefatos de modelagem conceitual, tais como ontologias, têm sido utilizados para organizar e integrar dados heterogêneos de uma forma coerente. A OBO Foundry representa, atualmente, o maior esforço no desenvolvimento de ontologias biomédicas de forma colaborativa. Dentre as ontologias desenvolvidas pela OBO Foundry, destaca-se Ontologia de Relacionamentos (RO-OBO). A RO-OBO provê definições formais para um conjunto de relacionamentos de propósito geral utilizados nas ontologias biomédicas e busca promover a criação de ontologias mais corretas e integráveis. Um perfil UML foi proposto para representar formalmente o conjunto de conceitos e relacionamentos existentes na RO-OBO. Este perfil permite desenvolver modelos UML utilizando os conceitos presentes nesta ontologia, bem como torna possível o desenvolvimento de suporte à validação sintática dos modelos criados em relação a um conjunto de restrições formalmente definidas. Adicionalmente, percebe-se na literatura que o suporte à integração de modelos UML e ontologias OBO, em particular as ontologias representadas na linguagem OBO File Format, é limitado. Neste sentido, este trabalho teve como objetivo geral investigar o suporte ao desenvolvimento de ontologias biomédicas na linguagem UML. De forma específica, investigou-se o desenvolvimento de um editor gráfico, chamado OBO-RO Editor, para o suporte à construção de ontologias utilizando o perfil UML proposto, bem como a integração de ontologias desenvolvidas utilizando UML e ontologias desenvolvidas na linguagem OBO File Format. De forma a atingir nossos objetivos, uma arquitetura de referência foi definida e um processo de desenvolvimento orientado a modelos foi utilizado. A arquitetura definida é composta por uma série de artefatos inter-relacionados os quais são transformados (semi) automaticamente em código de aplicação, possibilitando a obtenção de ciclos de desenvolvimento mais rápidos e confiáveis. O OBO-RO Editor disponibiliza um conjunto de elementos gráficos de modelagem definidos a partir do perfil UML proposto, bem como provê mecanismos para a validação sintática (semi) automática de uma ontologia desenvolvida segundo as restrições definidas neste perfil. Adicionalmente, o OBO-RO Editor também provê suporte à integração de modelos UML a outras ontologias da OBO Foundry, permitindo o reuso e o desenvolvimento menos propenso a erros de ontologias no domínio biomédico. / The development and increasing use of new technologies has resulted in the production and storage of a huge amount of biomedical data. These data are produced using different techniques, stored in different formats and consumed by different (software) tools. This heterogeneity hinders effective data usage in integrative research approaches, including systems biology. In this scenario, conceptual modeling artifacts, such as ontologies, have been used to organize and integrate heterogeneous data in a coherent manner. Nowadays, the OBO Foundry represents the most important effort for the collaborative development of ontologies in the biomedical domain. The OBO Relation Ontology (OBO-RO) can be considered one of the most relevant ontologies in the domain. This ontology provides formal definitions for a number of general purpose relationships used in biomedical ontologies, thus facilitating the integration of existing ontologies and the development of new ontologies in the domain. An UML profile has been proposed to formally define the different types of concepts and relationships provided by the OBO-RO. This profile enables the creation of UML models using such concepts and allows the development of support for the automatic validation of these models based on formal constraints. Additionally, the support for the integration between UML models and OBO ontologies, particularly ontologies represented using the OBO File Format, is limited. In this sense, this project aimed at investigating the support for the development of biomedical ontologies using UML. In particular, we investigated the development of a graphical editor, named OBO-RO Editor, to support ontology development using the proposed UML profile. Additionally, we also investigated the integration of ontologies developed using UML and ontologies developed using the OBO File Format. In order to achieve our goals, we have defined a reference architecture and a model-driven development process. The reference architecture consists of a number of related artifacts that are transformed to application code (semi) automatically. Such characteristic allowed us to obtain faster and more reliable development cycles. The OBO-RO Editor provides a number of graphical elements defined in the proposed UML profile for the modeling of biomedical ontologies and support the (semi) automatic syntactic validation of such ontologies against the contraints defined in the profile. Additionally, OBO-RO Editor also provides support for the integration of developed UML models and other OBO ontologies, allowing the reuse and the accurate development of biomedical ontologies.