WSMX Execution Semantics - Executable Software Specification

Abstract WSMX is an execution environment for dynamic discovery, selection, mediation and invocation of web services. WSMX builds on WSMO, a conceptual framework for semantically describing web services, goals, ontologies and mediators. The design process of WSMX included formally specifying the operational behaviour of the system. In general, the reasons to formally model system behaviour in a design process are: enlarging developers ’ understanding of the system, proving several properties of the (model of the) future system and enabling model-driven execution of components. We present the execution semantics of WSMX and describe whether our approach addressed these requirements.