Toggle Main Menu Toggle Search

Open Access padlockePrints

Secure and Provable Service Support for Human-Intensive Real-Estate Processes

Lookup NU author(s): Emerson Ribeiro De Mello, Professor Savas Parastatidis, Dr Christopher Smith, Professor Aad van Moorsel, Professor Jim Webber


Full text for this publication is not currently held within this repository. Alternative links are provided below where available.


This paper introduces SOAR, a service-oriented architecture for the real-estate industry that embeds trust and security, allows for formal correctness proofs of service interactions, and systematically addresses human interaction capabilities through web-based user access to services. We demonstrate the features of SOAR through a DealMaker service that helps buyers and sellers semi-automate the various steps in a real-estate transaction. This service is a composed service, with message-based interactions specified in SSDL, the SOAP service description language. The implemented embedded trust and security solution deals with the usual privacy and authorization issues, but also establishes trust in ownership and other claims of participants. We also demonstrate how formal techniques can proof correctness of the service interaction protocol specified in SSDL. From an implementation perspective, a main new contribution is a protocol engine for SSDL. A proof-of-concept demonstration is accessible for try-out.

Publication metadata

Author(s): Ribeiro de Mello E, Parastatidis S, Reinecke P, Smith C, van Moorsel A, Webber J

Editor(s): O'Connor, L.

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: IEEE International Conference on Services Computing (SCC)

Year of Conference: 2006

Pages: 495-502

Publisher: IEEE Computer Society


DOI: 10.1109/SCC.2006.84

Notes: Awarded 1st Place in the 2006 IEEE International Services Computing Contest.

Library holdings: Search Newcastle University Library for this item

ISBN: 9780769526706


Link to this publication