The aim of this project is to improve the planning support system LEAM for use in Stockholm, as well as to use it as a tool in investigating which factors drive development in the Stockholm region, and how this can be used to guide future development to be as sustainable as possible. The details of the data assembly and modifications made for the improvement of LEAM Stockholm are included in this report, together with suggestions for further improvements. Four different scenarios for development in Stockholm were tested during this project, and the results of these scenarios are included here. Based on these scenarios, transportation (road) networks and growth limitations imposed by the planning authorities (no-growth zones and municipal density targets) were found to be those drivers which have the biggest effect on directing the urban growth. These drivers could also be used effectively in guiding urban development for improved watershed management and reduced urban greenhouse gas emissions.

As organizations continue to grow in size, reaching global proportions, they have ever increasing impacts on their environments. Some believe that a much broader array of concerns should be brought into organizational decision-making processes, including greater consideration of social, political, ethical and aesthetic factors (Mitroff and Linstone, 1993; Courtney, 2001). Decision environments such as these are decidedly "wicked" (Rittel and Webber, 1973). Designing decision support systems in such environments where there is a high level of interconnectedness, issues are overlapping and a multiplicity of stakeholders is involved, is a very complex task. In this dissertation a methodology for the development of a DSS for wicked situations is proposed using the design theory building process suggested by Walls et al. (1992). This proposed theory is based on dialectic theory and the multiple perspective approach suggested by Linstone and Mitroff (1993). The design process consists of identifying relevant stakeholders, their respective worldviews, and conflicts in these worldviews. A design (thesis) and "counter design" (antithesis) are created, and a prototype systems based on these designs are developed. These prototypes are then presented to the different stakeholder groups who engage in a dialogue which leads to the development of a synthesized design. The process is repeated until all conflicts are resolved or resources are exhausted, and a final system is produced. Using action research and system development research methodologies, the proposed design theory was applied to zoning decision process in Orange County, Florida. The results of this study led to the following: 1. It is feasible to implement the MPDP methodology proposed in this dissertation. 2. The MPDP methodology resulted in a synthesized design that accommodates the different views of the stakeholders. 3. The MPDP methodology is suitable for contentious situations and may not be feasible for structured decisions. 4. Most of the subjects did achieve a more understanding of the decision process. These results suggest that the MPDP design theory can be effective in developing decision support systems in contentious situations.

This work explores the acceptability of various persuasive design principles for pediatric users of a digital, asthma self-management solution. While persuasive design methods have been shown to motivate adherence to digital self-management, effective persuasion is highly context-dependent. The gap in research on persuasive design for younger users of asthma self-management applications raises the question of which persuasive principles are acceptable for this group’s unique context. This question is explored through the Persuasive Systems Design model. Based on interviews and workshop feedback from physicians, six persuasive principles were chosen for a redesign of an existing asthma self-management solution. The prototype was evaluated for potential acceptability by user proxies. The Personalization and Simulation persuasive principles were perceived as most acceptable for pediatric, digital asthma self-management. / Detta arbete undersöker hur pediatriska användare upplever acceptansen av övertygande designprinciper av ett digitalt självhanteringsstystem för astma. Även om övertygande designmetoder har visat sig motivera att man följer digital självhantering, är effektiv övertalning mycket kontextberoende. Den vetenskapliga kunskapsluckan rörande övertygande design för yngre användare väcker frågan om vilka designprinciper som anses vara acceptabla för denna grupps unika sammanhang. Denna fråga utforskas i detta arbete genom modellen för övertygande systemdesign. Baserat på intervjuer och workshops med läkare valdes sex övertygande designprinciper ut för att designas om för ett befintligt självhanteringssystem för astma. Designprototypen utvärderades med avseende på potentiell acceptans av användarproxys. Resultatet av undersökningen visade att personifierings- och simuleringsövertygande designprinciper uppfattades som mest acceptabla för pediatrisk, digital självhantering för astma.

No description available.

No description available.

No description available.

The use of clinical decision support (CDS) systems has grown progressively during the past decades. CDS systems are associated with improved patient safety and outcomes, better prescription and diagnosing practices by clinicians and lower healthcare costs. Quality assurance of these systems is critical, given the potentially severe consequences of any errors. Yet, after several decades of research, there is still no consensual or standardized approach to their verification and validation (V&V). This project is a descriptive and exploratory case study aiming to provide a practical description of how Cambio CDS, a market-leading developer of CDS services, conducts its V&V process. Qualitative methods including semi-structured interviews and coding-based textual data analysis were used to elicit the description of the V&V approaches used by the company. The results showed that the company’s V&V methodology is strongly influenced by the company’s model-driven development approach, a strong focus and leveraging of domain knowledge and good testing practices with a focus on automation and test-driven development. A few suggestions for future directions were discussed.

<p>This thesis documents research encompassing the design of dynamic electronic performance support systems. Essentially, an Electronic Performance Support System (EPSS) is complex distributed software that provides on-the-job support in order to facilitate task performance within some particular target application domain. In view of the rapid pace of change in current business and industrial environments, the conventional practice of issuing a new release of Electronic Performance Support System (EPSS) every few years to incorporate changes, is no longer practical. An EPSS is required to adapt to the changes as soon as possible and without the need for major code modification. This is accomplished by creating a design in which task specific knowledge is not hard coded in the software but is extracted on the fly. The design also enables a loose coupling among different modules of the system so that functionalities may be added, removed, modified or extended with minimum disruption. In this thesis we show how to combine service-oriented architecture with the concepts of software agents to achieve a software architecture that provides the required agility. Traditionally Unified Modeling Language (UML), which lacks formal semantics, has been the tool of choice for design and analysis of such systems and that means formal analysis techniques cannot be used for verification of UML models, whereas Software Engineering practices require analysis and verification at an early stage in the software development process. In this thesis we present an algorithm to transform UML state chart models to Object Coloured Petri (OCP) nets that have a strong mathematical foundation and can be implemented by standard tools such as Design/CPN for simulation and dynamic analysis in order to verify behavioural properties of the model. We show how to apply this technique to verify some of the desirable behavioural properties of the proposed EPSS architecture. To demonstrate the feasibility of our approach we have successfully implemented a prototype of an EPSS based on the proposed design.</p> <p>The main contributions of this research are: 1. Proposed an anthropomorphic architecture for a dynamic PSS. 2. Combined the concepts of services oriented architecture and software agents to achieve dynamic updating of task specific knowledge and minimal coupling between different modules of complex software to allow painless evolution. 3. Brought formal methods to the design phase in the development of agent based software systems by proposing an algorithm to transform UML state diagrams to OCP nets for dynamic analysis. 4. Modelled the dynamic creation and deletion of objects/agents using OCP net concepts and Design/CPN. 5. Proposed an architecture that can be used for creating families of agile PSS.</p> / Doctor of Philosophy (PhD)

Due to a variety of political, economic, and technological factors, many national electricity industries around the globe are transforming from non-competitive monopolies with centralized systems to decentralized operations with competitive business units. This process, commonly referred to as deregulation (or liberalization) is driven by the belief that a monopolistic industry fails to achieve economic efficiency for consumers over the long run. Deregulation has occurred in a number of industries such as: aviation, natural gas, transportation, and telecommunications. The most recent movement involving the deregulation of the electricity marketplace is expected to yield consumer benefit as well. To facilitate deregulation of the electricity marketplace, competitive business units must be established to manage various functions and services independently. In addition, these business units must be given physical property rights for certain parts of the transmission and distribution network in order to provide reliable service and make effective business decisions. However, partitioning a physical power grid into economically viable districts involves many considerations. We refer to this complex problem as the electrical power districting problem. This research is intended to identify the necessary and fundamental characteristics to appropriately model and solve an electrical power districting problem. Specifically, the objectives of this research are five-fold. First, to identify the issues relevant to electrical power districting problems. Second, to investigate the similarities and differences of electrical power districting problems with other districting problems published in the research literature. Third, to develop and recommend an appropriate solution methodology for electrical power districting problems. Fourth, to demonstrate the effectiveness of the proposed solution method for a specific case of electric power districting in the Republic of Ghana, with data provided by the World Bank. Finally, to develop a decision support system for the decision makers at the World Bank for solving Ghana's electrical power districting problem. / Ph. D.

Implementing an e-market for limited supply perishable asset (LiSPA) products is a problem at the intersection of online purchasing and distributed decision support systems (DistDSS). In this dissertation, we introduce and define LiSPA products, provide real-world examples, develop a framework for a distributed system to implement an e-market for LiSPA products, and provide proof-of-concept for the two major components of the framework. The DistDSS framework requires customers to instantiate agents that learn their preferences and evaluate products on their behalf. Accurately eliciting and modeling customer preferences in a quick and easy manner is a major hurdle for implementing this agent-based system. A methodology is developed for this problem using conjoint analysis and neural networks. The framework also contains a model component that is addressed in this work. The model component is presented as a mediator of customer negotiation that uses the agent-based preference models mentioned above and employs a linear programming model to maximize overall satisfaction of the total market. / Ph. D.