{"id":{"repo_id":"soton","oai_identifier":"oai:eprints.soton.ac.uk:66206"},"canonical_url":"https://search.dev.ndltd.org/etd/soton/oai:eprints.soton.ac.uk:66206","repository":{"repo_id":"soton","name":"University of Southampton","base_url":"https://eprints.soton.ac.uk/cgi/oai2"},"display":{"title":"Implementation and validation of model-based multi-threaded Java applications and Web services","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.<br/>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.<br/>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.","abstract_html":"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.&lt;br/&gt;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.&lt;br/&gt;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.","abstract_has_math":false,"creators":["Xue, Pengfei"],"institution":"University of Southampton","degree_name":"Ph.D.","degree_level":"doctoral","degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":["Walters, R.","Henderson, Peter"],"committee_chairs":[],"committee_members":[],"year":2008,"date_issued":"2008-10","date_published":"2008-10","updated_at":"2026-07-24T04:35:58Z","subjects":[],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":null,"outbound_label":null,"outbound_source":null},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Walters, R.","Henderson, Peter"]},{"key":"dc:creator","label":"Author","values":["Xue, Pengfei"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date","label":"Dc Date","values":["2008-10"]},{"key":"dc:date.issued","label":"Date","values":["2008-10"]},{"key":"dc:publisher.department","label":"Dc Publisher Department","values":["DSSE (pre 2011 reorg)","School of Electronics and Computer Science"]},{"key":"dc:publisher.institution","label":"Dc Publisher Institution","values":["University of Southampton"]},{"key":"dc:relation.isreferencedby","label":"Dc Relation Isreferencedby","values":["https://eprints.soton.ac.uk/66206/"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]},{"key":"dc:type.qualificationlevel","label":"Dc Type Qualificationlevel","values":["doctoral"]},{"key":"dc:type.qualificationname","label":"Dc Type Qualificationname","values":["Ph.D."]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://eprints.soton.ac.uk/66206/1/phd_thesis_XuePengfei.pdf"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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.<br/>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.<br/>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."]},{"key":"dc:format","label":"Dc Format","values":["text"]},{"key":"dc:title","label":"Title","values":["Implementation and validation of model-based multi-threaded Java applications and Web services"]}]}],"canonical_facts":{"dc:contributor.advisor":["Walters, R.","Henderson, Peter"],"dc:creator":["Xue, Pengfei"],"dc:date":["2008-10"],"dc:date.issued":["2008-10"],"dc: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.<br/>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.<br/>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."],"dc:format":["text"],"dc:identifier.uri":["https://eprints.soton.ac.uk/66206/1/phd_thesis_XuePengfei.pdf"],"dc:publisher.department":["DSSE (pre 2011 reorg)","School of Electronics and Computer Science"],"dc:publisher.institution":["University of Southampton"],"dc:relation.isreferencedby":["https://eprints.soton.ac.uk/66206/"],"dc:title":["Implementation and validation of model-based multi-threaded Java applications and Web services"],"dc:type":["Thesis"],"dc:type.qualificationlevel":["doctoral"],"dc:type.qualificationname":["Ph.D."]},"updated_at":"2026-07-24T04:35:58Z"}