Algebraic Support for Service-Oriented Architecture

The Net-based economy, now fuelled by the increasing availability of wireless communication, is imposing a new architectural model for software systems which, mirroring what is already happening in the business domain, is based on services instead of products. The trend is to support this model through the use of object-oriented approaches, but two essential questions have barely been addressed so far: How inewi is this Software Technology? What does it require from Algebraic Methodology?