Cloud Service Composition Modeling Using Bigraphical Reactive Systems.
Oussama KamelAllaoua ChaouiMohamed GharzouliPublished in: IDEAS (2017)
Keyphrases
- service composition
- reactive systems
- petri net
- web service composition
- web services
- petri net model
- service oriented
- goal driven
- web services composition
- composition of web services
- qos aware
- service selection
- temporal logic
- model checking
- formal methods
- service discovery
- cloud computing
- real time
- artificial intelligence
- ws bpel
- semantic web service composition
- information flow
- intelligent agents
- case study
- decision making