Model-View-Controller architectural pattern and its evolution in graphical user interface frameworks

Model-View-Controller (MVC) is an architectural pattern used in software development for graphical user interfaces. It was one of the first proposed solutions in the late 1970s to the Smart UI anti-pattern, which refers to the act of writing all domain logic into a user interface. The original MVC pattern has since evolved in multiple directions, with various names and may confuse many. The goal of this thesis is to present the origin of the MVC pattern and how it has changed over time. Software architecture in general and the MVC’s evolution within web applications are not the primary focus. Fundamen- tal designs are abstracted, and then used to examine the more recent versions. Prob- lems with the subject and its terminology are also presented.

Drivers and barriers of mobile travel and tourism service adoption : a study of individual perceptions and business model development in a travel and tourism context

The Travel and Tourism field is undergoing changes due to the rapid development of information technology and digital services. Online travel has profoundly changed the way travel and tourism organizations interact with their customers. Mobile technology such as mobile services for pocket devices (e.g. mobile phones) has the potential to take this development even further. Nevertheless, many issues have been highlighted since the early days of mobile services development (e.g. the lack of relevance, ease of use of many services). However, the wide adoption of smartphones and the mobile Internet in many countries as well as the formation of so-called ecosystems between vendors of mobile technology indicate that many of these issues have been overcome. Also when looking at the numbers of downloaded applications related to travel in application stores like Google Play, it seems obvious that mobile travel and tourism services are adopted and used by many individuals. However, as business is expected to start booming in the mobile era, many issues have a tendency to be overlooked. Travelers are generally on the go and thus services that work effectively in mobile settings (e.g. during a trip) are essential. Hence, the individuals’ perceived drivers and barriers to use mobile travel and tourism services in on-site or during trip settings seem particularly valuable to understand; thus this is one primary aim of the thesis. We are, however, also interested in understanding different types of mobile travel service users. Individuals may indeed be very different in their propensity to adopt and use technology based innovations (services). Research is also switching more from investigating issues of mobile service development to understanding individuals’ usage patterns of mobile services. But designing new mobile services may be a complex matter from a service provider perspective. Hence, our secondary aim is to provide insights into drivers and barriers of mobile travel and tourism service development from a holistic business model perspective. To accomplish the research objectives seven different studies have been conducted over a time period from 2002 – 2013. The studies are founded on and contribute to theories within diffusion of innovations, technology acceptance, value creation, user experience and business model development. Several different research methods are utilized: surveys, field and laboratory experiments and action research. The findings suggest that a successful mobile travel and tourism service is a service which supports one or several mobile motives (needs) of individuals such as spontaneous needs, time-critical arrangements, efficiency ambitions, mobility related needs (location features) and entertainment needs. The service could be customized to support travelers’ style of traveling (e.g. organized travel or independent travel) and should be easy to use, especially easy to take into use (access, install and learn) during a trip, without causing security concerns and/or financial risks for the user. In fact, the findings suggest that the most prominent barrier to the use of mobile travel and tourism services during a trip is an individual’s perceived financial cost (entry costs and usage costs). It should, however, be noted that regulations are put in place in the EU regarding data roaming prices between European countries and national telecom operators are starting to see ‘international data subscriptions’ as a sales advantage (e.g. Finnish Sonera provides a data subscription in the Baltic and Nordic region at the same price as in Finland), which will enhance the adoption of mobile travel and tourism services also in international contexts. In order to speed up the adoption rate travel service providers could consider e.g. more local initiatives of free Wi-Fi networks, development of services that can be used, at least to some extent, in an offline mode (do not require costly network access during a trip) and cooperation with telecom operators (e.g. lower usage costs for travelers who use specific mobile services or travel with specific vendors). Furthermore, based on a developed framework for user experience of mobile trip arrangements, the results show that a well-designed mobile site and/or native application, which preferably supports integration with other mobile services, is a must for true mobile presence. In fact, travel service providers who want to build a relationship with their customers need to consider a downloadable native application, but in order to be found through the mobile channel and make contact with potential new customers, a mobile website should be available. Moreover, we have made a first attempt with cluster analysis to identify user categories of mobile services in a travel and tourism context. The following four categories were identified: info-seekers, checkers, bookers and all-rounders. For example “all-rounders”, represented primarily by individuals who use their pocket device for almost any of the investigated mobile travel services, constituted primarily of 23 to 50 year old males with high travel frequency and great online experience. The results also indicate that travel service providers will increasingly become multi-channel providers. To manage multiple online channels, closely integrated and hybrid online platforms for different devices, supporting all steps in a traveler process should be considered. It could be useful for travel service providers to focus more on developing browser-based mobile services (HTML5-solutions) than native applications that work only with specific operating systems and for specific devices. Based on an action research study and utilizing a holistic business model framework called STOF we found that HTML5 as an emerging platform, at least for now, has some limitations regarding the development of the user experience and monetizing the application. In fact, a native application store (e.g. Google Play) may be a key mediator in the adoption of mobile travel and tourism services both from a traveler and a service provider perspective. Moreover, it must be remembered that many device and mobile operating system developers want service providers to specifically create services for their platforms and see native applications as a strategic advantage to sell more devices of a certain kind. The mobile telecom industry has moved into a battle of ecosystems where device makers, developers of operating systems and service developers are to some extent forced to choose their development platforms.

Multiple scales analysis of nonlinear oscillations of a portal frame foundation for several machines

An analytical study of the nonlinear vibrations of a multiple machines portal frame foundation is presented. Two unbalanced rotating machines are considered, none of them resonant with the lower natural frequencies of the supporting structure. Their combined frequencies is set in such a way as to excite, due to nonlinear behavior of the frame, either the first anti-symmetrical mode (sway) or the first symmetrical mode. The physical and geometrical characteristics of the frame are chosen to tune the natural frequencies of these two modes into a 1:2 internal resonance. The problem is reduced to a two degrees of freedom model and its nonlinear equations of motions are derived via a Lagrangian approach. Asymptotic perturbation solutions of these equations are obtained via the Multiple Scales Method.

Interpreting marine benthic ecosystem functioning in coastal waters: validating the biological trait concept

Coastal areas harbour high biodiversity, but are simultaneously affected by rapid degradations of species and habitats due to human interactions. Such alterations also affect the functioning of the ecosystem, which is primarily governed by the characteristics or traits expressed by the organisms present. Marine benthic fauna is nvolved in numerous functions such as organic matter transformation and transport, secondary production, oxygen transport as well as nutrient cycling. Approaches utilising the variety of faunal traits to assess benthic community functioning have rapidly increased and shown the need for further development of the concept. In this thesis, I applied biological trait analysis that allows for assessments of a multitude of categorical traits and thus evaluation of multiple functional aspects simultaneously. I determined the functional trait structure, diversity and variability of coastal zoobenthic communities in the Baltic Sea. The measures were related to recruitment processes, habitat heterogeneity, large-scale environmental and taxonomic gradients as well as anthropogenic impacts. The studies comprised spatial scales from metres to thousands of kilometres, and temporal scales spanning one season as well as a decade. The benthic functional structure was found to vary within and between seagrass landscape microhabitats and four different habitats within a coastal bay, in papers I and II respectively. Expressions of trait categories varied within habitats, while the density of individuals was found to drive the functional differences between habitats. The findings in paper III unveiled high trait richness of Finnish coastal benthos (25 traits and 102 cateogries) although this differed between areas high and low in salinity and human pressure. In paper IV, the natural reduction in taxonomic richness across the Baltic Sea led to an overall reduction in function. However, functional richness in terms of number of trait categories remained comparatively high at low taxon richness. Changes in number of taxa within trait categories were also subtle and some individual categories were maintained or even increased. The temporal analysis in papers I and III highlighted generalities in trait expressions and dominant trait categories in a seagrass landscape as well as a “type organism” for the northern Baltic Sea. Some initial findings were made in all four papers on the role of common and rare species and traits for benthic community functioning. The findings show that common and rare species may not always express the same trait categories in relation to each other. Rare species in general did not express unique functional properties. In order to advance the understanding of the approach, I also assessed some issues concerning the limitations of the concept. This was conducted by evaluating the link between trait category and taxonomic richness using especially univariate measures. My results also show the need to collaborate nationally and internationally on safeguarding the utility of taxonomic and trait data. The findings also highlight the importance of including functional trait information into current efforts in marine spatial planning and biomonitoring.

Open innovation model for a large company in the ICT industry: Case Ericsson LMF

Open innovation paradigm states that the boundaries of the firm have become permeable, allowing knowledge to flow inwards and outwards to accelerate internal innovations and take unused knowledge to the external environment; respectively. The successful implementation of open innovation practices in firms like Procter & Gamble, IBM, and Xerox, among others; suggest that it is a sustainable trend which could provide basis for achieving competitive advantage. However, implementing open innovation could be a complex process which involves several domains of management; and whose term, classification, and practices have not totally been agreed upon. Thus, with many possible ways to address open innovation, the following research question was formulated: How could Ericsson LMF assess which open innovation mode to select depending on the attributes of the project at hand? The research followed the constructive research approach which has the following steps: find a practical relevant problem, obtain general understanding of the topic, innovate the solution, demonstrate the solution works, show theoretical contributions, and examine the scope of applicability of the solution. The research involved three phases of data collection and analysis: Extensive literature review of open innovation, strategy, business model, innovation, and knowledge management; direct observation of the environment of the case company through participative observation; and semi-structured interviews based of six cases involving multiple and heterogeneous open innovation initiatives. Results from the cases suggest that the selection of modes depend on multiple reasons, with a stronger influence of factors related to strategy, business models, and resources gaps. Based on these and others factors found in the literature review and observations; it was possible to construct a model that supports approaching open innovation. The model integrates perspectives from multiple domains of the literature review, observations inside the case company, and factors from the six open innovation cases. It provides steps, guidelines, and tools to approach open innovation and assess the selection of modes. Measuring the impact of open innovation could take years; thus, implementing and testing entirely the model was not possible due time limitation. Nevertheless, it was possible to validate the core elements of the model with empirical data gathered from the cases. In addition to constructing the model, this research contributed to the literature by increasing the understanding of open innovation, providing suggestions to the case company, and proposing future steps.

Green supplier selection via Multiple Criteria Data Envelopment Analysis

An appropriate supplier selection and its profound effects on increasing the competitive advantage of companies has been widely discussed in supply chain management (SCM) literature. By raising environmental awareness among companies and industries they attach more importance to sustainable and green activities in selection procedures of raw material providers. The current thesis benefits from data envelopment analysis (DEA) technique to evaluate the relative efficiency of suppliers in the presence of carbon dioxide (CO2) emission for green supplier selection. We incorporate the pollution of suppliers as an undesirable output into DEA. However, to do so, two conventional DEA model problems arise: the lack of the discrimination power among decision making units (DMUs) and flexibility of the inputs and outputs weights. To overcome these limitations, we use multiple criteria DEA (MCDEA) as one alternative. By applying MCDEA the number of suppliers which are identified as efficient will be decreased and will lead to a better ranking and selection of the suppliers. Besides, in order to compare the performance of the suppliers with an ideal supplier, a “virtual” best practice supplier is introduced. The presence of the ideal virtual supplier will also increase the discrimination power of the model for a better ranking of the suppliers. Therefore, a new MCDEA model is proposed to simultaneously handle undesirable outputs and virtual DMU. The developed model is applied for green supplier selection problem. A numerical example illustrates the applicability of the proposed model.

Psychometric properties of the Portuguese version of the State-Trait Anxiety Inventory applied to college students: factor analysis and relation to the Beck Depression Inventory

The psychometric properties of the Portuguese version of the trait form of the State-Trait Anxiety Inventory (STAI-T) and its relation to the Beck Depression Inventory (BDI) were evaluated in a large Brazilian college student sample containing 845 women and 235 men. STAI-T scores tended to be higher for women, singles, those who work, and subjects under 30 years. Factor analysis of the STAI-T for total sample and by gender yielded two factors: the first representing a mood dimension and the second being related to worrying or cognitive aspects of anxiety. In order to study the relation between anxiety and depression measures, factor analysis of the combination of the 21 BDI items and the 20 STAI-T items was also carried out. The analysis resulted in two factors that were analyzed according to the tripartite model of anxiety and depression. Most of the BDI items (measuring positive affectivity and nonspecific symptoms of depression) were loaded on the first factor and four STAI-T items that measure positive affectivity. The remaining STAI-T items, all of them measuring negative affect, remained in the second factor. Thus, factor 1 represents a depression dimension and factor 2 measures a mood-worrying dimension. The findings of this study suggest that, although widely used as an anxiety scale, the STAI-T in fact measures mainly a general negative affect.

Sleep deprivation reduces the lymphocyte count in a non-obese mouse model of type 1 diabetes mellitus

The objective of the present study was to determine whether sleep deprivation (SD) would promote changes in lymphocyte numbers in a type 1 diabetes model (non-obese diabetic, NOD, mouse strain) and to determine whether SD would affect female and male NOD compared to Swiss mice. The number of lymphocytes in peripheral blood after 24 and 96 h of SD (by multiple platform method) or equivalent period of time in home-cage controls was examined prior to the onset of diabetes. SD for 96 h significantly reduced lymphocytes in male Swiss mice compared to control (8.6 ± 2.1 vs 4.1 ± 0.7 10³/µL; P < 0.02). In male NOD animals, 24- and 96-h SD caused a significant decrease of lymphocytes compared to control (4.4 ± 0.3 vs 1.6 ± 0.5; P < 0.001 and 4.4 ± 0.3 vs 0.9 ± 0.1 10³/µL; P < 0.00001, respectively). Both 24- and 96-h SD induced a reduction in the number of lymphocytes in female Swiss (7.5 ± 0.5 vs 4.5 ± 0.5, 4.4 ± 0.6 10³/µL; P < 0.001, respectively) and NOD mice (4 ± 0.6 vs 1.8 ± 0.2, 1.2 ± 0.4 10³/µL; P < 0.01, respectively) compared to the respective controls. Loss of sleep induced lymphopenia in peripheral blood in both genders and strains used. Since many cases of autoimmunity present reduced numbers of lymphocytes and, in this study, it was more evident in the NOD strain, our results suggest that SD should be considered a risk factor in the onset of autoimmune disorders.

Multiple factor analysis of metachronous upper urinary tract transitional cell carcinoma after radical cystectomy

Transitional cell carcinoma (TCC) of the urothelium is often multifocal and subsequent tumors may occur anywhere in the urinary tract after the treatment of a primary carcinoma. Patients initially presenting a bladder cancer are at significant risk of developing metachronous tumors in the upper urinary tract (UUT). We evaluated the prognostic factors of primary invasive bladder cancer that may predict a metachronous UUT TCC after radical cystectomy. The records of 476 patients who underwent radical cystectomy for primary invasive bladder TCC from 1989 to 2001 were reviewed retrospectively. The prognostic factors of UUT TCC were determined by multivariate analysis using the COX proportional hazards regression model. Kaplan-Meier analysis was also used to assess the variable incidence of UUT TCC according to different risk factors. Twenty-two patients (4.6%). developed metachronous UUT TCC. Multiplicity, prostatic urethral involvement by the bladder cancer and the associated carcinoma in situ (CIS) were significant and independent factors affecting the occurrence of metachronous UUT TCC (P = 0.0425, 0.0082, and 0.0006, respectively). These results were supported, to some extent, by analysis of the UUT TCC disease-free rate by the Kaplan-Meier method, whereby patients with prostatic urethral involvement or with associated CIS demonstrated a significantly lower metachronous UUT TCC disease-free rate than patients without prostatic urethral involvement or without associated CIS (log-rank test, P = 0.0116 and 0.0075, respectively). Multiple tumors, prostatic urethral involvement and associated CIS were risk factors for metachronous UUT TCC, a conclusion that may be useful for designing follow-up strategies for primary invasive bladder cancer after radical cystectomy.

Innovation process development and business process integration - a multiple case study

The main objective of this study was to find out the bases for innovation model formulation in an existing organization based on cases. Innovation processes can be analyzed based on their needs and based on their emphasis on the business model development or R&D. The research was conducted in energy sector within one company by utilizing its projects as cases for the study. It is typical for the field of business that development is slow, although the case company has put emphasis on its innovation efforts. Analysis was done by identifying the cases’ needs and comparing them. The results were that because of the variances in the needs of the cases, the applicability of innovation process models varies. It was discovered that by dividing the process into two phases, a uniform model could be composed. This model would fulfill the needs of the cases and potential future projects as well.

Purine nucleotides reduce superoxide production by nitric oxide synthase in a murine sepsis model

Sepsis involves a systemic inflammatory response of multiple endogenous mediators, resulting in many of the injurious and sometimes fatal physiological symptoms of the disease. This systemic activation leads to a compromised vascular response and endothelial dysfunction. Purine nucleotides interact with purinoceptors and initiate a variety of physiological processes that play an important role in maintaining cardiovascular function. The purpose of the present study was to investigate the effects of ATP on vascular function in a lipopolysaccharide (LPS) model of sepsis. LPS induced a significant increase in aortic superoxide production 16 h after injection. Addition of ATP to the organ bath incubation solution reduced superoxide production by the aortas of endotoxemic animals. Reactive Blue, an antagonist of the P2Y receptor, blocked the effect of ATP on superoxide production, and the nonselective P2Y agonist MeSATP inhibited superoxide production. Nitric oxide synthase (NOS) inhibition by L-NAME blocked vascular relaxation and reduced superoxide production in LPS-treated animals. In the presence of L-NAME there was no ATP effect on superoxide production. A vascular reactivity study showed that ATP increased maximal relaxation in LPS-treated animals compared to controls. The presence of ATP induced increases in Akt and endothelial NOS phosphorylated proteins in the aorta of septic animals. ATP reduces superoxide release resulting in an improved vasorelaxant response. Sepsis may uncouple NOS to produce superoxide. We showed that ATP through Akt pathway phosphorylated endothelial NOS and “re-couples” NOS function.

Biochemical adaptations of mammalian hibernation: exploring squirrels as a perspective model for naturally induced reversible insulin resistance

An important disease among human metabolic disorders is type 2 diabetes mellitus. This disorder involves multiple physiological defects that result from high blood glucose content and eventually lead to the onset of insulin resistance. The combination of insulin resistance, increased glucose production, and decreased insulin secretion creates a diabetic metabolic environment that leads to a lifetime of management. Appropriate models are critical for the success of research. As such, a unique model providing insight into the mechanisms of reversible insulin resistance is mammalian hibernation. Hibernators, such as ground squirrels and bats, are excellent examples of animals exhibiting reversible insulin resistance, for which a rapid increase in body weight is required prior to entry into dormancy. Hibernator studies have shown differential regulation of specific molecular pathways involved in reversible resistance to insulin. The present review focuses on this growing area of research and the molecular mechanisms that regulate glucose homeostasis, and explores the roles of the Akt signaling pathway during hibernation. Here, we propose a link between hibernation, a well-documented response to periods of environmental stress, and reversible insulin resistance, potentially facilitated by key alterations in the Akt signaling network, PPAR-γ/PGC-1α regulation, and non-coding RNA expression. Coincidentally, many of the same pathways are frequently found to be dysregulated during insulin resistance in human type 2 diabetes. Hence, the molecular networks that may regulate reversible insulin resistance in hibernating mammals represent a novel approach by providing insight into medical treatment of insulin resistance in humans.

Multiple facets of HIV-associated renal disease

HIV infection has a broad spectrum of renal manifestations. This study examined the clinical and histological manifestations of HIV-associated renal disease, and predictors of renal outcomes. Sixty-one (64% male, mean age 45 years) HIV patients were retrospectively evaluated. Clinical presentation and renal histopathology were assessed, as well as CD4 T-cell count and viral load. The predictive value of histological lesion, baseline CD4 cell count and viral load for end-stage renal disease (ESRD) or death were determined using the Cox regression model. The outcomes of chronic kidney disease (CKD) and ESRD or death were evaluated by baseline CD4 cell count. The percent distribution at initial clinical presentation was non-nephrotic proteinuria (54%), acute kidney injury (28%), nephrotic syndrome (23%), and chronic kidney disease (22%). Focal segmental glomerulosclerosis (28%), mainly the collapsing form (HIVAN), acute interstitial nephritis (AIN) (26%), and immune complex-mediated glomerulonephritis (ICGN) (25%) were the predominant renal histology. Baseline CD4 cell count ≥200 cells/mm3 was a protective factor against CKD (hazard ratio=0.997; 95%CI=0.994-0.999; P=0.012). At last follow-up, 64% of patients with baseline CD4 ≥200 cells/mm3 had eGFR >60 mL·min-1·(1.73 m2)-1 compared to the other 35% of patients who presented with CD4 <200 cells/mm3 (log rank=9.043, P=0.003). In conclusion, the main histological lesion of HIV-associated renal disease was HIVAN, followed by AIN and ICGN. These findings reinforce the need to biopsy HIV patients with kidney impairment and/or proteinuria. Baseline CD4 cell count ≥200 cells/mm3 was associated with better renal function after 2 years of follow-up.

Gearing Towards Omnichannel Grocery Retail Through Business Model Innovation

Technological innovations and the advent of digitalization have led retail business into one of its biggest transformations of all time. Consumer behaviour has changed rapidly and the customers are ever more powerful, demanding, tech-savvy and moving on various plat-forms. These attributes will continue to drive the development and robustly restructure the architecture of value creation in the retail business. The largest retail category, grocery yet awaits for a real disruption, but the signals for major change are already on the horizon. The first wave of online grocery retail was introduced in the mid 1990’s and it throve until millennium. Many overreactions, heavy investments and the burst IT-bubble almost stag-nated the whole industry for a long period of time. The second wave started with a venge-ance around 2010. Some research was carried out during the first wave from a single-viewpoint of online grocery retail, but without a comprehensive approach to online-offline business model integration. Now the accelerating growth of e-business has initiated an increased interest to examine the transformation from traditional business models towards e-business models and their integration on the companies’ traditional business models. This research strove to examine how can we recognize and analyze how digitalization and online channels are affecting the business models of grocery retail, by using business mod-el canvas as an analysis tool. Furthermore business model innovation and omnichannel retail were presented and suggested as potential solutions for these changes. 21 experts in online grocery industry were being interviewed. The thoughts of the informants were being qualitatively analysed by using an analysis tool called the business model canvas. The aim of this research was to portray a holistic view on the Omnichannel grocery retail business model, and the value chain, in which the case company Arina along with its partners are operating. The key conclusions exhibited that online grocery retail business model is not an alterna-tive model nor a substitute for the traditional grocery retail business model, though all of the business model elements are to some extent affected by it, but rather a complementary business model that should be integrated into the prevailing, conventional grocery retail business model. A set of business model elements, such as value proposition and distribu-tion channels were recognized as the most important ones and sources of innovation within these components were being illustrated. Segments for online grocery retail were empiri-cally established as polarized niche markets in contrast of the segmented mass-market of the conventional grocery retail. Business model innovation was proven to be a considera-ble method and a conceptual framework, by which to come across with new value proposi-tions that create competitive advantage for the company in the contemporary, changing business environment. Arina as a retailer can be considered as a industry model innovator, since it has initiated an entire industry in its market area, where other players have later on embarked on, and in which the contributors of the value chain, such as Posti depend on it to a great extent. Consumer behaviour clearly affects and appears everywhere in the digi-talized grocery trade and it drives customers to multiple platforms where retailers need to be present. Omnichannel retail business model was suggested to be the solution, in which the new technologies are being utilized, contemporary consumer behaviour is embedded in decision-making and all of the segments and their value propositions are being served seamlessly across the channels.

Model-based testing of software systems : functionality and performance

Software is a key component in many of our devices and products that we use every day. Most customers demand not only that their devices should function as expected but also that the software should be of high quality, reliable, fault tolerant, efficient, etc. In short, it is not enough that a calculator gives the correct result of a calculation, we want the result instantly, in the right form, with minimal use of battery, etc. One of the key aspects for succeeding in today's industry is delivering high quality. In most software development projects, high-quality software is achieved by rigorous testing and good quality assurance practices. However, today, customers are asking for these high quality software products at an ever-increasing pace. This leaves the companies with less time for development. Software testing is an expensive activity, because it requires much manual work. Testing, debugging, and verification are estimated to consume 50 to 75 per cent of the total development cost of complex software projects. Further, the most expensive software defects are those which have to be fixed after the product is released. One of the main challenges in software development is reducing the associated cost and time of software testing without sacrificing the quality of the developed software. It is often not enough to only demonstrate that a piece of software is functioning correctly. Usually, many other aspects of the software, such as performance, security, scalability, usability, etc., need also to be verified. Testing these aspects of the software is traditionally referred to as nonfunctional testing. One of the major challenges with non-functional testing is that it is usually carried out at the end of the software development process when most of the functionality is implemented. This is due to the fact that non-functional aspects, such as performance or security, apply to the software as a whole. In this thesis, we study the use of model-based testing. We present approaches to automatically generate tests from behavioral models for solving some of these challenges. We show that model-based testing is not only applicable to functional testing but also to non-functional testing. In its simplest form, performance testing is performed by executing multiple test sequences at once while observing the software in terms of responsiveness and stability, rather than the output. The main contribution of the thesis is a coherent model-based testing approach for testing functional and performance related issues in software systems. We show how we go from system models, expressed in the Unified Modeling Language, to test cases and back to models again. The system requirements are traced throughout the entire testing process. Requirements traceability facilitates finding faults in the design and implementation of the software. In the research field of model-based testing, many new proposed approaches suffer from poor or the lack of tool support. Therefore, the second contribution of this thesis is proper tool support for the proposed approach that is integrated with leading industry tools. We o er independent tools, tools that are integrated with other industry leading tools, and complete tool-chains when necessary. Many model-based testing approaches proposed by the research community suffer from poor empirical validation in an industrial context. In order to demonstrate the applicability of our proposed approach, we apply our research to several systems, including industrial ones.