Keyphrases
- integration testing
- web services
- formal methods
- black box
- service oriented
- service composition
- object oriented programs
- business processes
- business process
- web services composition
- component based software
- colored petri nets
- software testing
- business process management
- petri net
- test cases
- business process modeling
- web service composition
- service oriented architecture
- description language
- modeling language
- data sets
- software systems
- neural network
- semantic web services
- formal specification
- quality of service
- web applications
- multi agent
- case study
- unit testing
- artificial intelligence