Model transformation dependability evaluation by the automated creation of model generators

3407 16 20358 5 39229 document 20358 Decl_IS_Shah_12_PhD.pdf application/pdf 3bb82a239d318a38cac33d23a06fa445 MD5 160189 2012-06-15 07:57:05 http://etheses.bham.ac.uk//id/eprint/3407/1/Decl_IS_Shah_12_PhD.pdf 3407 1 1 application/pdf application/pdf en staffonly

Decl_IS_Shah_12_PhD.pdf

http://eprints.org/relation/hasVolatileVersion http://etheses.bham.ac.uk/id/document/20362 http://eprints.org/relation/hasVersion http://etheses.bham.ac.uk/id/document/20362 http://eprints.org/relation/hassmallThumbnailVersion http://etheses.bham.ac.uk/id/document/20362 http://eprints.org/relation/hasVolatileVersion http://etheses.bham.ac.uk/id/document/20363 http://eprints.org/relation/hasVersion http://etheses.bham.ac.uk/id/document/20363 http://eprints.org/relation/haspreviewThumbnailVersion http://etheses.bham.ac.uk/id/document/20363 http://eprints.org/relation/hasVolatileVersion http://etheses.bham.ac.uk/id/document/20364 http://eprints.org/relation/hasVersion http://etheses.bham.ac.uk/id/document/20364 http://eprints.org/relation/hasIndexCodesVersion http://etheses.bham.ac.uk/id/document/20364 20359 7 39232 document 20359 Shah_12_PhD.pdf application/pdf a263e57527e7dec7dd88bd91eb32548a MD5 1097817 2012-06-15 07:57:25 http://etheses.bham.ac.uk//id/eprint/3407/2/Shah_12_PhD.pdf 3407 2 2 application/pdf application/pdf en public

Shah_12_PhD.pdf

http://eprints.org/relation/hasVolatileVersion http://etheses.bham.ac.uk/id/document/20360 http://eprints.org/relation/hasVersion http://etheses.bham.ac.uk/id/document/20360 http://eprints.org/relation/hassmallThumbnailVersion http://etheses.bham.ac.uk/id/document/20360 http://eprints.org/relation/hasVolatileVersion http://etheses.bham.ac.uk/id/document/20361 http://eprints.org/relation/hasVersion http://etheses.bham.ac.uk/id/document/20361 http://eprints.org/relation/haspreviewThumbnailVersion http://etheses.bham.ac.uk/id/document/20361 http://eprints.org/relation/hasVolatileVersion http://etheses.bham.ac.uk/id/document/20365 http://eprints.org/relation/hasVersion http://etheses.bham.ac.uk/id/document/20365 http://eprints.org/relation/hasIndexCodesVersion http://etheses.bham.ac.uk/id/document/20365 20360 2 39234 document 20360 small.png image/png 8f05f9699a8765678bf432dacd32c750 MD5 3282 2012-06-15 07:58:14 http://etheses.bham.ac.uk//id/eprint/3407/3/small.png 3407 3 3 image/png thumbnail_small Thumbnail Documents conversion from application/pdf to thumbnail_small en staffonly

small.png

preview.jpg

small.png

http://eprints.org/relation/isVersionOf http://etheses.bham.ac.uk/id/document/20358 http://eprints.org/relation/isVolatileVersionOf http://etheses.bham.ac.uk/id/document/20358 http://eprints.org/relation/issmallThumbnailVersionOf http://etheses.bham.ac.uk/id/document/20358 20363 2 39237 document 20363 preview.jpg image/jpeg 493cc14a0982dfc25da83c8391cb1fe9 MD5 32670 2012-06-15 07:58:15 http://etheses.bham.ac.uk//id/eprint/3407/6/preview.jpg 3407 6 6 image/jpeg image/jpeg Thumbnail Documents conversion from application/pdf to thumbnail_preview en staffonly

preview.jpg

http://eprints.org/relation/isVersionOf http://etheses.bham.ac.uk/id/document/20358 http://eprints.org/relation/isVolatileVersionOf http://etheses.bham.ac.uk/id/document/20358 http://eprints.org/relation/ispreviewThumbnailVersionOf http://etheses.bham.ac.uk/id/document/20358 20364 2 39238 document 20364 indexcodes.txt text/plain f1a3eed91724c9b60e995ffe0c0c1a1c MD5 3000 2012-06-15 07:58:16 http://etheses.bham.ac.uk//id/eprint/3407/7/indexcodes.txt 3407 7 7 text/plain indexcodes Generate index codes conversion from application/pdf to indexcodes en staffonly

indexcodes.txt

http://eprints.org/relation/isVersionOf http://etheses.bham.ac.uk/id/document/20358 http://eprints.org/relation/isVolatileVersionOf http://etheses.bham.ac.uk/id/document/20358 http://eprints.org/relation/isIndexCodesVersionOf http://etheses.bham.ac.uk/id/document/20358 20365 2 39239 document 20365 indexcodes.txt text/plain c701b3749fff3ad6ca689d7e76419483 MD5 33460 2012-06-15 07:58:17 http://etheses.bham.ac.uk//id/eprint/3407/8/indexcodes.txt 3407 8 8 text/plain indexcodes Generate index codes conversion from application/pdf to indexcodes en staffonly

indexcodes.txt

http://eprints.org/relation/isVersionOf http://etheses.bham.ac.uk/id/document/20359 http://eprints.org/relation/isVolatileVersionOf http://etheses.bham.ac.uk/id/document/20359 http://eprints.org/relation/isIndexCodesVersionOf http://etheses.bham.ac.uk/id/document/20359 archive 4031 disk0/00/00/34/07 2012-06-15 09:20:49 2019-01-23 09:56:13 2012-06-15 09:20:49 thesis show 0 Shah Seyyed Madasar Ali Bordbar Behzad University of Birmingham Model transformation dependability evaluation by the automated creation of model generators unpub QA75 QA76 10col_ephy This thesis is on the automatic creation of model generators to assist the validation of model transformations. The model driven software development methodology advocates models as the main artefact to represent software during development. Such models are automatically converted, by transformation tools, to apply in different stages of development. In one application of the method, it becomes possible to synthesise software implementations from design models. However, the transformations used to convert models are man-made, and so prone to development error. An error in a transformation can be transmitted to the created software, potentially creating many invalid systems. Evaluating that model transformations are reliable is fundamental to the success of modelling as a principle software development practice. Models generated via the technique presented in this thesis can be applied to validate transformations. In several existing transformation validation techniques, some form of conversion is employed. However, those techniques do not apply to validate the conversions used there-in. A defining feature of the current presentation is the utilization of transformations, making the technique self-hosting. That is, an implementation of the presented technique can create generators to assist model transformations validation and to assist validation of that implementation of the technique. 2012-07 2012-04 graduation eng This unpublished thesis/dissertation is copyright of the author and/or third parties. The intellectual property rights of the author or third parties in respect of this work are as defined by The Copyright Designs and Patents Act 1988 or as modified by any successor legislation. Any use made of information contained in this thesis/dissertation must be in accordance with that legislation and must be properly acknowledged. Further distribution or reproduction in any format is prohibited without the permission of the copyright holder. ubira@lists.bham.ac.uk public 206 University of Birmingham School of Computer Science d_ph na 2012-07 graduation