SDTIOA: Modeling the Timed Privacy Requirements of IoT Service Composition: A User Interaction Perspective for Automatic Transformation from BPEL to Timed Automata.
Honghao GaoYida ZhangHuaikou MiaoRamón J. Durán BarrosoXiaoxian YangPublished in: Mob. Networks Appl. (2021)
Keyphrases
- service composition
- user interaction
- timed automata
- petri net
- web service composition
- colored petri nets
- web services
- model checking
- service oriented
- web services composition
- privacy requirements
- user behavior
- theorem prover
- theorem proving
- service selection
- privacy preserving
- service discovery
- user interface
- first order logic
- information systems
- business process modeling
- privacy policies
- highly reliable
- composite services
- real time systems
- service oriented architecture
- database systems
- inference rules