Behavior Compatibility Analysis for Service Mashup with Model Checking

[1]  Mohamed Graiet,et al.  Formal Behavioral Modeling for Verifying SCA Composition with Event-B , 2015, 2015 IEEE International Conference on Web Services.

[2]  Jing Zhao,et al.  Data Based Violated Behavior Analysis of Taxi Driver in Metropolis in China , 2019 .

[3]  James Miller,et al.  Using π-calculus for Formal Modeling and Verification of WS-CDL Choreographies , 2017, IEEE Transactions on Services Computing.

[4]  Mohamed Graiet,et al.  Formal Modeling for Verifying SCA Dynamic Composition with Event-B , 2015, 2015 IEEE 24th International Conference on Enabling Technologies: Infrastructure for Collaborative Enterprises.

[5]  MengChu Zhou,et al.  A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language , 2009, IEEE Transactions on Automation Science and Engineering.

[6]  Partha S. Roop,et al.  Unified management of control flow and data mismatches in web service composition , 2011, Proceedings of 2011 IEEE 6th International Symposium on Service Oriented System (SOSE).

[7]  MengChu Zhou,et al.  Timed Compatibility Analysis of Web Service Composition: A Modular Approach Based on Petri Nets , 2014, IEEE Transactions on Automation Science and Engineering.

[8]  Jun Jin,et al.  Behavioral Compatibility Analysis for Context-independent Service Substitution , 2012, 2012 Seventh ChinaGrid Annual Conference.

[9]  Baoyu Ma,et al.  Dynamic Trust Model Based on Service Recommendation in Big Data , 2019 .

[10]  Javier Cubo,et al.  On the Service Discovery Using Context-Awareness, Semantic Matching and Behavioural Compatibility , 2012, 2012 IEEE 15th International Conference on Computational Science and Engineering.

[11]  Jiujun Cheng,et al.  Automatic Composition of Semantic Web Services Based on Fuzzy Predicate Petri Nets , 2015, IEEE Transactions on Automation Science and Engineering.

[12]  Andrew William Roscoe,et al.  The Theory and Practice of Concurrency , 1997 .

[13]  Haitao Yuan,et al.  A Petri Net Method for Compatibility Enforcement to Support Service Choreography , 2016, IEEE Access.

[14]  Quan Z. Sheng,et al.  A Petri Net Approach to Analyzing Behavioral Compatibility and Similarity of Web Services , 2011, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[15]  Jinpeng Jiang,et al.  Formal Verification and Improvement of the PKMv3 Protocol Using CSP , 2018, 2018 IEEE 42nd Annual Computer Software and Applications Conference (COMPSAC).

[16]  Ling Liu.  Serving the Services Computing Community , 2017, IEEE Trans. Serv. Comput..

[17]  Bo Cheng,et al.  A Data-Driven Service Creation Approach for End-Users , 2016, IEEE Access.

[18]  Baoyu Ma,et al.  A MPTCP Scheduler for Web Transfer , 2018 .