Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
Semantic Matching of Web Services Capabilities
ISWC '02 Proceedings of the First International Semantic Web Conference on The Semantic Web
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Matchmaking for Business Processes Based on Choreographies
EEE '04 Proceedings of the 2004 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'04)
Building Business Processes or Assembling Service Components: Reuse Services with BPEL4WS and SCA
ECOWS '06 Proceedings of the European Conference on Web Services
A Comprehensive Framework for Dynamic Web Services Integration
ECOWS '06 Proceedings of the European Conference on Web Services
Linear time-dependent constraints programming with MSVL
Journal of Combinatorial Optimization
Hi-index | 0.00 |
It is a prerequisite for automating business processes integration to dynamically discover usable web services. A formal approach to semantic matching of web services based on choreographies is presented to support it. First, an extended deterministic finite automaton (EDFA) is proposed by labeling state transitions with binary-tuples (input, output) rather than letters. EDFAs represent services more accurately: the nodes represent the states maintained by the service; the state transitions represent the communication activities of the service. Thus, the automata depicts the temporal sequences of communication activities that describe the behavior of services. Second, the semantics-based intersection of EDFAs is presented and the compatibility of services is evaluated by testing the emptiness of the languages accepted by EDFAs. Finally, component structures are introduced to describe services with two roles: invoking another service and/or being invoked by another service. The compatibility of services can be employed to discover usable services, moreover, to validate collaborative business processes.