Using Colored Petri Nets for Verifying RESTful Service Composition.
Lara KallabMichael MrissaRichard ChbeirPierre BourreauPublished in: OTM Conferences (1) (2017)
Keyphrases
- colored petri nets
- service composition
- web services
- petri net
- web service composition
- qos aware
- service oriented
- composition of web services
- service discovery
- service oriented computing
- web services composition
- service selection
- asynchronous communication
- ai planning
- petri net model
- goal driven
- web applications
- description language
- model checking
- business processes
- service oriented architecture
- service providers
- semantic web services
- service integration
- web service compositions
- web service selection
- quality of service
- business applications
- business process
- process model
- loosely coupled
- business requirements
- semantic modeling
- semantic annotation
- composite web services