Web Service Choreography Conformance Verification in M2M Systems through the piX-model.
Gregory van SeghbroeckFilip De TurckBart DhoedtPiet DemeesterPublished in: ICPS (2007)
Keyphrases
- probabilistic model
- management system
- web services
- formal model
- experimental data
- computational model
- objective function
- finite state machines
- mathematical model
- theoretical analysis
- expert systems
- intelligent systems
- theoretical framework
- probability distribution
- steady state
- cost function
- computational models
- service oriented architecture
- multi agent systems
- colored petri nets