Implementation and validation of model-based multi-threaded Java applications and Web services


Xue, Pengfei (2008) Implementation and validation of model-based multi-threaded Java applications and Web services. University of Southampton, School of Electronics and Computer Science, Doctoral Thesis , 210pp.

Download

[img] PDF
Download (1369Kb)

Description/Abstract

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.

Item Type: Thesis (Doctoral)
Subjects: Q Science > QA Mathematics > QA76 Computer software
Divisions: University Structure - Pre August 2011 > School of Electronics and Computer Science > Dependable Systems and Software Engineering Research Group
ePrint ID: 66206
Date Deposited: 12 May 2009
Last Modified: 27 Mar 2014 18:47
URI: http://eprints.soton.ac.uk/id/eprint/66206

Actions (login required)

View Item View Item