Institute of Information Theories and Applications FOI ITHEA
Abstract:
INFRAWEBS project [INFRAWEBS] considers usage of semantics for the complete lifecycle of
Semantic Web processes, which represent complex interactions between Semantic Web Services. One of the
main initiatives in the Semantic Web is WSMO framework, aiming at describing the various aspects related to
Semantic Web Services in order to enable the automation of Web Service discovery, composition, interoperation
and invocation. In the paper the conceptual architecture for BPEL-based INFRAWEBS editor is proposed that is
intended to construct a part of WSMO descriptions of the Semantic Web Services. The semantic description of
Web Services has to cover Data, Functional, Execution and QoS semantics. The representation of Functional
semantics can be achieved by adding the service functionality to the process description. The architecture relies
on a functional (operational) semantics of the Business Process Execution Language for Web Services
(BPEL4WS) and uses abstract state machine (ASM) paradigm. This allows describing the dynamic properties of
the process descriptions in terms of partially ordered transition rules and transforming them to WSMO framework.
