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

Full description

Saved in:

Bibliographic Details
Published in:	Mobile networks and applications Vol. 26; no. 6; pp. 2272 - 2297
Main Authors:	Gao, Honghao, Zhang, Yida, Miao, Huaikou, Barroso, Ramón J. Durán, Yang, Xiaoxian
Format:	Journal Article
Language:	English
Published:	New York Springer US 01.12.2021 Springer Nature B.V
Subjects:	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 Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!