Download:
by Michal Zaremba
in Proceedings of the Workshop on Web Service Semantics: Towards Dynamic Business Integration, International Conference on the World Wide Web (WWW 2005
http://arsky.com/WWW2005/WorkshopCD/workshop/wf08/WSS2005-Zaremba-Final.pdf
Add To MetaCart
Abstract:
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.
Citations
|
207
|
A Specifier’s Introduction to Formal Methods
– Wing
- 1990
|
|
11
|
CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets
– Ratzer, Wells, et al.
- 2003
|
|
7
|
Modelling workflow management systems with high-level Petri nets
– Aalst, Hee, et al.
- 1994
|
|
6
|
D.: Web service modeling ontology (WSMO
– Lausen, Polleres, et al.
- 2005
|
|
5
|
Semantic Web Services: Meteor-S Web Service Annotation Framework
– Patil, Oundhakar, et al.
- 2004
|
|
3
|
Using WSMX to bind requester & provider at runtime when executing semantic web services
– Moran, Zaremba, et al.
- 2004
|
|
1
|
Von Riegen and Tony Rogers. UDDI version 3.0
– Clement, Hately, et al.
- 2004
|
|
1
|
Have Critical SOA Questions? We have Answers!, ebizQ
– You
- 2004
|
|
1
|
Farshad Hakimpour, Denilson Sell and Enrico Motta, IRS-III: A Platform and Infrastructure for Creating WSMO-based Semantic Web Services
– Domingue, Cabral
- 2004
|
|
1
|
Triple-based Computing. in Semantic Web Services: Preparing to Meet the World of Business Applications a workshop at
– Fensel
- 2004
|
|
1
|
Gerlernter Mirror Worlds
– David
- 1992
|
|
1
|
WSMX Execution Semantics - Executable Software Specification
– Oren
- 2004
|
