Timed Extended Invariants for the Passive Testing of Web Services.
Gerardo MoralesStéphane MaagAna R. CavalliWissam MallouliEdgardo Montes de OcaBachar WehbiPublished in: ICWS (2010)
Keyphrases
- web services
- quality of service
- colored petri nets
- service oriented architecture
- service composition
- business processes
- petri net
- information systems
- loosely coupled
- web service composition
- semantic web services
- service oriented
- service providers
- web applications
- test cases
- markov chain
- description language
- end users
- multiscale
- web services composition
- service architecture
- data sets
- timed automata