Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/94246
Title: | Extending WISE with contract management |
Authors: | Calafato, Aaron (2010) |
Keywords: | Computer architecture Java (Computer program language) Semantic Web Web services |
Issue Date: | 2010 |
Citation: | Calafato, A. (2010). Extending WISE with contract management (Bachelor's dissertation). |
Abstract: | Nowadays users are increasingly using online transactions that involve critical information therefore the architectures are expected to be reliable. The trust aspect has been tackled in different areas like cryptography, planning and invocation of services, testing and verification of Java programs. The two main areas which have been studied in this thesis to aid in creating a trustworthy environment have been the 'Semantic Web and Runtime Versification. Our approach is to generate an easy to use and expressive web service workbench. The areas that benefit from this are the generation, monitoring and automated invocation of web services. To aid the service generation, a graphical representation tool was developed. This will enable the user to express constructs which generate the service and the internal structure. Also, verification of the services will be expressed by the same graphical mechanism. The generated runtime verification script is passed to Larva, a runtime verification tool which is capable to generate code to monitor events leading to violations. To better address the issue of trust, our mechanism is be deployed on a third party web service which will neutrally monitor the communication of services. With our mechanism, both the client and the server can declare wanted restrictions in the process flow. |
Description: | B.Sc. IT (Hons)(Melit.) |
URI: | https://www.um.edu.mt/library/oar/handle/123456789/94246 |
Appears in Collections: | Dissertations - FacICT - 2010 Dissertations - FacICTAI - 2002-2014 |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
BSCIT(HONS)_Calafato, Aaron_ 2010.PDF Restricted Access | 9.2 MB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.