|
|
Khurram Zeeshan
khurram@csse.uwa.edu.au
Entry year: 2004
Enrolment status: confirmed
Degree: MCompSci
Degree status: complete semester 2, 2004
Project: Evaluating Code Generation and Formalisation in UML Models
Supervisor(s): David Glance
Project status: complete semester 2, 2004
|
|
Object modelling has turned into a widely accepted method for engineering object-oriented applications.
The Unified Modelling Language (UML), with its meta explanatory resources, dominates as the de-facto standard for capturing the artifacts of software intensive systems.
The advancement in research has leveraged UML with additional facilities including code generation and model verification.
UML is fairly standardised with its graphical and textual presentations being defined by an underneath semi-formalised set of specifications.
To avoid complexity within the whole UML structure, semantics are not fully formalised, which although beneficial for the users, limits the available potential of UML.
Code generation, is a helpful process for different users of SDLC levels.
Since the usage of UML in different levels is pretty much clear but application of code generation is still ambiguous.
This seminar investigates different code generation techniques, either formal or informal, in object oriented environment.
The employment of existing code generation and UML formalisation techniques helps in establishing a report, which consequently optimises the usage of object level semantics and constraints, improving the overall code generation process.
With the help of methodical analysis, we accentuate that the use of some of these techniques not only minimises the ambiguity of the created UML model but also enhances the precision in code generation.
|
 Dissertation
|
Last update: Thu Mar 10 11:27:04 2005
|
|
