The University of Southampton
University of Southampton Institutional Repository

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

Record type: Thesis (Doctoral)

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.

PDF phd_thesis_XuePengfei.pdf - Other
Download (1MB)

Citation

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.

More information

Published date: October 2008
Organisations: University of Southampton

Identifiers

Local EPrints ID: 66206
URI: http://eprints.soton.ac.uk/id/eprint/66206
PURE UUID: ec689a57-4870-4409-9ca7-fc12c3d60e9d

Catalogue record

Date deposited: 12 May 2009
Last modified: 19 Jul 2017 00:26

Export record

Contributors

Author: Pengfei Xue
Thesis advisor: Robert Walters
Thesis advisor: Peter Henderson

University divisions


Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×