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...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Mobile networks and applications Jg. 26; H. 6; S. 2272 - 2297
Hauptverfasser:	Gao, Honghao, Zhang, Yida, Miao, Huaikou, Barroso, Ramón J. Durán, Yang, Xiaoxian
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York Springer US 01.12.2021 Springer Nature B.V
Schlagworte:	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
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!