Service-Oriented Computing Contest, System Research Groups, Research Events, Computing Science, University of Newcastle

For Researchers

Contacts

Organisation

Overview
Dependability
Distributed Systems
Data-Intensive Systems
Theory

Projects

Funding Success
Active Projects
Closed Projects

Publications

All Publications
Journal Articles
Conf. Papers
Conf. Proceedings
Books/Chapters
School Technical Report Series
Theses
Dissertations
Other Publications

Events

Colloquia
Asynchronous Systems Labs (ASLs)
System Research Group Seminars (SRGs)
Conferences
International Seminars

PhD and MPhil

Readme

Service-Oriented Computing Contest

Speaker: Aad van Moorsel

Abstract

Ill report on a service-oriented computing contest a team of us (Chris, Emerson, Jim, Philipp, Savas, Aad) is participating in. We are building a service-oriented proof-of-concept for a real-estate application, using technologies like SSDL, formal correctness proofs and web services security. Ill also touch on some of the non-technical aspects of participating in this contest.