Generating Finite State Machine from WSMO choreography for testing Web services.
Hazlifah Mohd RusliAishah AhmadSuhaimi IbrahimMazidah PutehPublished in: ICDIM (2015)
Keyphrases
- finite state machines
- web services
- service oriented architecture
- semantic web services
- service discovery
- service oriented computing
- web service composition
- model checking
- service oriented
- description language
- finite state automata
- business processes
- digital circuits
- web applications
- state machine
- loosely coupled
- quality of service
- service providers
- automatic discovery
- state transition
- business process
- service composition
- colored petri nets
- service architecture
- cellular automaton
- service description
- regular expressions
- hidden markov models