SDTIOA: Modeling the Timed Privacy Requirements of IoT Service Composition: A User Interaction Perspective for Automatic Transformation from BPEL to Timed Automata
Honghao Gao, Yida Zhang, Huaikou Miao, Ramón J. Durán Barroso, Xiaoxian Yang
Topics & Concepts
Computer scienceAutomatonModel checkingBusiness Process Execution LanguageFormal verificationService (business)Model transformationDistributed computingBusiness processService-oriented architectureWeb serviceTheoretical computer scienceProgramming languageArtificial intelligenceWork in processMarketingEconomicsEconomyBusinessConsistency (knowledge bases)Service-Oriented Architecture and Web ServicesCloud Data Security SolutionsBusiness Process Modeling and Analysis