Implementation and validation of model-based multi-threaded Java applications and Web services
Implementation and validation of model-based multi-threaded Java applications and Web services
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.
Xue, Pengfei
c9fd01be-01e2-48a2-9601-a81832beb7c3
October 2008
Xue, Pengfei
c9fd01be-01e2-48a2-9601-a81832beb7c3
Walters, R.
7b8732fb-3083-4f4d-844e-85a29daaa2c1
Henderson, Peter
bf0a7293-7277-459d-9c3c-67b0a6eabd54
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.
Record type:
Thesis
(Doctoral)
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.
Text
phd_thesis_XuePengfei.pdf
- Other
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: 13 Mar 2024 18:12
Export record
Contributors
Author:
Pengfei Xue
Thesis advisor:
R. Walters
Thesis advisor:
Peter Henderson
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