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ženo v:

Podrobná bibliografie
Vydáno v:	Mobile networks and applications Ročník 26; číslo 6; s. 2272 - 2297
Hlavní autoři:	Gao, Honghao, Zhang, Yida, Miao, Huaikou, Barroso, Ramón J. Durán, Yang, Xiaoxian
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	New York Springer US 01.12.2021 Springer Nature B.V
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!