Archive for December, 2005

Design by Contract for Web Services

Tuesday, December 20th, 2005
Contracts are important for Web services. Design by contract (DBC) is nothing new, but, unfortunately, formal precondition and postcondition specifications have never become mainstream, at least not in the way they were presented by Bertrand Mayer in Object Oriented Software Construction. However, with the advent of Web services, I think it‘s time to re-introduce DBC to the […]

BPEL, SCA and Refactoring

Monday, December 5th, 2005
With the advent of SOA and SOA -related technologies and standards, such as WSDL , BPEL, and, more recently, SCA and SDO, more and more application metadata (and just plain data) is externalized into XML . XML is used for: Flow definitions (BPEL). […]