Transforming WS-BPEL into Timed Automata.
Pramate ChandrataratWiwat VatanawoodPublished in: ICSEB (2019)
Keyphrases
- timed automata
- ws bpel
- business process
- model checking
- business processes
- reachability analysis
- service composition
- asynchronous communication
- theorem prover
- web services
- first order logic
- theorem proving
- real time systems
- service oriented
- temporal logic
- real time
- service oriented architecture
- database
- business rules
- artificial intelligence
- learning algorithm
- machine learning