Siga este link para ver outros tipos de publicações sobre o tema: MBA model.

Teses / dissertações sobre o tema "MBA model"

Crie uma referência precisa em APA, MLA, Chicago, Harvard, e outros estilos

Selecione um tipo de fonte:

Veja os 50 melhores trabalhos (teses / dissertações) para estudos sobre o assunto "MBA model".

Ao lado de cada fonte na lista de referências, há um botão "Adicionar à bibliografia". Clique e geraremos automaticamente a citação bibliográfica do trabalho escolhido no estilo de citação de que você precisa: APA, MLA, Harvard, Chicago, Vancouver, etc.

Você também pode baixar o texto completo da publicação científica em formato .pdf e ler o resumo do trabalho online se estiver presente nos metadados.

Veja as teses / dissertações das mais diversas áreas científicas e compile uma bibliografia correta.

1

Najera, Christopher Arthur. "Identifying criteria for a new MBA program model| A qualitative study of MBA stakeholder perceptions of 21st century management and leadership". Thesis, Pepperdine University, 2015. http://pqdtopen.proquest.com/#viewpdf?dispub=3669489.

Texto completo da fonte
Resumo:

Much attention has been paid to the current state of graduate business education, specifically the MBA degree, and the seeming disconnect between industry needs and what business schools are preparing MBA graduates for. A comprehensive study on the state of MBA education was completed in 2010 by Datar, Garvin, and Cullen (2010), the goal of which was to document the forces reshaping business education and the institutional responses to them, as well as provide suggestions on a path forward for MBA education. This research picked up where Datar et al. (2010) left off: the purpose of this study was to identify criteria for a new model MBA. The Datar et al. (2010) study defined the unmet needs, but what remained undefined were the (a) skills; (b) capabilities; and (c) techniques that are central to the practice of 21st century management, and the (d) values; (e) attitudes; and (f) beliefs that should be part of a 21st century leader's world-view and professional identity. This study used a qualitative approach to add meaning to the variables defined above; specifically interviews with 14 participants were used to gather perceptions of 21st century leadership and management from MBA stakeholders as part of an in-depth and detailed inquiry. This study also reviewed five Southern California business schools in order to identify best-practices curricula. Based on the data gathered in this study a new model MBA was posited. A discussion of the findings and the implications for MBA education was included in Chapter 5.

Estilos ABNT, Harvard, Vancouver, APA, etc.
2

Cheng, Wai Lun. "Perceived transfer of skills and knowledge of MBA graduates : test of a model". HKBU Institutional Repository, 1998. http://repository.hkbu.edu.hk/etd_ra/145.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
3

Johansson, Bo-Göran. "Market potential in Sweden of small wind power stations : MBA-thesis in marketing". Thesis, University of Gävle, Department of Business Administration and Economics, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-4690.

Texto completo da fonte
Resumo:

AIM: As global warming is a fact and the consumption of energy is continuously increasing, alternative sourcing of energy is a must. The use of oil and coal for heating is limited due to it is nature resource which is also limited. Everyone will be forced to evaluate their own usage of energy and look into the alternatives of how to be a part of solving this global issue. For many, alternatives such as sun panels and wind power stations could be an alternative power source.

 

Today, there is only a limited availability in Sweden of small sized wind power stations and only small local producers or importers that sell the equipment – mostly through internet based market communications.

 

Method: The theoretical approach to this thesis is based on the MIO model in combination with several other models and tools such as, PESTEL, Marketing Mix, SWOT, Porter’s five forces, EVC and STP.

 

Result & Conclusions: There is a market for small wind power stations between 5 – 50 kW in Sweden.

The biggest reason why the market segment exist and will increase is due to continuously increasing energy prices and that wind power stations of this size are permitted to be connected directly to household consumption.

 

Suggestions for future research: How are other energy complements like solar panels influenced? What governmental decisions affect the business of small wind power stations?

 

Contributions to the thesis: Success in this segment requires a different approach to product offering than what the current competition is doing.

Estilos ABNT, Harvard, Vancouver, APA, etc.
4

Nyumuyo, Wisdom Winston. "The Environment to Invest in Marketing and Processing of Cocoa : The Case of Ghana; MBA-thesis in marketing". Thesis, University of Gävle, Department of Business and Economic Studies, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-6764.

Texto completo da fonte
Resumo:

Purpose: This research work is to discuss the various forces/ factors that affect the business environment of Ghana which impacts investing in marketing and processing of cocoa beans in Ghana. In order to determine or classify Ghana as an attractive destination or otherwise to invest in cocoa marketing and processing there is the need to discuss the prevailing macro business environmental forces which little is known about to investors, managers and policy makers in cocoa trade. These mentioned parties have been under increasing pressures to assess the various forces prevailing in Ghana before considering investing in cocoa marketing and processing in Ghana. The work therefore looks as the various macro environmental factors Political, Economic, Social, Technological, Physical Environment and Legal (PESTEL) forces in Ghana’s business environment which impacts cocoa marketing and processing which makes Ghana an attractive base or otherwise to invest in cocoa marketing and processing.

 

Research Questions: The specific questions that the research aims at solving are as follows: what are the external and environmental forces that will influence investing in cocoa marketing and processing in Ghana? Is Ghana a safe and attractive base to invest in cocoa marketing and processing?

 

Research method: In carrying this research I made use of both secondary and primary data. Primary data was gathered through face interviews and administrating questionnaires to illicit response from stakeholders in Ghana’s cocoa. The paper also presents a review of literature on PESTEL which has influence or features in Ghana’s business environment which are important in cocoa marketing and processing.

 

Research Findings: Empirical findings and review of PESTEL model reported in the work suggests that the PESTEL will impact on the strategy of organizations and policy makers who are into cocoa marketing and processing. Also gives suggestions on how the various environmental forces (PESTEL) will be applied to further improve upon the business environment which makes marketing and processing of cocoa in Ghana attractive.

 

Research Implications and Limitations: The discussions and analyses of the macro environmental forces prevailing in Ghana’s business environment which impacts cocoa marketing produces a frame work to analyze current threats and opportunities in Ghana’s business environment which impacts cocoa marketing and processing for people contemplating on investing in marketing and processing of cocoa in Ghana as well as other practical lessons for policy makers in cocoa. The work overlooks the micro environmental forces in Ghana that impacts cocoa marketing and processing. Further research into such area will help give an understanding of the micro factors that impact the business environment of Ghana. Also the work has a limited empirical data base as most information gathered were inconsistent and unreliable which raises concerns about investment information. These have been minimized thro3ugh cross checks with primary data.

Estilos ABNT, Harvard, Vancouver, APA, etc.
5

Häkkinen, Kirsti. "The effects of visual white noise on performance in an episodic memory test: A pilot study". Thesis, Stockholm University, Department of Psychology, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:su:diva-8522.

Texto completo da fonte
Resumo:

Previous findings have suggested that auditive white noise benefits cognitive performance under certain circumstances. The primary purpose of the present pilot study was to explore the effects of visual white noise on verbal episodic memory performance in a normal participant population. Performance was assessed by an immediate free recall test. A secondary purpose was to explore whether participants` eye blink rates and/or temporal processing alters in different noise conditions. The findings of the present study suggest that visual white noise does not affect recall performance among normal participants. However, partially different memory systems and/or memorizing techniques might be used in different noise conditions. Furthermore, noise was not found to affect participants` blink rates or temporal processing.

Estilos ABNT, Harvard, Vancouver, APA, etc.
6

Adams, Abubakar. "Progressive people management in achieving organisational effectiveness : a consolidated analysis of studies done in a variety of organisations by MBA students using the Marglen diagnostic model". Thesis, Stellenbosch : Stellenbosch University, 2001. http://hdl.handle.net/10019.1/52416.

Texto completo da fonte
Resumo:
Thesis (MBA)--Stellenbosch University, 2001.
ENGLISH ABSTRACT: This study project has as its objectives the analysis and evaluation of people management practices within a broad spectrum of organisations in South Africa, using the Marglen diagnostic model. It also serves to assess the usage and utility of this model during this process. The Marglen model provides a conceptual framework consisting of twenty key issues which organisations can use to assess its people management practices. The model promotes a holistic, integrated and strategic approach to people management, with people management practitioners being considered as strategic partners within the core business activities of the organisation. In the current and foreseeable global economic order where rapid change and turbulence tend to be the only certainties, successful organisations are those who are creative, innovative, highly adaptable and who invent the future. In other words, organisations who leverage their only appreciating assets, namely their people, their human capital. In order to achieve this organisations need to move from traditional human resource management to progressive people management: from controlling and circumscribing staff to managing performance and leading and realising people's potential effectively and efficiently. Our studies show that the majority of organisations in South Africa, especially the bigger and older ones, tend to be reactive when it comes to people management. They largely still use the traditional human resources approach, changing only when forced to, for example, because of competition or legal pressures such as the Employment Equity Act. A small but growing number of organisations, which includes mainly the smaller and newer organisations operating especially in young or volatile industries (e.g. information technology sector) tend to be more proactive and tend to lean toward a more integrated people management system, with flatter structures and lots of positive energies. This is especially true when the leadership are still young/fresh and are hands- on. Because of their flexibility, responsiveness to markets and sensitivity to globalisation these "new generation" organisations most probably will adopt new (and hopefully more progressive) people management practices much quicker than the older, bigger ones. The Marglen model itself proved its worth with the wealth of empirical information generated and the encouragement of a systems approach to the solution of problems. With the necessary adjustments the model can become an even more potent tool for all managers, whether they are formal HR practitioners or not.
AFRIKAANSE OPSOMMING: Hierdie werkstuk is onderneem om die praktyk van mensebestuur in 'n wyd verspreide spektrum van Suid Afrikaanse organisasies te ondersoek met behulp van the Marglen diagnostiese model. Dit dien ook as 'n evaluasie van die bruikbaarheid van die model self. Die Marglen model veskaf 'n konseptuele raamwerk bestaande uit twintig sleutels wat organisasies kan gebruik om hul mensebestuur praktyke te kan ondersoek. Die model bevorder 'n geintegreerde en strategiese nadering van mensebestuur, waar mensebestuur praktisyne beskou word as strategiese vennote deur alle ander bestuurders. In die huidige globale ekonomiese orde waar blitsige veranderinge en onstuimigheid die enigste sekerheid bied is suksesvolle organisasies die' wat kreatief, vernuwend en soepel is: diegene wat die toekoms skep. Met ander woorde, organisasies wat die beste gebruik maak van hul grootste en enigste groeiende bate, hul mense. Om suskesvol to wees en so te bly moet daar 'n wesenlike verandering van mensebestuur filosofie and praktyk wees, van die tradisionele metode van kontrole en verbiedinge na progressiewe metodes waar die persoon se potensiaal gerealiseer word ten bate van beide die persoon self en die organisasie. Ons ondersoek toon dat die meerderheid van organisasies, veral die groter en ouer garde, reagerend is wat mensebestuur betref. Hulle gebruik grootliks die tradisionele personeelbestuur filosofie en praktyke en verander net as hulle gedwing word deur eksterne faktore soos byvoorbeeld erg mededinging (veral van oorsee) en wetgewing. 'n Groeiende minderheid van organisasies wat insluit meesal die kleiner en jonger garde en wat veral in die nuwer en meer onstuimige sektors soos informasie tegnologie gevind word, neig om meer proaktief te wees. Hulle neig ook om 'n meer geintegreerde mensebestuur stelsel te hê met minder vlakke en met volop energie. Dit is veral opvallend wanneer die leierskap nog jonk is en heelhartiglik deelneem in die organisasie. As gevolg van hul soepelheid en hul reponsiewiteit en vatbaarheid vir die globale ekonomiese orde sal hulle heel moontlik die voortou neem met nuwe en hopelik progressiewe mensebestuur praktyke. Die Marglen model het sy self bewys met die inligting wat ontgun was en met die bevordering van 'n stelselmatige nadering van problem oplossing. Met die nodige aanpassings sal die model 'n selfs meer kragtige middel vir alle bestuurders wees, nie net vir personeel bestuurders nie.
Estilos ABNT, Harvard, Vancouver, APA, etc.
7

Vokál, Pavel. "Strategická analýza International School of Business and Management". Master's thesis, Vysoká škola ekonomická v Praze, 2008. http://www.nusl.cz/ntk/nusl-4056.

Texto completo da fonte
Resumo:
The aim of the thesis is to make a strategic analysis of the newly opened private school by University of Economics, Prague. For analysis of external environment is used PEST model and Porter's model of Five Competitive Forces. Special attention is paid to description of Czech-MBA-schools market. Internal environment is described by analysis of company's resources. Outputs from partial analyses are summarised in SWOT analysis. SWOT analysis serves than for formulation of strategic recommendation to ISBM.
Estilos ABNT, Harvard, Vancouver, APA, etc.
8

Tsung, Wendy P. "Disrupting the MBA| How new educational models can reshape the full-time MBA". Thesis, University of Pennsylvania, 2016. http://pqdtopen.proquest.com/#viewpdf?dispub=10158527.

Texto completo da fonte
Resumo:

The traditional, full-time MBA program environment has become increasingly tumultuous. The many pressures facing business schools, from declining interest of applicants to the burgeoning number of schools and degree formats, have led many to predict that the model cannot continue as is and is ripe for change. Many believe consolidation in the business school marketplace is inevitable and survival is not guaranteed.

Business schools instruct students that, in today’s competitive environment, companies must be able to adapt and quickly respond to changes in the business environment. However, business schools do not seem to have practiced what they preached. Although most business schools would say that they are continuously improving the degree, they likely would agree that most of the changes have been incremental and that the traditional MBA program has remained largely unchanged since its inception. The primary purpose of this study is to explore how the full-time MBA program might be transformed by seeing how four highly ranked business schools would view innovations developed by two leading business schools and whether reengineering the educational model also transforms the business model.

There is a strongly held belief that the traditional two-year, in-person MBA will continue to be relevant but may be sustained only by the top-20 schools. The hundreds of other business schools will be forced to adapt, but the degree and urgency to which they do may vary based on their perception of the school’s standing and their willingness to challenge existing beliefs around their brand image, pride of creation, and entrenched incentives.

Change and adopting innovation do not guarantee success. Likewise, doing nothing does not guarantee failure. Change, however, is inevitable and might happen quicker than business schools anticipate because of market forces. Business schools that have the most to lose already have begun experimenting with innovation outside their reputation-based full-time program. Should the expertise built and lessons learned from this experimentation be incorporated into their full-time programs, the established schools may witness a new pecking order.

Estilos ABNT, Harvard, Vancouver, APA, etc.
9

Vlastník, Jan. "Výpočtový model řetězového pohonu jako modul virtuálního motoru". Doctoral thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2010. http://www.nusl.cz/ntk/nusl-233885.

Texto completo da fonte
Resumo:
his work deals with the methods of creating computational models for the analysis of the chain drive of camshafts in combustion engines. Methods are compared of the simulation of the drive mechanism; a new method is also presented for the simulation of the tensioning and guide bar by means of a modal reduction of an elastic body in the Multibody system. The work describes individual parts of the chain gear and the mathematical formulation of differential equations of motion. Algorithms are also indicated describing the mutual interaction of bodies in contact. Computations are here described for the determination of individual parameters necessary for setting up a chain drive model. The tensile characteristics of the chain is determined by the FEM programme. The chain model is analyzed in several alternatives of arrangement. FEM calculations are described here of the rigidity of contacts between the chain and the chain wheels and between the chain and the guide bars. The computational model has been created in the MSC ADAMS programme. The computation is carried out for a stabilized speed of the crankshaft of 3,000, 4,500 and 6,000 rpm and for a continuous start from the idle state up to the speed of 6,000 rpm with a constant load of the crankshafts by the torsion moment. Computation is also carried out for loading the crankshafts with a torsion moment deduced from the cam shape. The courses of the quantity obtained are processed by means of FFT; Campbell diagrams have been constructed for their evaluation. The results have been compared with the modal analyses of the individual parts of the chain gear for the determination of their mutual interaction.
Estilos ABNT, Harvard, Vancouver, APA, etc.
10

Liang, Dong. "Automatic generation of software applications". Doctoral thesis, Technische Universitaet Bergakademie Freiberg Universitaetsbibliothek "Georgius Agricola", 2014. http://nbn-resolving.de/urn:nbn:de:bsz:105-qucosa-149742.

Texto completo da fonte
Resumo:
The Model Driven Architecture (MDA) allows moving the software development from the time consuming and error-prone level of writing program code to the next higher level of modeling. In order to gain benefit from this innovative technology, it is necessary to satisfy two requirements. These are first, the creation of compact, complete and correct platform independent models (PIM) and second, the development of a flexible and extensible model transformation framework taking into account frequent changes of the target platform. In this thesis a platform-based methodology is developed to create PIM by abstracting common modeling elements into a platform independent modeling library called Design Platform Model (DPM). The DPM contains OCL-based types for modeling primitive and collection types, a platform independent GUI toolkit as well as other common modeling elements, such as those for IO-operations. Furthermore, a DPM profile containing diverse domain specific and design pattern-based stereotypes is also developed to create PIM with high-level semantics. The behavior in PIM is specified using an OCL-like action language called eXecutable OCL (XOCL), which is also developed in this thesis. For model transformation, the model compiler MOCCA is developed based on a flexible and extensible architecture. The model mapper components in the current version of MOCCA are able to map desktop applications onto JSE platform; the both business object layer and persistence layer of a three-layered enterprise applications onto JEE platform and SAP ABAP platform. The entire model transformation process is finished with complete code generation.
Estilos ABNT, Harvard, Vancouver, APA, etc.
11

Mikuckas, Modestas. "Modeliavimu grindžiamas J2EE platformos trijų sluoksnių informacinių sistemų kūrimas". Master's thesis, Lithuanian Academic Libraries Network (LABT), 2012. http://vddb.laba.lt/obj/LT-eLABa-0001:E.02~2012~D_20120620_113428-16771.

Texto completo da fonte
Resumo:
Viena iš technologinių sričių, kur galima pritaikyti modeliavimu grindžiamą architektūrą (MGA) yra Java Enterprise Edition (J2EE) informacinių sistemų kūrimas. Nors generuoti pilną programinį kodą taikant MGA metodus nėra įprasta, tačiau egzistuoja abstraktūs metodai, bei daliniai sprendimai leidžiantys daryti prielaidą, kad tai yra įmanoma. Remiantis egzistuojančiais abstrakčiais metodais ir daliniais sprendimais buvo sukurtas MGA metodas ir kodo generatorius, leidžiantis sugeneruoti visą programinį kodą pagal modelio duomenis. Sukurtas metodas buvo išbandytas su realia informacine MagicTest žinių testavimo sistema. Bandymas su realia sistema parodė, kad pasiūlytas MGA metodas gali būti sėkmingai taikomas JEE platformos informacinių sistemų kūrimui.
One of the technological areas where can be used model driven architecture (MDA) is Java Enterprise Edition (J2EE) development of information systems. Although to generate a complete program using MDA is not common, but there are some abstract methods, and partial solutions suggesting that this is possible. Based on existing methods of abstract and partial solutions new MDA method and code generator was created. Generator allows to generate software code based on the model data. The method and generator was tested with the real information MagicTest knowledge testing system. The test of the real system showed that the proposed MDA method can be successfully applied to J2EE platform for developing information systems.
Estilos ABNT, Harvard, Vancouver, APA, etc.
12

Gustafsson, Anders. "Networked products create new business opportunities : MBA thesis in marketing". Thesis, University of Gävle, Department of Business Administration and Economics, 2007. http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-235.

Texto completo da fonte
Resumo:

This work is performed as a pre-study to investigate new business opportunities for companies who are product-centric oriented but want to move in the direction of being a customer-centric organization by using technologies based on networked products.

The study describes IntelliCom, which is a company selling network enabling products. IntelliCom has also developed a customized server solution making it possible to network remote installed products and collect data from these products over Internet. This technology that IntelliCom have knowledge in could be a platform for providing data and different kind of services by connecting customer’s devices, which aim to generate a value for the customer and be a new business opportunity for product-centric companies.

The research is mainly based on observations and dialogs with management and sales people of IntelliCom to investigate how the marketing strategies and marketing mix is used when selling products. To be able to collect data and information about the customer’s value and opportunities, I have made an Interview with a potential customer of IntelliCom who is an OEM company already proving products and services in line with a customer-centric business strategy. This customer is Woodward and manufacturer of GenSet controllers within the energy/electrical segment. The observations and information collected from customer were analysed to understand and to be able to describe how customer’s value chain and smart services opportunities relate to each other.

The study shows that the opportunity for IntelliCom to start using the new technology to increasing the sales of data and services, not only products, is good. The study points out that IntelliCom should chose a business model that targeting OEM companies. IntelliCom should limit the offer to provide unprocessed data and let the OEM customer process data to provide smart services to their customers worldwide.

Estilos ABNT, Harvard, Vancouver, APA, etc.
13

Becker, Steffen. "Coupled model transformations for QoS enabled component-based software design". Karlsruhe Univ.-Verl. Karlsruhe, 2008. http://d-nb.info/990667650/04.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
14

Půta, Tomáš. "Customizace ERP systému v modelu MBI". Master's thesis, Vysoká škola ekonomická v Praze, 2016. http://www.nusl.cz/ntk/nusl-203993.

Texto completo da fonte
Resumo:
This thesis is about changes which are define by company: customization. The main goal of this work is to identify the main phases of this process and put it into the reference model MBI. In the first chapter the theoretical apparat of the process of customization is defined as well as the business impact of this process. The second chapter focuses on the aforementioned extension of the MBI model. This extension is realized by four tasks, which clearly define the process of customization. These tasks are linked with scenarios which define the problems of this process. This work also includes three new factors and a document of the MBI model.
Estilos ABNT, Harvard, Vancouver, APA, etc.
15

Freij, Urban. "Modelldriven arkitektur förbättrar hanteringen av problemet med import av data till ER-modeller". Thesis, KTH, Data- och elektroteknik, 2015. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-169048.

Texto completo da fonte
Resumo:
I många sammanhang är det önskvärt att importera data från textfiler, excelfiler och liknande till en databas. För detta krävs att data i något skede översätts till en ER-modell (Entity Relationship), en modell som beskriver relevanta delar i ett databasschema. Modellen för hur denna översättning ser ut varierar från fall till fall. I det här examensarbetet har en applikation tagits fram för import av data till en ER-modell ur ett modellperspektiv i linje med Model Driven Architecture (MDA) ™. Vinsten ligger i att använda en metamodell som beskriver hur olika modeller för transformering från tabelldata till en ER-modell får se ut. Modellerna i sin tur beskriver hur transformeringen ska se ut. På så sätt kan flera olika modeller användas utan att ändringar i källkoden behöver göras. Metamodellen som beskriver transformeringen har visualiserats i ett klassdiagram. Klassdiagrammet beskriver schematiskt sambanden mellan tabeller som data ska importeras ifrån och den ER-modell som data ska överföras till. Metamodellen har transformerats till ett XML-schema.  Modellerna som ska användas har skrivits i en XML-fil som följer den transformerade metamodellen.
In many situations it is desirable to import data from text files, excel files and similar to a database. To do so the data needs to be translated at some stage to an ER model (Entity Relationship), i.e. a model describing relevant parts of a database schema. The approach for this translation varies from case to case. During this thesis an application has been developed to import data to an ER model from a modeling perspective, in line with the Model Driven Architecture (MDA) ™. The gain lies in using a metamodel that describes how different models for transformation from grid tables to an ER mode may look like. The models in turn describe how the transformation will look, thus allowing the usage of several different models without any need of changes to the source code. The metamodel describing the transformation of data can be visualized in a class diagram. The class diagram schematically describes the relationships between tables of data to be imported from and the ER model the data will be transferred to. Preferable is to write a model in an XML that conforms to the metamodel. Therefore the class diagram should be transformed into an XML schema that enables validation of the model in the XML file.
Estilos ABNT, Harvard, Vancouver, APA, etc.
16

Široký, Petr. "Testování platformy JBoss Drools založené na modelu". Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2014. http://www.nusl.cz/ntk/nusl-236053.

Texto completo da fonte
Resumo:
Model-based testing (MBT) is using a model of expected behavior of the system to automatically generate a set of tests. It aims at reducing the testing cost when compared to the traditional testing techniques. This work focuses on testing a real-world software system using the selected MBT tool OSMO. The tested system is responsible for compiling business rules and it is one of the main components of the Drools platform, developed by Red Hat. The work describes the introduction of MBT considering the good reception from the community of developers, then the creation of compiler input models and evaluation of the newly created test suite. The usage of the MBT resulted in detection of five reported and three potential issues in the tested code. Using the Drools compiler example, the work summarizes the main strengths and also weaknesses of practical use of MBT techniques.
Estilos ABNT, Harvard, Vancouver, APA, etc.
17

Grombíř, Jakub. "Controlling v modelu řízení podnikové informatiky (MBI)". Master's thesis, Vysoká škola ekonomická v Praze, 2014. http://www.nusl.cz/ntk/nusl-193919.

Texto completo da fonte
Resumo:
The diploma thesis is focused on creation of a controlling model, which follows the structure of a reference model for management of business informatics MBI. The model is being developed under the grant project at the Department of Information Technologies, at the University of Economics in Prague and cooperation with Czech Technical University in Prague. The theoretical part provides a brief introduction with the MBI model and the area of controlling. The practical part contains three main objectives. The first objective focuses on creating fundamental controlling objects in the MBI model. The second objective is to design metrics and dimensions, which provides the possibility to measure and view controlling from a different perspective. The third objective deals with the creation of an analytical application, which is used for tracking costs, expenses and effects of the controlling in company. The main contribution of this work is the created controlling model in the information basis MBI. Created objects serve companies as a starting points for implementation and operation of controlling. The model also enables watching and analyzing contributions and costs of controlling. Newly created objects are designed in a way that companies can use just some of them without the need of deployment the whole model.
Estilos ABNT, Harvard, Vancouver, APA, etc.
18

Hrbková, Michaela. "Rozvoj modelu MBI v oblasti implementace CRM". Master's thesis, Vysoká škola ekonomická v Praze, 2015. http://www.nusl.cz/ntk/nusl-193932.

Texto completo da fonte
Resumo:
The work deals with the implementation of CRM solutions, it's representation in the reference model MBI, which is the main goal of the work. In the first part the market of CRM products is analyzed and the current trends in the industry are introduced. The second part is focused on the aforementioned extension of the reference model MBI based on the knowledge and the experience of professional literature in the implementation of CRM solutions. The extension is realized in the form of four tasks which generalize practices for implementing customer relationship management, further work is completed by factors that describe the practical procedures and instructions for working in CRM solutions. The application used is also defined in this work.
Estilos ABNT, Harvard, Vancouver, APA, etc.
19

Hauksson, Hilmar. "Metamodeling for Business Model Design : Facilitating development and communication of Business Model Canvas (BMC) models with an OMG standards-based metamodel". Thesis, KTH, Skolan för informations- och kommunikationsteknik (ICT), 2013. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-138139.

Texto completo da fonte
Resumo:
Interest for business models and business modeling has increased rapidly since the mid-1990‘s and there are numerous approaches used to create business models. The business model concept has many definitions which can lead to confusion and slower progress in the research and development of business models. A business model ontology (BMO) was created in 2004 where the business model concept was conceptualized based on an analysis of existing literature. A few years later the Business Model Canvas (BMC) was published; a popular business modeling approach providing a high-level, semi-formal approach to create and communicate business models. While this approach is easy to use, the informality and high-level approach can cause ambiguity and it has limited computer-aided support available. In order to propose a solution to address this problem and facilitate the development and communication of Business Model Canvas models, two artifacts are created, demonstrated and evaluated; a structured metamodel for the Business Model Canvas and its implementation in an OMG standards-based modeling tool to provide tool support for BMC modeling.This research is carried out following the design science approach where the artifacts are created to better understand and improve the identified problem. The problem and its background are explicated and the planned artifacts and requirements are outlined. The design and development of the artifacts are detailed and the resulting BMC metamodel is presented as a class diagram in Unified Modeling Language (UML) and implemented to provide tool support for BMC modeling. A demonstration with a business model and an evaluation is performed with expert interviews and informed arguments.The creation of a BMC metamodel exposed some ambiguity in the definition and use of the Business Model Canvas and the importance of graphical presentation and flexibility in the tools used.The evaluation of the resulting artifacts suggests that the artifacts do facilitate the development and communication of the Business Model Canvas models by improving the encapsulation and communication of information in a standardized way and thereby the goals of the research are met.
Estilos ABNT, Harvard, Vancouver, APA, etc.
20

Claußnitzer, Ralf. "Effiziente Schemamigration in der modellgetriebenen Datenbankanwendungsentwicklung". Master's thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2008. http://nbn-resolving.de/urn:nbn:de:bsz:14-ds-1212156557862-16452.

Texto completo da fonte
Resumo:
Unter dem Terminus der MDA (Model Driven Architecture)versteht man eine Methode, Anwendungen im Rahmen der UML zu spezifizieren und ablauffähigen Programm-Code durch automatische Generierung zu erzeugen. Am Lehrstuhl für Datenbanken existiert in diesem Zusammenhang das GignoMDA-Projekt, daß sich mit der modellgetriebenen Entwicklung von Datenbankenanwendungen beschäftigt. Als wesentlicher Bestandteil der jeweiligen Anwendung sind Datenmodelle jedoch, genau wie die Anwendungsarchitektur selbst, Anpassungen an sich veränderte Zielstellungen und Umgebungsbedingungen unterworfen. Es stellt sich also die Notwendigkeit der Überführung von Datenbeständen in neu generierte Zielsysteme, als Bestandteil eines vollständig modellgetriebenen Ansatzes dar. Diese Arbeit stellt ein Konzept zur Schema- und Datenmigration bei der Weiterentwicklung der Anwendungs-Datenbankmodelle vor. Dabei werden Datenmigrationen, gemäß dem MDA-Ansatz, als Modell in UML ausgedrückt und anschließend zur automatischen Erzeugung von plattformabhängigen Migrationsmodellen genutzt. Aus diesen Migrationsmodellen können so, Datenbanktechnik basierte Programme (ETL, Stored Procedures) zur effizienten Ausführung von Migrationen generiert werden.
Estilos ABNT, Harvard, Vancouver, APA, etc.
21

Sojčák, Juraj. "Generátor testovacích běhů nad GUI". Master's thesis, Vysoké učení technické v Brně. Fakulta informačních technologií, 2019. http://www.nusl.cz/ntk/nusl-403143.

Texto completo da fonte
Resumo:
Graphical user interfaces represent significant part of computer systems. This causes an increase of demands for their proper behavior, which can be achieved by a proper testing during development. This thesis describes the principles of model based testing for automated generation of test cases. In this way, the productivity of test teams can increase. The thesis defines model for modeling the most common GUI elements, algorithm for obtaining such a model from the GUI, and a tool for definition of coverage criteria.
Estilos ABNT, Harvard, Vancouver, APA, etc.
22

Kjellsdotter, Frida. "MBS-modelling of a heavy truck : Modelling and model validation". Thesis, KTH, Fordonsdynamik, 2011. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-32076.

Texto completo da fonte
Resumo:
As a result of the accelerating demands for faster development within the heavy vehicle industry, computer aided simulations have become a more important tool in the development process. Simulations can offer faster evaluation of loads acting on the vehicle and more cost effective fatigue life predictions than physical testing, since physical prototypes are not needed for load measurements or fatigue tests. However, accurate fatigue life predictions without physical verification are today a difficult task with many uncertainties, yet simulations are still an important part of modern product development.The objective of this work is to investigate the accuracy of a virtual model of a physical truck. The thesis focuses only on load simulation accuracy, leaving the material uncertainties aside. The vehicle model is built using Adams/Car with two different complexities of the frame model. A part of the work is to investigate how the frame model complexity affects the accuracy of the results.The virtual truck is simulated in a virtual test rig that excites the model with displacement on the wheel hubs to represent the forces induced when the truck is driven on the test track. The process to make a drive signal to the test rig is iterative. Simulations are also performed with the virtual model equipped with tires and driven on a virtual 3D road.Model performance is evaluated using TDDI (Time Domain Discrepancy Index) and pseudo-damage. TDDI evaluates the results in the time domain and the pseudo-damage considers the potential fatigue damage in the time series. A value of the TDDI below 0.3 and between 0.5 and 2 for the pseudo-damage is found good. The accuracy is approximately the same as can be repeated by different test engineers driving the same test schedule with the same vehicle.When iterating using the cab and the front and rear end of the frame as response feedback, the results for the model with the simple frame model show good values of TDDI and pseudo damage for the front end of the frame and the cab. Though the axles and the mid of the frame show poor results. The rear end of the frame does not reach the model performance targets, getting a too low value of the pseudo-damage while the TDDI value is good. The vehicle model with the complex frame shows similar results, when using the same response feedback, although the frame model is not optimized.The full vehicle model driving on 3d-road does not, at present, deliver accurate results. However, the relative damping for the beams, representing the leaf springs, has turned out to highly affect the results. The leaf spring model thus need to be optimized. The complex frame model is not showing results good enough to justify the extra modelling time. The accuracy of the full-vehicle model can be considerably improved by optimizing the model/-s of the wheel suspension and the complex frame model.
Estilos ABNT, Harvard, Vancouver, APA, etc.
23

Baerisch, Stefan. "Domain-specific model-driven testing". Wiesbaden Vieweg + Teubner, 2009. http://d-nb.info/995466882/04.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
24

Rodrigues, Gustavo Afonso. "Um simulador para modelos descritos em UML". Universidade de São Paulo, 2009. http://www.teses.usp.br/teses/disponiveis/3/3141/tde-29092010-162003/.

Texto completo da fonte
Resumo:
O objetivo da pesquisa apresentada neste trabalho foi investigar como simular modelos descritos em Unified Modelling Language (UML) para sistemas de software especificados em nível de negócio. Um simulador de um modelo UML em nível de negócio pode ser uma ferramenta útil para um projetista que procura por erros ou modelos incompletos. Usando abordagens de desenvolvimento tradicionais, estes tipos de erros seriam encontrados apenas em estágios posteriores do ciclo de vida de desenvolvimento do sistema. Os principais resultados deste trabalho são a especificação de uma arquitetura de uma máquina virtual capaz de executar todas as ações descritas em um modelo UML, e o protótipo chamado ModSim, o qual executa um modelo UML recebido no formato XML Metadata Interchange (XMI).
The main goal of the research presented in this Master Thesis was to investigate how to simulate UML based models for software systems specified on business level. A simulator of a UML model on business level can be a useful tool for a designer looking for errors or incomplete models. Using traditional development approaches, these kind of errors would be found only on lates stages of the system development. The main results of this work are the specification of an architecture of a virtual machine capable of executing all actions described in the UML model, and the prototype named ModSim, which executes a UML model received in XMI format.
Estilos ABNT, Harvard, Vancouver, APA, etc.
25

Mignon, Alexandre dos Santos. "Aplicação da técnica de tecelagem de modelos na transformação de modelos na MDA". Universidade de São Paulo, 2007. http://www.teses.usp.br/teses/disponiveis/3/3141/tde-25062007-170434/.

Texto completo da fonte
Resumo:
Uma das principais atividades dos enfoques de desenvolvimento de software centrados em modelos, como por exemplo a Arquitetura Dirigida por Modelo (Model Driven Architecture - MDA), é o processo de transformação de modelos. Geralmente, um passo preliminar para a transformação dos modelos é o mapeamento dos elementos do meta-modelo fonte nos elementos do meta-modelo alvo. Este trabalho apresenta uma aplicação de uma técnica de mapeamento de modelos denominada tecelagem de modelos. Esta técnica permite ao usuário definir a semântica das ligações estabelecidas entre os elementos do meta-modelo fonte e os elementos do meta-modelo alvo. A semântica é definida através de tipos fortes associados às ligações. O presente trabalho analisa, através de dois experimentos, alguns aspectos da geração de modelos de transformação de modelos no arcabouço MDA, utilizando a técnica de tecelagem de modelos. A análise utiliza duas alternativas de especificação de transformação de modelos a título de comparação: a que usa somente uma linguagem de especificação de modelos de transformação e a que usa a técnica de tecelagem de modelos. Os aspectos analisados são: a reutilização de trechos de código escritos na linguagem de geração de especificações de transformação e a reutilização de decisões de projeto (design) no mapeamento entre dois meta-modelos distintos.
One of the main activities of the model-centric approaches of software development, as for example the Model Driven Architecture (MDA), is the process of model transformation. Usually, a preliminary step for model transformation is the mapping of source metamodel elements into target metamodel elements. This work presents an application of a technique for model mapping called model weaving. This technique allows the user to define the semantics of the links binding source metamodel elements and target metamodel elements. The semantics is defined through types associated to links. The work analyzes, through two experiments, some aspects of the generation of models transformation in the MDA framework, using a technique known as model weaving. The analysis, for comparison purposes, uses two techniques of model transformation specification: one using only a specification language for model transformation specification and another using model weaving. The analyzed aspects are: the reuse of pieces of code written in the language that generates the transformation of specifications and the reuse of design decisions in the mapping between two distinct metamodels.
Estilos ABNT, Harvard, Vancouver, APA, etc.
26

Lindh, Petter. "Emerging Markets : a Case Study on Foreign Market Entry in Laos; MBA-thesis in marketing". Thesis, University of Gävle, Department of Business Administration and Economics, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-4445.

Texto completo da fonte
Resumo:

Background

This thesis is conducted for Husqvarna AB with the aim to map the Laotian market for them in terms of market potential for forestry power equipment. In order to provide decision material for further action I was asked to give a description of the Laotian forestry sector; research potential harvesting volumes; analyze the competitive situation; describe the general business conditions in Laos; and provide some insight as to how Husqvarna can enter the Laotian market.

Method

The method I have used for collection of information is two-fold. The empirical data has mostly been derived via interviews with forestry officials and companies involved in forestry. The theoretical review and collection of secondary data has been performed by research of books, journals, reports, newspapers and online sources. The research methodology can accordingly be labelled "the actor approach" which methodology is based on understanding social entireties. An important element in this approach is a process referred to as the hermeneutic circle - a process in which new knowledge is continuously incorporated into the understanding and used as base for further research. An important part of the method is my personal experience of Laos, from which I consider myself being able to base some conclusions.

Theoretical Review

Foreign market entry can generally be made in four modes: Exporting, licensing, joint ventures, or sole ventures. Foreign market entry strategies may involve adapting the marketing strategy. It may also necessitate product adaption.

 

Market entry in developing countries will most likely mean being exposed to unfamiliar environments. The general business conditions might be very different from the home market and constitute higher levels of trade barriers and sociocultural distance may be difficult to deal with.

Case Study, Conclusions and Reflections

The highlights from these two chapters include:

  • Laos offers foreign investors to use any of the four market entry modes.
  • Doing business in Laos receives a low international rating, especially in terms of labor restrictions. It also has rather high trade barriers.
  • Laos is developing its commercial tree plantation sector and estimates suggest that the harvesting volumes will be increasing rapidly in the coming 10-15 years.
  • Importing and selling forestry power equipment is restricted. Laos does not yet have any authorized dealer for chainsaws. This provides for interesting opportunities.
  • The market is flooded with cheap, illegally imported, Chinese chainsaws, but it is questionable whether this actually constitutes any competition to Husqvarna, being a high quality brand. The Chinese chainsaws might however soon increase in terms of quality and be more competitive.
  • Obtaining an import and sales license for outdoor power products may be a rather lengthy procedure but once in place would mean being the first authorized dealer - which might be advantageous.

 

Recommendation

Due to Laos making efforts to increase the commercial tree plantation area, the harvesting volumes will increase rapidly the coming years. The sales potential for forestry equipment will hence increase in the years to come.

 

My recommendation to Husqvarna, if they have resources, is therefore to locate a dealer and enter the Laotian market. Plantations are however still mostly in the development phase. It is therefore doubtful that early entry is profitable enough to be motivated if there are other markets with higher potential that Husqvarna wants to enter.

 

Estilos ABNT, Harvard, Vancouver, APA, etc.
27

Dewanto, Blasius Lofi. "Anwendungsentwicklung mit Model Driven Architecture : dargestellt anhand vollständiger Finanzpläne /". Berlin : Logos, 2007. http://deposit.d-nb.de/cgi-bin/dokserv?id=2938376&prov=M&dok_var=1&dok_ext=htm.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
28

Dewanto, Blasius Lofi. "Anwendungsentwicklung mit model driven architecture dargestellt anhand vollständiger Finanzpläne". Berlin Logos, 2006. http://deposit.d-nb.de/cgi-bin/dokserv?id=2938376&prov=M&dok_var=1&dok_ext=htm.

Texto completo da fonte
Estilos ABNT, Harvard, Vancouver, APA, etc.
29

Malý, Jan. "Řízení ECM v rámci modelu řízení podnikové informatiky MBI". Master's thesis, Vysoká škola ekonomická v Praze, 2014. http://www.nusl.cz/ntk/nusl-192430.

Texto completo da fonte
Resumo:
The thesis is focused on ECM and its representation in the reference model of IT management MBI. The main objective is to extend the aforementioned model with objects associated with the ECM - factors describing the structure of solutions, tasks defining the procedure for its implementation and the links between them and existing objects. The thesis analyzes in detail the benefits, but also the risks and problems associated with solution implementation. The methodology provides a set of best practices for the implementation of ECM.
Estilos ABNT, Harvard, Vancouver, APA, etc.
30

Klouček, Ondřej. "Finanční řízení podniku v modelu řízení podnikové informatiky MBI". Master's thesis, Vysoká škola ekonomická v Praze, 2014. http://www.nusl.cz/ntk/nusl-193222.

Texto completo da fonte
Resumo:
This diploma thesis focuses on two individual tasks in the MBI model (Management Business of Informatics). Analyzed tasks come under the section of Business Information System, specifically under the Business Financial Management group of tasks. The tasks deal with financial analysis, financial planning and budgets. The aim of the thesis is to create these tasks sufficiently detailed for the MBI model including detailed elaboration of the key activities and linkages to the existing MBI environment. The theoretical part consists of analysis of information sources. The practical part is based on these theoretical findings, which are grouped into logical units and, based on the assessment of the current state, remodeled into the form compliant with the MBI rules. The author of the thesis contributed to this research subject with creating the above mentioned tasks, including detailed key activities and with analysis and the blueprint of the linkages of the newly created tasks to the existing content of MBI in order to ensure effective work with the model for the users. Model documents and templates for calculations have been created for some of the tasks. The first part of the thesis theoretically describes the research subject with a focus on the systems of source information for the analyzed tasks. Based on this theoretical part, the practical part contains the commented version of tasks for the MBI model including the linkages for other methodical objects and contingent model materials.
Estilos ABNT, Harvard, Vancouver, APA, etc.
31

Velebová, Denisa. "Rozvoj modelu MBI v oblasti implementace a integrace WMS". Master's thesis, Vysoká škola ekonomická v Praze, 2015. http://www.nusl.cz/ntk/nusl-201671.

Texto completo da fonte
Resumo:
The aim of this thesis is the implementation and integration of solutions for Intelligent Warehouse Management into the ERP system, and its representation in the reference model of MBI. The work is composed of the individual chapters, of which the first chapters provides an extensive search to acquaint the reader with the basic characteristics of logistics, and logistics information technology support, which aims to improve KPI reporting and the level of SCM. The thesis also solves the characteristics and functionality of ERP and WMS systems and systems integration. The main part of the thesis describes the various stages of implementation and integration in the form of four tasks and their related factors representing general practices and procedures for the successful implementation of the system for Intelligent Warehouse Management.
Estilos ABNT, Harvard, Vancouver, APA, etc.
32

Pereira, Vinícius. "Uma abordagem para representação de resultados formais na UML". Universidade de São Paulo, 2017. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-26092017-160607/.

Texto completo da fonte
Resumo:
A UML é uma notação gráfica utilizada na modelagem de sistemas orientados a objetos, em diferentes domínios da computação. Por ser simples de utilizar, em relação a outras formas de modelagem, a UML é amplamente difundida entre os desenvolvedores de software, tanto na academia quanto na indústria. Entre as suas vantagens, encontram-se: (i) a representação visual das relações entre classes e entidades, pois ao se utilizar de diagramas, a UML facilita o entendimento e a visualização das relações dentro do sistema modelado; (ii) a legibilidade e usabilidade, sem que seja necessário a leitura do código do sistema, uma vez que um desenvolvedor pode compreender quais partes do código são redundantes ou reutilizadas; e (iii) uma ferramenta de planejamento, ao auxiliar na definição do que deve ser feito, antes que a implementação comece de fato, além de poder produzir código e reduzir o tempo de desenvolvimento. Todavia, a UML possui desvantagens, tais como: (i) ambiguidade entre elementos UML diferentes, devido a sobreposição dos diagramas; e (ii) falta de uma semântica clara, o qual geralmente faz com que a semântica da linguagem de programação seja adotada. Para mitigar essas desvantagens, pesquisadores buscam atribuir uma semântica formal à UML. Esse tipo de semântica é encontrado em modelos formais, onde o sistema modelado é livre de ambiguidades e possui uma semântica clara e precisa. Por sua vez, os modelos formais não são simples de serem criados e compreendidos por desenvolvedores. O grau de conhecimento em formalismo necessário para utilizar tal modelo é alto, o que faz com que seu uso seja menos difundido, comparado com a notação gráfica não formal da UML. Apesar dos esforços dos pesquisadores, as técnicas de formalização semântica da UML apresentam, no geral, um problema pouco abordado: apesar de utilizar a UML para modelar o sistema, o artefato final dessas técnicas é um trace formal. Considerando o conhecimento comum de um desenvolvedor de software, esse trace dificulta a análise dos problemas, encontrados pelos model checkers, e a correção dos mesmos no modelo UML. Com o objetivo de auxiliar o desenvolvedor na compreensão dos resultados formais (o trace citado), esta tese de doutorado apresenta uma abordagem baseada em Model-driven Architecture (MDA) capaz de representar as informações dos resultados formais dentro de um modelo UML. Por meio de transformações do modelo UML, essas representações, definidas utilizando a abordagem, auxiliam o desenvolvedor a visualizar o fluxo de execução do model checker dentro do modelo UML. Assim, acredita-se que as vantagens obtidas pela formalização semântica da UML podem ser mais difundidas e utilizadas pelos desenvolvedores, principalmente na indústria.
UML is a graphical notation used for modeling object-oriented software systems in different domains in computer science. Being simple to use, compared to other modeling techniques, UML is widespread among software developers, both in academia and industry. Among its advantages are: (i) the visual representation of the relationships between classes and entities, as when using diagrams, UML facilitates understanding and visualization of relationships within the modeled system; (ii) readability and usability without having to read the system code, since a developer can understand which parts of the code are redundant or reusable; and (iii) a planning tool, helping to define what needs to be done before the implementation actually begins, as well as being able to produce code and reduce development time. However, the UML also has disadvantages, such as: (i) ambiguity between different UML elements due to overlapping diagrams; and (ii) lack of clear semantics, which generally causes the semantics of the programming language to be adopted. To mitigate these disadvantages, researchers seek to assign a formal semantics to the UML. This type of semantics is found in formal models, where the modeled system is free of ambiguity and has a clear and precise semantics. On the other hand, formal models are not simple to create and understand by developers. The degree of formalism knowledge required to use such a model is high, which makes their use less widespread, compared to UML non-formal graphical notation. Despite the researchers efforts, in general the techniques that formalize the UML semantics has a problem that is forgotten: although using the UML to model the system, the final artifact of these techniques is a formal trace. Considering the common knowledge of a software developer, this trace makes it difficult to analyze the problems encountered by model checkers and to correct them in the UML model. In order to assist the developer in understanding the formal results (the trace above), this thesis presents an approach based on Model-driven Architecture (MDA) capable of representing the information of the formal results in the UML model. Through UML model transformations, these representations, set using the approach, help the developer to visualize the execution flow of the model checker within the UML model. Thus, we believe that the advantages obtained by formalizing the UML semantics may be more widespread and used by developers, especially in industry.
Estilos ABNT, Harvard, Vancouver, APA, etc.
33

Björk, Carl, e Per Salomonsson. "Creating Interface-Controllers using Model Driven Architecture". Thesis, Blekinge Tekniska Högskola, Avdelningen för programvarusystem, 2004. http://urn.kb.se/resolve?urn=urn:nbn:se:bth-1594.

Texto completo da fonte
Resumo:
In this thesis we will examine a telecom industry case, where combining synchronous and asynchronous interfaces causes problems. A solution to the problem is being presented in form of an interface controller framework that is based on patterns of common functionality of interface controllers. The solution is implemented using four different implementation methods (Java, Erlang, XDE, Executable UML), and compared in lines of code, performance and throughput.
I rapporten undersöks ett fall i telekominudstrin, där kombinerandet av synkrona och asynkrona interface orsakar problem. En lösning på problemet är presenterat i form av ett framework för interface controllers som är baserat på mönster som beskriver den gemensamma funktionaliten i interface controllers. Lösningen är implementerad med hjälp av fyra olika implementeringsmetoder (Java, Erlang, XDE och Executable UML), där rader kod och prestanda jämförs.
pt00cbj@student.bth.se pt00psa@student.bth.se
Estilos ABNT, Harvard, Vancouver, APA, etc.
34

SOUZA, Cléclio Feitosa de. "Modelling and Integrating Formal Models: from Test Cases and Requirements Models". Universidade Federal de Pernambuco, 2007. https://repositorio.ufpe.br/handle/123456789/2633.

Texto completo da fonte
Resumo:
Made available in DSpace on 2014-06-12T15:59:48Z (GMT). No. of bitstreams: 1 license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2007
A especificação formal de um sistema ou seu modelo formal é uma forma abstrata de representar suas propriedades (características). Métodos formais é um ramo da Engenharia de Software com foco no desenvolvimento de sistemas tendo uma especificação formal do mesmo como ponto de partida. Inicialmente, as vantagens de usar notações abstratas antes da implementação do sistema estavam apenas relacionadas a um melhor entendimento do problema. Depois, tornou-se evidente que o uso de notações formais abstratas combinadas com técnicas de refinamentos de modelos reduzem o tempo de desenvolvimento e aumentam a qualidade do produto de sistema. A fase de testes é positivamente influenciada pelo uso de métodos formais. Pesquisas têm sido desenvolvidas para melhorar a qualidade do sistema usando modelos formais e casos de teste. Uma vez verificadas as propriedades do sistema através de uma investigação dos modelos formais, é possível gerar casos de testes confiáveis do sistema que serão colocados em ação para verificar a implementação do sistema posteriormente. O campo de pesquisa que explora métodos formais aplicados com testes de software é chamada de Testes Baseados em Modelos, ou simplesmente MBT, do inglês Model-Based Testing. Porém, há situações onde não é possível possuir o modelo abstrato definido a priori. Para superar tal restrição outras técnicas surgiram para sintetizar um modelo abstrato seguindo apenas execuções do sistema. As execuções de um sistema contêm comportamentos necessários para construir um modelo abstrato desse sistema. Na literatura atual, tais técnicas usadas para construir representações abstratas seguindo execuções do sistema são chamadas de Anti-Model- Based Testing ou simplesmented Anti-MBT. Então, depois de construir um modelo abstrato, técnicas de verificação de modelos e geração de casos de teste seguindo modelos formais podem ser aplicadas normalmente. O propósito desse trabalho é dar suporte a algumas técnicas de MBT usadas no contexto da Motorola (CIn/BTC). Em tais técnicas, as especificações usadas para gerar casos de testes são geralmente incompletas, inconsistentes, e às vezes não existem. Portanto, usando casos de testes reais do sistema é possível criar novas especificações e atualizar especificações originais do sistema, e posteriormente gerar novos casos de teste usando comportamentos válidos do sistema. Um outro problema detectado em nosso contexto é a distância existente entre as representações abstratas e reais. Um caso de teste abstrato, por exemplo, é útil em técnicas formais, mas não é possível executar um caso de teste diretamente no sistema. Dessa forma, para executar (manualmente ou automaticamente) os casos de teste gerados pelas técnicas de MBT é necessário primeiro traduzi-los em uma representação real. Como resultado desse trabalho nós desenvolvemos técnicas formais de modelagem do comportamento do sistema usando casos de teste. Os resultados das técnicas de modelagem são modelos formais especificados nos formalismos de LTS ou CSP. Além disso, nós definimos uma técnica de unificação que une modelos formais gerados a partir de diferentes artefatos do sistema (requisitos e casos de teste). O resultado da técnica de unificação é um completo e unificado modelo do sistema, que contém informações providas de diferentes artefatos. Nós também definimos uma técnica para traduzir casos de teste abstratos em representações reais. Os casos de teste reais gerados por nossa técnica de tradução são usados no contexto do time de automação de testes da Motorola, onde esse trabalho está inserido. Finalmente, nós automatizamos as técnicas desenvolvidas usando linguagens de programação e especificações formais. O resultado é a ferramenta TCRev que é capaz de modelar, unificar e traduzir modelos do sistema. A ferramenta TCRev interage com o outras ferramentas externas, tais como FDR e FDR Explorer. Todos os resultados foram validados em estudos de casos reais executados no contexto da Motorola. Nessa dissertação nós apresentamos um destes estudo de casos
Estilos ABNT, Harvard, Vancouver, APA, etc.
35

Reichelt, Toni. "A Model Driven Approach for Service Based System Design Using Interaction Templates". Doctoral thesis, Universitätsbibliothek Chemnitz, 2012. http://nbn-resolving.de/urn:nbn:de:bsz:ch1-qucosa-85986.

Texto completo da fonte
Resumo:
Based on the increasing complexity of modern avionics, the associated system design processes moved towards Model Driven Architecture (MDA) based processes. Additionally, the demand for higher system autonomy features requires means to further modularise mission systems and to define and establish interactions among the systems’ individual components. Therefore, the ideas of service-oriented computing are currently adapted to established, model driven design processes. With respect to modelling interactions for service components, current approaches are limited to only a fixed set of communication primitives, restricting a service designer’s expressiveness to specify service interaction. In consequence, interaction patterns not included in this basic set have to be reflected in application code, mangling application and communication logic. Furthermore, when service functionality relies on communication semantics which are not provided by the underlying set of primitives, additional emulation behaviour has to be added to the service which makes this mangling even worse. Platform independence is reduced as services can not easily be ported to platforms not natively supporting the selected primitives which contradicts the ideas of model-driven development. Addressing these limitations, this thesis proposes a new model-driven service development process based on Interaction Templates (ITs), promoting interactions among service participants to first class modelling entities. The process focuses on modelling the interactions among service participants. Interaction semantics are explicitly specified in models, beyond pure stereotyping, and gain increased platform independence for services with respect to communication. The process exploits automated Model-to-Model (M2M) and Model-to-Text (M2T) transformations to assist service implementation and to automatically derive interaction realisations on concrete target platforms. This allows for easy replacement and inter-mixing of communication middleware to realise a service’s interactions. This way, services become independent of the underlying communication primitives by only relying on ITs and not platform primitives which are hidden behind ITs. In turn, realising ITs on concrete platforms is not affected by their utilisation for service interaction. Beside the novel modelling process itself, the presented work defines a Unified Modeling Language (UML) profile, referred to as UML Profile for Interaction-centric Services (UP4IS), which directly supports the adaptation of standard UML language constructs and tools for the proposed modelling approach. The whole development process is demonstrated via the specification of a simple video recording systems consisting of two services. The services themselves are based on a representative IT library which forms an essential part of the presented case study. Using these service and IT models, the thesis emphasises the necessary model transformation and code generation steps to derive service implementations based on the abstract models.
Estilos ABNT, Harvard, Vancouver, APA, etc.
36

Pykal, Vojtěch. "Výpočtové modelování dynamiky záběru čelního ozubeného soukolí v prostředí MBS". Master's thesis, Vysoké učení technické v Brně. Fakulta strojního inženýrství, 2021. http://www.nusl.cz/ntk/nusl-445163.

Texto completo da fonte
Resumo:
This master’s thesis is focused on the compilation of a computational modelling of gear mesh engagement dynamics of a spur gear by MBS approach. The user input is the specific geometry of gears, the operating speed, and the load torque. The output are the forces in the gear engagement and the reaction of the forces in the wheel bearings depending on the change in the stiffness of the gear due to the changing number of teeth in the engagement and the change in the axial distance. This model is characterized by a fast and relatively accurate calculation in the time domain. This means that it can react to changes in parameters during simulation such as axial distance, speed, and torque.
Estilos ABNT, Harvard, Vancouver, APA, etc.
37

Jimenez, Moral Inmaculada, e Arcayne Mañá Joan De. "Model Driven Architecture in Adaptive Library Generation". Thesis, Växjö University, School of Mathematics and Systems Engineering, 2008. http://urn.kb.se/resolve?urn=urn:nbn:se:vxu:diva-2304.

Texto completo da fonte
Resumo:

This master thesis is about building an adaptive library based on a platform independent model, which represents a conceptual design realizing the functional requirements being independent of the technologies and software architectures changes.

This adaptive library is a model, which has a higher level of abstraction than the code that we will generate afterwards, generalizes the solution of those problems that can be resolved using different implementations that uses different kinds of data structures.

In addition the higher level of abstraction that this adaptive library is having will give a speed up in developing the application and higher quality solution because of the maintainability and reusability. This solution is going to have the propriety to be changed easily in order to solve different concrete problems.

Estilos ABNT, Harvard, Vancouver, APA, etc.
38

Andersson, Henric. "Aircraft Systems Modeling : Model Based Systems Engineering in Avionics Design and Aircraft Simulation". Licentiate thesis, Linköping University, Linköping University, Machine Design, 2009. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-17573.

Texto completo da fonte
Resumo:

Aircraft developers like other development and manufacturing companies, are experiencing increasing complexity in their products and growing competition in the global market. One way to confront the challenges is to make the development process more efficient and to shorten time to market for new products/variants by using design and development methods based on models. Model Based Systems Engineering (MBSE) is introduced to, in a structured way, support engineers with aids and rules in order to engineer systems in a new way.

In this thesis, model based strategies for aircraft and avionics development are studied. A background to avionics architectures and in particular Integrated Modular Avionics is described. The integrating discipline Systems Engineering, MBSE and applicable standards are also described. A survey on available and emerging modeling techniques and tools, such as Hosted Simulation, is presented and Modeling Domains are defined in order to analyze the engineering environment with all its vital parts to support an MBSE approach.

Time and money may be saved by using modeling techniques that enable understanding of the engineering problem, state-of-the-art analysis and team communication, with preserved or increased quality and sense of control. Dynamic simulation is an activity increasingly used in aerospace, for several reasons; to prove the product concept, to validate stated requirements, and to verify the final implementation. Simulation is also used for end-user training, with specialized training simulators, but with the same underlying models. As models grow in complexity, and the set of simulation platforms is expanded, new needs for specification, model building and configuration support arise, which requires a modeling framework to be efficient.

Estilos ABNT, Harvard, Vancouver, APA, etc.
39

Sundqvist, Nicolas. "Can you trust your model? A showcase study of validation in 13C metabolic flux analysis". Thesis, Linköpings universitet, Institutionen för medicinsk teknik, 2019. http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-156328.

Texto completo da fonte
Resumo:
Cellular metabolism is one of the most fundamental systems for any living organisms, involving thousands of metabolites and reactions that forms large interconnected metabolic networks. Proper and comprehensive understanding of the metabolism in human cells has been a field of research for a long time. One of the key parameters in understanding the metabolism are the metabolic fluxes, which are the rates of conversion of metabolic intermediates. Currently, one of the main approaches for determining these fluxes is metabolic flux analysis (MFA), in which isotope-labelled compounds are introduced into the system and measured. Mathematical models are then used to calculate a prediction of the systems flux configuration. However, the current paradigm of MFA lack established methods for validating that a model can accurately predict quantities for which there are no experimental data. In this study, a model for the central human metabolism was created and evaluated with regards to the model’s ability to predict a validation dataset. Further, an uncertainty analysis of these predictions were performed with a prediction profile likelihood analysis. This study has conclusively shown that MFA models can be validated against experimental data that the model has never seen before. Additionally, such model predictions were shown to be observable with a well determined prediction uncertainty. These results shows that a systematic validation of MFA models is possible. This in turn allows for a greater trust to be placed in the models, and in any conclusions that are based on such models.
Estilos ABNT, Harvard, Vancouver, APA, etc.
40

Petronyuk, Oleksandr. "Řešení Business Intelligence v oblastí Vysokého školství na základě modelu MBI". Master's thesis, Vysoká škola ekonomická v Praze, 2014. http://www.nusl.cz/ntk/nusl-192367.

Texto completo da fonte
Resumo:
The thesis presents a Business Intelligence solution in higher education area. The solution is comprised of the design and implementation of representative tasks, metrics, dimensions and analytical applications with the use of MBI methods. The sub-goal is to summarize knowledge gained by the BI project implemented in higher education area by IBM Corporation. A Hands-on knowledge was used to achieve the set targets. This knowledge confirms the fact that designed tasks, metrics and dimensions are indeed applicable in practice. The main contribution of the thesis consists in enriching the MBI methodology with a solution applicable in high education sector. The interim contribution lies in documentation of specifics connected with implementation of the BI project within Internatinal Business Machines Corporation.
Estilos ABNT, Harvard, Vancouver, APA, etc.
41

Šušič, Luka. "Rozvoj modelu MBI v oblasti implementace a řízení elektronických nákupních systémů". Master's thesis, Vysoká škola ekonomická v Praze, 2013. http://www.nusl.cz/ntk/nusl-192465.

Texto completo da fonte
Resumo:
This thesis covers an area of procurement of companies. It's specifically orientated on supporting the procurement processes by electronic purchasing system. In the first part there are by literature search, identified and analyzed key factors for successful realization of the implementation and management of electronic purchasing system. In the second part there is comparison of the case study in Unipetrol Services s.r.o. and the key factors of the first part, which is resulting in a deduction and generalization of best practices for implementation and management of electronic purchasing systems. The main benefit and also the outcome of this work is an extension of the reference model MBI, based on a facts and practical experience in procurement area.
Estilos ABNT, Harvard, Vancouver, APA, etc.
42

Kanuščák, Marek. "Rozvoj modelu MBI v oblasti podpory finančnej konsolidácie na platforme CPM". Master's thesis, Vysoká škola ekonomická v Praze, 2015. http://www.nusl.cz/ntk/nusl-203798.

Texto completo da fonte
Resumo:
This thesis occupies with the issue and support of financial consolidation platform CPM (Corporate Performance Management). The aim of this thesis is the creation of tasks related to the lifecycle of the project implementation of CPM solution to support financial consolidation in sufficient detail for the development of a MBI model (Management of Business Informatics). This thesis also occupies with the detailed processing of key activities and links with the existing MBI environment. The theoretical part deals with analysis of the available resources, it describes the process of financial consolidation and CPM platform. The practical part is based on the theoretical knowledge as well as practical knowledge and uses both of them as a basis to processing them into a form, so, they comply with the MBI rules. The added value of this thesis is the creation of new tasks, their key activities and the links to existing MBI content in order to increase the efficiency of the worker, which uses the model. Regarding several tasks, there were created definitions of new applications, documents and metrics for the further development of MBI model.
Estilos ABNT, Harvard, Vancouver, APA, etc.
43

Fous, Ondřej. "Implementace a provoz podnikové informatiky v odvětví retail v modelu MBI". Master's thesis, Vysoká škola ekonomická v Praze, 2015. http://www.nusl.cz/ntk/nusl-203806.

Texto completo da fonte
Resumo:
Problem that emerges quite often when managing IT in retail industry is not understanding individual details and bindings between elements within this activity. Therefore, this diploma thesis is, with the help of MBI methodology, trying to draft frameworks for at least two scenarios which may emerge with high probability when managing IT in retail: choice and implementation of retail information system and corresponding hardware and subsequent service maintenance of chosen solution. These scenarios contain individual parts of addressed issues in form of tasks and their key activities; each single one of them defining processes, possible problems and finally bonds with internal and external elements, mainly because such bonds very often in a major way affect solution of said issues. Main goal of this thesis is to show these segments of reality from retail-and-its-surroundings-as-a-whole point of view, providing users of the methodology with description of the best ways to cope with the industry-specific problems in a practical and graspable way.
Estilos ABNT, Harvard, Vancouver, APA, etc.
44

Filho, Roberto de Medeiros Farias. "Um gerador de sistemas embarcados a partir de modelo independente de plataforma baseado no perfil MARTE". Universidade de São Paulo, 2013. http://www.teses.usp.br/teses/disponiveis/55/55134/tde-24072013-161420/.

Texto completo da fonte
Resumo:
O aumento da complexidade dos sistemas embarcados e a necessidade de um desenvolvimento cada vez mais acelerado têm motivado o uso de modelos abstratos que possibilitem maior flexibilidade e reusabilidade. Para isso, faz-se necessária a aceitação das linguagens e perfis mais abstratos, como o MARTE. Neste trabalho, foi desenvolvida uma ferramenta para conversão de sistemas embarcados independente de plataforma (PIM) em sistemas de uma plataforma específica (PSM), denominada I2S (Independente to Specific). O I2S é totalmente acoplável a novos desenvolvimentos e necessidades do projetista, capaz de modelar representações gráficas de sistemas embarcados, usando componentes do MARTE e permitindo uma implementação final em tecnologia reconfigurável. A partir de um modelo independente de plataforma faz-se a conversão para o padrão de projeto SOPC-Builder da Altera e XPS da Xilinx, possibilitando a exploração do espaço de projeto nessas duas tecnologias de modo automático. O trabalho faz análise de sistemas convertidos em diversas configurações e traz resultados relevantes para a área que validam o uso da proposta, atendendo aos requisitos de projeto
The growing of embedded systems complexity and the want for a quicker development has motivated the use of abstract models that improves flexibility and reusability. To these objective, we searched for the most adequate languages and profiles, like MARTE. In this work we developed a tool for conversion from platform independent models (PIM) to platfom specific models (PSM), named I2S (Independent to Specific). The I2S is totally acceptable to new developments and necessities of the designer, to open up modelling graphic representations of embedded systems using MARTE components and doing implementation in reconfigurable technology. A platform independent model is converted to the pattern of Alteras SOPC-Builder and Xilinxs XPS, making possible the exploitation of the project space in theses two tecnologies automatically. The work does analysis of systems converted in different configurations and shows relevant results to the area that validate the use of the proposal, meeting the project requirements
Estilos ABNT, Harvard, Vancouver, APA, etc.
45

Tu, Zhiying. "Federated approach for enterprise interoperability : a reversible model driven and HLA based methodology". Thesis, Bordeaux 1, 2012. http://www.theses.fr/2012BOR14673/document.

Texto completo da fonte
Resumo:
L'interopérabilité est une des caractéristiques requises pour les entreprises évoluant dans un marché globalisé à la concurrence croissante et complexe. Dans la dernière décennie, l'interopérabilité des entreprises a été développée et prescrite par différents types de cadres, de méthodes et de techniques. Cependant, le développement de l'interopérabilité n'est pas encore assez mature pour être considéré en tant que science à part entière. Par ailleurs, il ne cesse d'évoluer en fonction des besoins des entreprises,de leurs environnements et des différents secteurs d’activité. Aujourd'hui, l'environnement s’organise en réseaux multipleet provoque d’imprévisibles situations liées à leurs dynamiques (création, modification, résilience). Ainsi l’interopérabilité durable devient une dimension nouvelle de recherche pour l'interopérabilité des systèmes d'entreprise et de leurs domaines d'applications. Dans l'interopérabilité durable, l'interopérabilité d'entreprise dynamique est l'un des thèmes focaux. Cette approche dynamique, également appelée « fédérée », est originaire du cadre d'interopérabilité de l'Entreprise proposée dans le Réseau d’Excellence (NoE)INTEROP. Il vise à donner la capacité aux entreprises d’établir une interopérabilité à la volée sans connaissance préalable des informations à échanger. Cette thèse présente l'état actuel des travaux qui se rapprochent du développement de l'interopérabilité des entreprises « fédérés » en dynamique. Ces travaux de thèse mettent tout d’abord en évidence l’intérêt de la redécouverte de modèles à partir d’un système existant avant de concevoir un futur système. Une méthodologie de réverse engineering dirigée par les modèles et basée sur la norme de simulation distribuée HLA est proposée pour concevoir et développerpar l'approche fédérée d'interopérabilité le futur système d’information de l’entreprise. La phase de mise en œuvre réutilise les concepts d’interopérabilité issusde la simulation distribuée pour faciliter et coordonner la communication entre les systèmes d'information distribués hétérogènes des entreprises en combinant avec les dernières orientation service actuelle du web. La plate-forme tend ainsi à satisfaire les attentes de la dernière version du standard de l'architecture de haut niveau HLA 1516 Evolved. Ce cadre propose donc un cycle complet de développement pour qui a l'intention de réutiliser un système d'information existant sans recoder ex-nilo, mais en l’adaptant aux nouvelles exigences de la dynamique d'interopérabilité
Interoperability is one of the requisite features for existing enterprises in the increasing competitive and complex global market. In the last decade, enterprise interoperability has been developed and prescribed by various kinds of frameworks, methods, and techniques. However interoperability development is still not mature enough to become a science. Meanwhile, it keeps evolving according to different business requirement and market environment. Nowadays, networked environment causes unpredictable dynamical situations, thus sustainable interoperability becomes a new research dimension in the interoperability of enterprise systems and applications domain. In the sustainable interoperability, enterprise interoperability dynamics is one of the focal topics. This dynamic approach also called federated is originated from Enterprise Interoperability Framework of INTEROP NoE, which aims to establish interoperability on the fly. This thesis presents current state on federated approaches to develop enterprise interoperability dynamics. Based on this study, a reversible model driven and HLA based methodology is proposed for achieving federated approach for Enterprise Interoperability. It reuses distributed simulation interoperability concepts to facilitate and coordinate the communication between heterogeneous distributed information systems of the enterprises. The platform is complaint with the latest version of the High Level Architecture (HLA) that is a distributed communication standard. This framework is also proposing a development lifecycle that intends to reuse existing information systems without recoding them but by adapting them to the new requirements of interoperability dynamics
Estilos ABNT, Harvard, Vancouver, APA, etc.
46

Secundino, de Souza Junior Milton. "MDSA: Uma Proposta de Integração de Elementos de Arquitetura de Software à Model Driven Architecture". Universidade Federal de Pernambuco, 2004. https://repositorio.ufpe.br/handle/123456789/2552.

Texto completo da fonte
Resumo:
Made available in DSpace on 2014-06-12T15:59:12Z (GMT). No. of bitstreams: 2 arquivo4976_1.pdf: 1589739 bytes, checksum: d3d94485fe3c7ca76e3df8231052a89f (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2004
Os sistemas de software estão se tornando cada vez mais complexos. O trabalho de desenvolvimento requer ferramentas, técnicas e metodologias avançadas para fins de entendimento e modelagem. A inclusão dos conceitos de arquitetura de software no processo de desenvolvimento auxilia este trabalho, uma vez que ela fornece uma visão de alto nível do sistema. Ela também permite aos desenvolvedores tomar, de forma segura e precisa, decisões a respeito de aspectos estruturais e comportamentais da aplicação que deverá ser implementada. Algumas propostas de modelagem foram elaboradas em uma tentativa de integrar os conceitos clássicos de arquitetura de software com ferramentas e técnicas modernas já difundidas entre os desenvolvedores. Como exemplo, podemos citar os perfis em UML e as extensões à linguagem para contemplar os requisitos de uma modelagem arquitetural. Neste contexto, o OMG adotou como padrão para modelagem arquitetural uma proposta baseada em UML e em visões distintas de um único sistema, conhecida por Model Driven Architecture (MDA). Apesar do termo architecture , alguns elementos de arquitetura de software (como os conectores e estilos arquiteturais) não estão explicitamente colocados na MDA. Sendo assim, este trabalho propõe a inclusão, na MDA, dos conceitos clássicos de arquitetura de software, através da construção de um perfil UML para elaboração de modelos arquiteturais independentes de plataforma tecnológica
Estilos ABNT, Harvard, Vancouver, APA, etc.
47

Cherukuri, Vijaya Krishna, e Piyush Gupta. "Model Based Testing for Non-Functional Requirements". Thesis, Mälardalen University, School of Innovation, Design and Engineering, 2010. http://urn.kb.se/resolve?urn=urn:nbn:se:mdh:diva-9851.

Texto completo da fonte
Resumo:

Model Based Testing (MBT) is a new-age test automation technique traditionally used for Functional Black-Box Testing. Its capability of generating test cases by using model developed from the analysis of the abstract behavior of the System under Test is gaining popularity. Many commercial and open source MBT tools are available currently in market. But each one has its own specific way of modeling and test case generation mechanism that is suitable for varied types of systems. Ericsson, a telecommunication equipment provider company, is currently adapting Model Based Testing in some of its divisions for functional testing. Those divisions haven’t yet attempted adapting Model Based Testing for non-functional testing in a full-pledged manner. A comparative study between various MBT tools will help one of the Ericsson’s testing divisions to select the best tool for adapting to its existing test environment. This also helps in improving the quality of testing while reducing cost, time and effort. This thesis work helps Ericsson testing division to select such an effective MBT tool. Based on aspects such as functionality, flexibility, adaptability, performance etc., a comparative study is carried out on various available MBT tools and a few were selected among them: Qtronic, ModelJUnit and Elvior Motes.This thesis also helps to understand the usability of the selected tools for modeling of non-functional requirements using a new method. A brief idea of modeling the non-functional requirements is suggested in this thesis. A System under Test was identified and its functional behavior was modeled along with the non functional requirements in Qtronic and ModelJUnit. An experimental analysis, backed by observations of using the new proposed method indicates that the method is efficient enough to carry out modeling non-functional requirements along with modeling of functional requirements by identifying the appropriate approach.Model Based Testing (MBT) is a new-age test automation technique traditionally used for Functional Black-Box Testing. Its capability of generating test cases by using model developed from the analysis of the abstract behavior of the System under Test is gaining popularity. Many commercial and open source MBT tools are available currently in market. But each one has its own specific way of modeling and test case generation mechanism that is suitable for varied types of systems. Ericsson, a telecommunication equipment provider company, is currently adapting Model Based Testing in some of its divisions for functional testing. Those divisions haven’t yet attempted adapting Model Based Testing for non-functional testing in a full-pledged manner. A comparative study between various MBT tools will help one of the Ericsson’s testing divisions to select the best tool for adapting to its existing test environment. This also helps in improving the quality of testing while reducing cost, time and effort. This thesis work helps Ericsson testing division to select such an effective MBT tool. Based on aspects such as functionality, flexibility, adaptability, performance etc., a comparative study is carried out on various available MBT tools and a few were selected among them: Qtronic, ModelJUnit and Elvior Motes.

This thesis also helps to understand the usability of the selected tools for modeling of non-functional requirements using a new method. A brief idea of modeling the non-functional requirements is suggested in this thesis. A System under Test was identified and its functional behavior was modeled along with the non functional requirements in Qtronic and ModelJUnit. An experimental analysis, backed by observations of using the new proposed method indicates that the method is efficient enough to carry out modeling non-functional requirements along with modeling of functional requirements by identifying the appropriate approach.

Estilos ABNT, Harvard, Vancouver, APA, etc.
48

Mili, Saoussen. "Approche de vérification formelle des exigences de sécurité pour les systèmesembarqués communicants". Thesis, CY Cergy Paris Université, 2020. http://www.theses.fr/2020CYUN1062.

Texto completo da fonte
Resumo:
La maîtrise de la sécurité dans les systèmes embarqués communicants se heurte àun certain nombre de difficultés, dues à leur nature qui est le plus souvent complexe. Adopter une approche basée sur les modèles pour la vérification des exigences du système dès la phase de conception peut apporter un gain important en matière de coût et de temps.Dans ce travail de thèse, nous proposons une approche centrée sur les modèlespour la vérification formelle de la satisfaisabilité d’un scénario d’attaque pour un système embarqué communicant. L’approche proposée est composée de trois étapes : i) la modélisation conceptuelle du système, ii) la modélisation conceptuelle de l’attaque, iii) la transformation des modèles conceptuels en modèles formels en vue de vérification. Le langage SysML a été choisi pour la modélisation structurelle et comportementale du système en raison de son adaptabilité et son extensibilité par profilage. Afin de personnaliser la modélisation des flux de données, nous avons stéréotypé les ports et les connecteurs suivant les technologies et leurs propriétés. Cettepersonnalisation nous a permis de suivre les traces de la circulation des flux entre les différents sous-systèmes communicants. Une ébauche de la documentation du profil de connectivité a été proposée. Pour la structuration de l’attaque, un profil de l’arbre d’attaque étendu nommé ExtAttTree a été proposé. À la différence des arbres d’attaque classiques, ce profil parvient à assurer l’aspect formel et temporel de l’attaque, grâce à l’insertion des opérateurs de la logique temporelle dans ses nœuds.Dans le cadre ainsi défini, la conduite d’une étude de transformation de modèlesest introduite dans la troisième partie. Elle a pu se dérouler d’une manière assez optimale en s’appuyant sur le paradigme Model-Drivent Architecture. Nous avons engagé deux processus de transformation, le premier visant à générer du code NuSMV à partir des modèles SysML en utilisant une transformation par template (Acceleo). Le second assure le passage de l’attaque ExtAttTree vers la formule Computational Tree Logic en utilisant une transformation par programmation (Java). Les modèles générés sont simulés sur le model checker NuSMV. Le système est caractérisé par des attributs ; pour faire des tests de satisfaisabilité, une variation de la valeur de vérité des attributs est effectuée. À cet effet, nous pouvons détecter avec exactitude les conditions qui ont mené à une attaque. En complément de cette approche, deux cas d’étude de voitures connectées ont été proposés (la Jeep Cherokee et la Tesla model S). Des scénarios d’attaque inspirés du réel ont été analysés afin de valider l’approche
Due to their most often complex nature, the control of the security in commu-nicating embedded systems comes up against major difficulties. The adoption of amodel-based approach for verifying system requirements at the earliest stage, i.e. in the design phase, may bring about substantial cost cutting and time saving. In this doctoral thesis, we propose a design-centric approach for the formal verification of an attack scenario satisfiability for embedded communicating systems. Thus, we propose a three-stage approach : i) conceptual modelling of the system, ii) conceptual modelling of the attack, iii) transformation of conceptual models into formal models for verification. For the structural and behavioural modelling of the system, we opted for the SysML language as it offers the best adaptability and extensibility by profiling. In order to personalize the modelling of data flows, we stereotyped ports and connectors according to their technologies and properties. This extension allowed us to monitor the circulation traces of flows between the differentcommunicating subsystems. A documentation of the connectivity profile was pro-posed. For structuring the attack, we put forward an extended attack tree profile termed ExtAttTree. Unlike conventional attack trees, this profile manages to ensure both formal and temporal aspects of the attack, through the insertion of operators of temporal logic in its nodes.We introduce, in the third part, a study of models’ transformation, carried outwithin this predefined framework. The transformation proceeded in a substantially optimized way, based on the Model-Driven Architecture paradigm. We implemented two transformation processes. The first aimed to generate NuSMV code from SysML models by using a transformation by template paradigm with Acceleo. The second ensures the transition from the ExtAttTree attack to the Computational Tree Logic formula using a programming language transformation paradigm with Java. The generated models are simulated on the NuSMV model checker. The system is characterized by attributes ; to achieve satisfiability tests, a variation in the attributes truth-value is carried out. This scheme allows to accurately detect the conditions that led to an attack. As a complement to this approach, we proposed two case studies of connected cars remote attacks (the Jeep Cherokee and the Tesla Model S). The attack scenarios inspired from real-life are analyzed in order to validate the approach
Estilos ABNT, Harvard, Vancouver, APA, etc.
49

Xia, Yan. "The impact of the removal of the Multi-Fiber Arrangement on textile and cotton trade of the United States and China". Texas A&M University, 2004. http://hdl.handle.net/1969.1/3311.

Texto completo da fonte
Resumo:
Textiles and apparel trade has been governed by the Multi-Fiber Arrangement (MFA) for three decades. Trade restrictions have generated substantial welfare losses and price wedges in exporting and importing countries through trade distortions. Beginning in 1995, textiles and apparel trade underwent fundamental changes in trade flows and patterns. The World Trade Organization’s Agreement on Textiles and Clothing (ATC) aimed to remove all MFA quotas by January 2005. This study established an equilibrium displacement model to investigate the impact on textile and cotton sectors of different countries and country-groups of removing the MFA quota. The model specifies the basic linkages of textile and cotton markets in the United States, China and four other country-groups. With different assumptions about U.S. textile supply elasticity, foreign cotton exporters’ reaction and changes in the U.S. farm program payments, alternative scenarios are simulated to predict changes in domestic and import demand for textiles and apparel, import demand for U.S. cotton, domestic and import price of textiles and apparel, U.S. cotton price and adjusted world cotton price. Uniform distribution was imposed for selected parameters involved in the model to overcome the deficiency of equilibrium displacement models of assuming certainty of known related parameters. Results indicate increased import demand for U.S. cotton by China, higher U.S. cotton supply, more textile and apparel supply from China, decreased domestic demand for U.S. cotton, and lower U.S. domestic demand for textiles and apparel. However, prices of both textile and cotton markets experience both positive and negative changes under different scenarios. Holding other assumptions unchanged, when farm program payments increase, U.S. cotton price and adjusted world cotton price declined. When farm program payments are held constant, prices rise. The changes expected in U.S. cotton price are, in absolute value, greater than those of the adjusted world price.
Estilos ABNT, Harvard, Vancouver, APA, etc.
50

Koutsovasilis, Panagiotis. "Model Order Reduction in Structural Mechanics". Doctoral thesis, Saechsische Landesbibliothek- Staats- und Universitaetsbibliothek Dresden, 2009. http://nbn-resolving.de/urn:nbn:de:bsz:14-qucosa-24551.

Texto completo da fonte
Resumo:
Gegenstand dieser Arbeit ist die Forschungsdisziplin, welche in der Strukturmechanik als Modellordnungsreduktion bekannt ist. Im Mittelpunkt stehen Kopplungsprozesse von starren und elastischen Mehrkörpersystemen - sowohl in theoretischer Hinsicht als auch bezüglich der praktischen Realisation im Rahmen des Finite-Elemente-Programms ANSYS und des Mehrkörpersimulationsprogramms SIMPACK. Eine Vielfalt von strukturerhaltendenMOR-Methoden wurde zum Zwecke des Überblicks dargestellt. Darüber hinaus findet sich eine Kategorisierungsmethodik in Hinsicht auf den später beschriebenen FEM-MKS-Kopplungsprozess. Die Effizienz der MOR-Methoden wird sowohl hinsichtlich der Qualität der ROM als auch bezogen auf die hierfür benötigte Rechenzeit bemessen. Aus diesem Grunde wurden etliche MOR Schemata dargelegt, mit dem Ziel, den Effizienzfaktor während der Berechnung eines ROMs zu maximieren, das heißt maximale Qualität und minimale Rechenzeit zu erzielen. Die Validierung der dynamischen ROM-Eigenschaften basiert auf der Anwendung der sogenannten Modellkorrelationskriterien. Dies wurde an vier Anwendungsbeispielen aus dem Feld der Strukturmechanik getestet: der 3D-Balkenstruktur, der UIC60-Schiene, dem Pleuel und der Kurbelwelle. Die Anwendung der diagonal perturbation-Methodik verbessert die Kondition der Steifigkeitsmatrix eines Modells, von beiden Arten von Lösungsprozeduren, d.h. direkte und iterative Verfahren, betroffen sind. Die dynamische Bewegung mechanischer MKS wird als ein Index-3-DAE-Systemformuliert und die Information über die elastischen Körper wird in Form der sogenannten Standard Input Datei in einen MKS-Code transferriert. Die Einführung des Back-projection-Ansatzes ermöglicht die weitere Verwendung bestimmter ROM-Typen, derren assoziierten physikalische Eigenschaften unangemessen definiert wurden. Zum Abschluss werden die theoretischen, modellierenden und numerischen Fortschritte der Arbeit resümiert und kombiniert im Sinne der Model Order Reduction Package Toolbox (MORPACK). Die Matlab-basierte MORPACK-Toolbox ermöglicht den FEM-MKS-Kopplungsprozess für die Verwendung von ANSYS und SIMPACK. Hierin sind ein Großteil der zuvor erläuterten Erweiterungen eingeschlossen. Mit Hilfe der zwei integrierten inneren MOR- und SID-Schnittstellen als auch der vier Anwendungsebenen wird der Import von freien oder eingespannten ROM in SIMPACK ermöglicht
The research discipline referred to as the Model Order Reduction in structural mechanics is the topic of this Thesis. Special emphasis is given to the coupling process of rigid and elastic Multi Body Dynamics in terms of both the theoretical aspects and the practical realization within the environment of the commercial Finite Element and the Multi Body Systems software packages, ANSYS and SIMPACK respectively. In this regard, a variety of structure preserving Model Order Reduction methods is presented and a categorization methodology is provided in view of the later FEM-MBS coupling process. The algorithmic scheme of several of the MOR methods indicates the capability of generating qualitatively better Reduced Order Models than the standardized Guyan and Component Mode Synthesis approaches. The efficiency of a MOR method is measured in terms of both the quality of the ROM and the associated time required for the .computation Based on the application of the, so called, Model Correlation Criteria the efficiency of the MOR schemes is tested on four application examples originating from the area of structural mechanics, i.e. the 3D elastic solid bar structure, the UIC60 elastic rail, the elastic piston rod, and the elastic crankshaft model. Herewith, the superiority of alternative MOR schemes in comparison to Guyan or CMS methods is demonstrated in terms of the ROM?s quality and the computation time by the use of either the one-step or the two-step MOR algorithms. Numerous of the FE discretized structures suffer from the, so called, ill-conditioned properties regarding the associated stiffness matrix. On one hand, the direct solution of a MOR method might produce erroneous ROMs due to the associated truncation phenomenon and on the other hand, any kind of iterative approach suffers from vast computation times. The application of the diagonal perturbation methodology improves the condition properties of the model?s stiffness matrix and thus, both kinds of the aforementioned solution procedures are affected. The back-projection approach is introduced, which projects the ROM belonging to the Non physical subspace reduction-expansion methods category back onto the physical configuration space and thus, enabling its further usage in a MBS code, e.g. SIMPACK. Finally, the theoretical, modelling, and numerical advancements are combined in terms of the Model Order Reduction Package. The Matlab-based MORPACK toolbox enables the FEM-MBS coupling process for the ANSYS-SIMPACK utilization and herewith, several of the aforementioned enhancements are included. With the help of the two integrated inner interfaces, i.e. MOR and SID, as well as four application levels, the import into SIMPACK of alternatively free or fixed ROMs is enabled. The functionality of MORPACK is demonstrated based on two application examples, namely, the 3D elastic solid bar and the UIC60 elastic rail, the dynamic properties of which are validated prior to their import into SIMPACK
Estilos ABNT, Harvard, Vancouver, APA, etc.
Oferecemos descontos em todos os planos premium para autores cujas obras estão incluídas em seleções literárias temáticas. Contate-nos para obter um código promocional único!

Vá para a bibliografia