Home // SERVICE COMPUTATION 2010, The Second International Conferences on Advanced Service Computing // View article

Code Contracts for Windows Communication Foundation (WCF)

Authors:
Bernhard Hollunder

Keywords: Code Contracts; Windows Communication Foundations; WCF; Web Services; WS-Policy

Abstract:
Code contracts allow the specification of preconditions, postconditions and invariants for .NET interfaces and classes. Code contracts not only perform constraint checking at runtime, but also provide tools for static code analysis and documentation generation. WCF is another .NET technology supporting the creation and deployment of distributed services such as Web services. Currently, WCF services cannot be equipped with code contracts. Though a combination of both technologies would bring additional expressive power to WCF and Web services, there does not exist a solution yet. In this paper, we present a novel approach that brings code contracts to WCF. Our solution combines standard technologies such as WSDL and WS-Policy. The feasibility of the approach has been demonstrated by a proof of concept implementation.

Pages: 14 to 20

Copyright: Copyright (c) IARIA, 2010

Publication date: November 21, 2010

Published in: conference

ISSN: 2308-3549

ISBN: 978-1-61208-105-2

Location: Lisbon, Portugal

Dates: from November 21, 2010 to November 26, 2010