A model driven approach to analysis and synthesis of sequence diagrams

3282 12 19288 6 36351 document 19288 Ameedeen_12_PhD.pdf application/pdf 1980aa40faae6fed7067e37005bedda6 MD5 1001071 2012-05-02 12:24:27 http://etheses.bham.ac.uk//id/eprint/3282/1/Ameedeen_12_PhD.pdf 3282 1 1 application/pdf application/pdf en public

Ameedeen_12_PhD.pdf

http://eprints.org/relation/hasVolatileVersion http://etheses.bham.ac.uk/id/document/19292 http://eprints.org/relation/hasVersion http://etheses.bham.ac.uk/id/document/19292 http://eprints.org/relation/hassmallThumbnailVersion http://etheses.bham.ac.uk/id/document/19292 http://eprints.org/relation/hasVolatileVersion http://etheses.bham.ac.uk/id/document/19293 http://eprints.org/relation/hasVersion http://etheses.bham.ac.uk/id/document/19293 http://eprints.org/relation/haspreviewThumbnailVersion http://etheses.bham.ac.uk/id/document/19293 http://eprints.org/relation/hasVolatileVersion http://etheses.bham.ac.uk/id/document/19294 http://eprints.org/relation/hasVersion http://etheses.bham.ac.uk/id/document/19294 http://eprints.org/relation/hasIndexCodesVersion http://etheses.bham.ac.uk/id/document/19294 19289 5 36354 document 19289 Decl_IS_Ameedeen_12_PhD.pdf application/pdf 9eabecaa2267607722b5cff612f4a51f MD5 222695 2012-05-02 12:25:16 http://etheses.bham.ac.uk//id/eprint/3282/2/Decl_IS_Ameedeen_12_PhD.pdf 3282 2 2 application/pdf application/pdf en staffonly

Decl_IS_Ameedeen_12_PhD.pdf

http://eprints.org/relation/hasVolatileVersion http://etheses.bham.ac.uk/id/document/19290 http://eprints.org/relation/hasVersion http://etheses.bham.ac.uk/id/document/19290 http://eprints.org/relation/hassmallThumbnailVersion http://etheses.bham.ac.uk/id/document/19290 http://eprints.org/relation/hasVolatileVersion http://etheses.bham.ac.uk/id/document/19291 http://eprints.org/relation/hasVersion http://etheses.bham.ac.uk/id/document/19291 http://eprints.org/relation/haspreviewThumbnailVersion http://etheses.bham.ac.uk/id/document/19291 http://eprints.org/relation/hasVolatileVersion http://etheses.bham.ac.uk/id/document/19295 http://eprints.org/relation/hasVersion http://etheses.bham.ac.uk/id/document/19295 http://eprints.org/relation/hasIndexCodesVersion http://etheses.bham.ac.uk/id/document/19295 19290 2 36358 document 19290 small.png image/png b526acbabd349a639855b1e7be7459c7 MD5 7766 2012-05-02 12:25:58 http://etheses.bham.ac.uk//id/eprint/3282/3/small.png 3282 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/19288 http://eprints.org/relation/isVolatileVersionOf http://etheses.bham.ac.uk/id/document/19288 http://eprints.org/relation/issmallThumbnailVersionOf http://etheses.bham.ac.uk/id/document/19288 19293 2 36361 document 19293 preview.jpg image/jpeg 73766aa19289b6a0621ebcfa9af841cb MD5 11586 2012-05-02 12:25:58 http://etheses.bham.ac.uk//id/eprint/3282/6/preview.jpg 3282 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/19288 http://eprints.org/relation/isVolatileVersionOf http://etheses.bham.ac.uk/id/document/19288 http://eprints.org/relation/ispreviewThumbnailVersionOf http://etheses.bham.ac.uk/id/document/19288 19294 2 36362 document 19294 indexcodes.txt text/plain 5f147bc73756fe90b937a9f4ea59e50d MD5 28111 2012-05-02 12:26:01 http://etheses.bham.ac.uk//id/eprint/3282/7/indexcodes.txt 3282 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/19288 http://eprints.org/relation/isVolatileVersionOf http://etheses.bham.ac.uk/id/document/19288 http://eprints.org/relation/isIndexCodesVersionOf http://etheses.bham.ac.uk/id/document/19288 19295 2 36363 document 19295 indexcodes.txt text/plain 9dc791c556c94ddbf88963c5b99ab94e MD5 2920 2012-05-02 12:26:01 http://etheses.bham.ac.uk//id/eprint/3282/8/indexcodes.txt 3282 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/19289 http://eprints.org/relation/isVolatileVersionOf http://etheses.bham.ac.uk/id/document/19289 http://eprints.org/relation/isIndexCodesVersionOf http://etheses.bham.ac.uk/id/document/19289 archive 4031 disk0/00/00/32/82 2012-05-02 12:25:31 2019-01-23 09:55:56 2012-05-02 12:25:31 thesis show 0 Ameedeen Mohamed Ariff Behzad Bordbar University of Birmingham A model driven approach to analysis and synthesis of sequence diagrams unpub QA75 10col_ephy Software design is a vital phase in a software development life cycle as it creates a blueprint for the implementation of the software. It is crucial that software designs are error-free since any unresolved design-errors could lead to costly implementation errors. To minimize these errors, the software community adopted the concept of modelling from various other engineering disciplines. Modelling provides a platform to create and share abstract or conceptual representations of the software system – leading to various modelling languages, among them Unified Modelling Language (UML) and Petri Nets. While Petri Nets strong mathematical capability allows various formal analyses to be performed on the models, UMLs user-friendly nature presented a more appealing platform for system designers. Using Multi Paradigm Modelling, this thesis presents an approach where system designers may have the best of both worlds; SD2PN, a model transformation that maps UML Sequence Diagrams into Petri Nets allows system designers to perform modelling in UML while still using Petri Nets to perform the analysis. Multi Paradigm Modelling also provided a platform for a well-established theory in Petri Nets – synthesis to be adopted into Sequence Diagram as a method of putting-together different Sequence Diagrams based on a set of techniques and algorithms. 2012-07 2011-12 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. public 214 University of Birmingham School of Computer Science d_ph na 2012-07 graduation