Spelling suggestions: "subject:"model based software development"" "subject:"godel based software development""
1 |
Quality of business models expressed in BPMNSadowska, Małgorzata January 2013 (has links)
Context. The quality of business process models is important in the area of model-based software development. The overall goal of this study was to develop and evaluate a model for assessing the quality of models (Process Diagrams) in Business Process Model and Notation (BPMN). The model was an instantiation of the developed metamodel that adopt ISO/IEC 1926. Objectives. The objectives of the thesis were to propose, implement and evaluate a model for quality assessment of business process models in BPMN. The model was intended to help practitioners to check the quality of their BPMN models and provide meaningful feedback on whether the business process models are of good or bad quality. First objective was to develop a metamodel of models for quality assessment of business process models in BPMN, and later the model that in an instantiation of the metamodel. Within the model, the objectives were to propose the relevant quality characteristics, quality metrics, quality criteria and quality functions. Finally, usefulness of model for quality assessment of business process models in BPMN was to be evaluated. Methods. The methodology was driven by essential elements of the model for quality assessment of business process models in BPMN. This is: quality characteristics, quality metrics, quality criteria and quality functions. In the beginning the metamodel of the model was developed based on the ISO/IEC 1926 standard. Later, in order to identify quality characteristics of models existing in the literature, a systematic literature review was conducted. Quality characteristics explicitly relevant to BPMN were compared against each other and selected. Overlapping quality characteristics relevant to BPMN were merged. Next, in order to obtain quality metrics that measure aspects of models of business processes, a literature review was carried out. The literature review was restricted by a proposed set of selection criteria. The criteria were questions that every relevant literature describing quality metrics must affirmatively answer in order to identify only metrics that were able to be assigned to identify quality characteristics. If the chosen quality metrics needed to be changed or adjusted for the sake of better results, the author added changes or adjustments and provided rationale for them. Next, in order to obtain quality criteria, values of the quality metrics were gathered through measuring a repository of BPMN models. The repository was gathered as a preparatory work for the thesis and it consisted of models of varying quality. Manual measurement of quality metrics for each BPMN model from the repository could not be done within a reasonable amount of time. Therefore, a tool to automatically calculate metrics for BPMN models was implemented. The quality criteria were proposed based on the results from interpretation of the values using statistical analysis. Later, quality functions that aggregate values of the metrics were proposed. The complete model was next integrated into the tool so that it could assess a quality of real BPMN models. Finally, the model for assessing the quality of business process models in BPMN was evaluated for usefulness through a survey and survey-based experiment. Results. A metamodel of models for quality assessment of business process models in BPMN was proposed. A model for the quality assessment of models in BPMN was proposed and evaluated for usefulness. Initial sets of quality characteristics of models were found in the literature and quality characteristics that were relevant to BPMN were extracted. Quality metrics that measure aspects of models were found and adjusted to the BPMN notation. Quality criteria that state how values of quality metrics can be classified as good or bad were provided. Quality functions that state if quality characteristics are good or bad for a chosen BPMN model were provided. Finally, a tool that implements the model for quality assessment of models in BPMN was created. Conclusions. The results of the survey and survey-based experiment showed that the proposed model for quality assessment of models in BPMN works in most cases and is needed in general. Additionally, the elements of the model which should be corrected were identified. Contacted users of BPMN expressed a will to use the suggested tool associated with the model for quality assessment of business process models in BPMN.
|
2 |
Real-time implementation of PMSM software model on external hardwareSjöberg, Alexander January 2017 (has links)
When developing three phase motor drives, the best way to validate the desiredfunctionality is to connect the inverter to an actual electrical motor. However, when developingfunctions which are not directly involved in controlling the motor, it could bemore efficient to use a real-time software model of the motor. In this master thesis, the developmentand implementation of a software model of a permanent magnet synchronousmotor (PMSM) is presented. This model was based on general dynamic equations forPMSM in a rotating reference frame (dq-frame). The model was simulated and convertedto C code using model based software development in Mathworks Simulink. To providemore realistic performance of the model, a finite element analysis (FEA) was done of anactual PMSM using the software tool FEMM. This analysis resulted in data describingthe relation between flux linkage and current which, when added into to software model,limits the produced torque due to magnetic saturation. Both the FEMM model and thefinal software model was compared to a corresponding actual motor for validation andperformance testing. All this resulted in a fully functional software model which was executableon the inverter. In the comparison of FEMM model to the real motor, a deviationin produced torque was discovered. This led to the conclusion that the model needed to beimproved to perform more alike the real motor. However, for this application the modelwas considered good enough to be used in future software development projects. / N¨ar kontrollsystem till trefasmotorer utvecklas s°a ¨ar det mest vanliga och troligendet b¨asta s¨attet f¨or funktionsvalidering att k¨ora drivenheten kopplad mot en riktig elektriskmotor. D¨aremot, om funktioner som ej ¨ar direkt kopplade till sj¨alva drivningen av motornutvecklas, s°a kan det vara mer effektivt att ist¨allet anv¨anda en mjukvarumodell. I det h¨arexamensarbetet s°a presenteras en mjukvarumodell av en permanentmagnetiserad synkronmotor(PMSM). Modellen baserades p°a de generella ekvationerna f¨or PMSM och simuleradessamt kodgenererades i Mathworks verktyg Simulink. F¨or att g¨ora modellen mer realistisks°a kompletterades den med data som beskriver relationen mellan det l¨ankade fl¨odetoch str¨om f¨or att ¨aven ta h¨ansyn till magnetisk m¨attnad. Den informationen simuleradesfram i verktyget FEMMgenom fl¨odesber¨akningar p°a en specifik motor typ. Samma motortyp har ocks°a j¨amf¨orts med den slutgiltiga mjukvarumodellen med avseende p°a utvecklatvridmoment vilket resulterade i n°agot st¨orre skillnader ¨an f¨orv¨antat. Slutsatsen blevs°aledes att modellen beh¨over f¨orb¨attras f¨or att p°a ett b¨attre s¨att st¨amma ¨overens med verklighetenmen att den fungerar tillr¨ackligt bra f¨or den ¨amnade applikationen.
|
3 |
Developer-Centric Software AssessmentMakedonski, Philip 12 April 2018 (has links)
No description available.
|
Page generated in 0.1205 seconds