Summary
In the software engineering world, many modelling notations and languages have been developed to aid application development. The technologies, Java and Web services, play an increasingly important role in web applications. However, because of issues of complexity, it is difficult to build multi-threaded Java applications and Web Service applications, and even more difficult to model. Furthermore, it is difficult to reconcile the directly-coded application with the model-based application. Based on the formal modelling system, RDT, the new work here covers: (i) a translator, RDTtoJava, used to automatically convert an RDT model into an executable multi-threaded Java application; (ii) the framework for developing an RDT model into a Java synchronous distributed application that is supported by the JAX-RPC Web Services; and, (iii) the framework for developing an RDT model into a Java asynchronous distributed application that is supported by the JMS Web services. Experience was gained by building distributed computing models and client/server models and generation of the application based on such models. This work is helpful for the software developers and software researchers in formal software development.
Read More ↓Edition Statements
- Publication Date:2008
Thesis Information
- Degree:Ph.D.
- University:University of Southampton
- Advisor/Supervisor:Walters, Robert ; Henderson, Peter
Publication Statements
- Language:eng
- Publication Date:2008
Edition Identifiers
- ethos:500741
Subjects
Writers
No reviews yet. Be the first to rate this work.
Rate & Review