Towards Dynamic Execution Semantics in Semantic Web Services
Michal Zaremba · 2005
The research carried out on the Web Services Execution Environment (WSMX) provides a Semantic Web Services reference architecture. The design process of WSMX includes providing a formal specification of the operational behavior of the system called execution semantics. In general, the reason to formally model system behavior during the design process is to improve understanding of the system, to verify properties of the model of the designed system and to enable model-driven check-in of execution of the components. In our research on WSMX we envisioned dynamic execution semantics, i.e., a system run-time deployable formal definition of the system behavior, which can be executed against components that are part of the system. In this paper we present the dynamic execution semantics in the Semantic Web Services architecture implementation of WSMX.