The Community for Technology Leaders
RSS Icon
Subscribe
Chicago, Illinois
Sept. 18, 2006 to Sept. 22, 2006
ISBN: 0-7695-2670-5
pp: 495-504
Emerson Ribeiro de Mello , Federal University of Santa Catarina
Savas Parastatidis , Microsoft, Redmond, USA
Philipp Reinecke , Humboldt-Universitat Berlin, Germany
Chris Smith , Newcastle University,UK
Aad van Moorsel , Newcastle University,UK
Jim Webber , ThoughtWorks, Sydney, Australia
ABSTRACT
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 [1].
INDEX TERMS
null
CITATION
Emerson Ribeiro de Mello, Savas Parastatidis, Philipp Reinecke, Chris Smith, Aad van Moorsel, Jim Webber, "Secure and Provable Service Support for Human-Intensive Real-Estate Processes", SCC, 2006, 2013 IEEE International Conference on Services Computing, 2013 IEEE International Conference on Services Computing 2006, pp. 495-504, doi:10.1109/SCC.2006.84
4 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool