SDTIOA: Modeling the Timed Privacy Requirements of IoT Service Composition: A User Interaction Perspective for Automatic Transformation from BPEL to Timed Automata

With the development of the Internet of Things (IoT) and the Internet, new kinds of services based on IoT devices will benefit everyone. As a key step in achieving a complex business structure based on a massive number of IoT devices, establishing an effective service composition is extremely import...

Celý popis

Uložené v:

Podrobná bibliografia
Vydané v:	Mobile networks and applications Ročník 26; číslo 6; s. 2272 - 2297
Hlavní autori:	Gao, Honghao, Zhang, Yida, Miao, Huaikou, Barroso, Ramón J. Durán, Yang, Xiaoxian
Médium:	Journal Article
Jazyk:	English
Vydavateľské údaje:	New York Springer US 01.12.2021 Springer Nature B.V
Predmet:	Algorithms Business Process Execution Language Communications Engineering Composition effects Computer Communication Networks Electrical Engineering Engineering Internet of Things IT in Business Networks Privacy Verification IoT service composition Privacy requirements BPEL verification Timed automata User interactions UPPAAL
ISSN:	1383-469X, 1572-8153
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!