Behavior modeling and automated verification of Web services
暂无分享,去创建一个
Lina Yao | Quan Z. Sheng | Zakaria Maamar | Claudia Szabo | Scott Bourne | Z. Maamar | S. Bourne | Claudia Szabo | Lina Yao
[1] Marco Pistore,et al. NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.
[2] Quan Z. Sheng,et al. Ensuring Well-Formed Conversations between Control and Operational Behaviors of Web Services , 2012, ICSOC.
[3] Xiang Fu,et al. Analysis of interacting BPEL web services , 2004, WWW '04.
[4] Saul A. Kripke,et al. Semantical Considerations on Modal Logic , 2012 .
[5] Zakaria Maamar,et al. Policies for Context-Driven Transactional Web Services , 2007, CAiSE.
[6] Shaohua Tang,et al. A Solution for Web Services Transaction , 2006, 2006 International Conference on Hybrid Information Technology.
[7] Jianxin Li,et al. A secure collaboration service for dynamic virtual organizations , 2010, Inf. Sci..
[8] Zakaria Maamar,et al. A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV , 2009, SoMeT.
[9] Quan Z. Sheng,et al. Separating Operational and Control Behaviors: A New Approach to Web Services Modeling , 2010, IEEE Internet Computing.
[10] B. C. Brookes,et al. Information Sciences , 2020, Cognitive Skills You Need for the 21st Century.
[11] Randy H. Katz,et al. A view of cloud computing , 2010, CACM.
[12] Mark C. Little,et al. Transactions and Web services , 2003, CACM.
[13] Athman Bouguettaya,et al. Deploying and managing Web services: issues, solutions, and directions , 2008, The VLDB Journal.
[14] Martin Gilje Jaatun,et al. Privacy in a Semantic Cloud: What's Trust Got to Do with It? , 2009, CloudCom.
[15] Marco Pistore,et al. Nusmv version 2: an opensource tool for symbolic model checking , 2002, CAV 2002.
[16] MaamarZakaria,et al. Behavior modeling and automated verification of Web services , 2014 .
[17] Nuno Laranjeiro,et al. Benchmarking the Robustness of Web Services , 2007, 13th Pacific Rim International Symposium on Dependable Computing (PRDC 2007).
[18] 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.
[19] Nihan Kesim Cicekli,et al. Automated composition of web services with the abductive event calculus , 2010, Inf. Sci..
[20] Fabio Casati,et al. Web service conversation modeling: a cornerstone for e-business automation , 2004, IEEE Internet Computing.
[21] Claude Godart,et al. Ensuring required failure atomicity of composite Web services , 2005, WWW '05.
[22] Jocelyn Simmonds,et al. Runtime Monitoring of Web Service Conversations , 2007, IEEE Transactions on Services Computing.
[23] Amnon Naamad,et al. The STATEMATE semantics of statecharts , 1996, TSEM.
[24] Gerard J. Holzmann,et al. The SPIN Model Checker - primer and reference manual , 2003 .
[25] Xiang Fu,et al. Synchronizability of conversations among Web services , 2005, IEEE Transactions on Software Engineering.
[26] Lefei Li,et al. An Artificial Emergency-Logistics-Planning System for Severe Disasters , 2008, IEEE Intelligent Systems.
[27] Raouf Boutaba,et al. Cloud computing: state-of-the-art and research challenges , 2010, Journal of Internet Services and Applications.
[28] Quan Z. Sheng,et al. Towards a conversation-driven composition of web services , 2004, Web Intell. Agent Syst..
[29] Paul T. Jaeger,et al. Identifying the security risks associated with governmental use of cloud computing , 2010, Gov. Inf. Q..
[30] Anders P. Ravn,et al. A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL , 2010, ISoLA.
[31] M. Brian Blake,et al. Service-Oriented Computing and Cloud Computing: Challenges and Opportunities , 2010, IEEE Internet Computing.
[32] Nuno Laranjeiro,et al. Benchmarking the Robustness of Web Services , 2007 .
[33] Benny Rochwerger,et al. Reservoir - When One Cloud Is Not Enough , 2011, Computer.
[34] Philippe Schnoebelen,et al. Systems and Software Verification, Model-Checking Techniques and Tools , 2001 .
[35] Stephan Merz,et al. Model Checking , 2000 .
[36] Paolo Traverso,et al. Service-Oriented Computing: State of the Art and Research Challenges , 2007, Computer.
[37] Luca Padovani,et al. A theory of contracts for Web services , 2007, TOPL.
[38] Philippe Schnoebelen,et al. Systems and Software Verification , 2001, Springer Berlin Heidelberg.
[39] Dieter Fensel,et al. Toward a service web: integrating the Semantic Web and service orientation , 2009 .
[40] Xiuzhen Zhang,et al. Predicting Defective Software Components from Code Complexity Measures , 2007 .
[41] Vladimir Getov,et al. Navigating the Cloud Computing Landscape - Technologies, Services, and Adopters , 2011, Computer.
[42] Amit P. Sheth,et al. Semantically Annotating a Web Service , 2007, IEEE Internet Computing.
[43] Jianwen Su,et al. Tools for composite web services: a short overview , 2005, SGMD.
[44] Yasushi Kambayashi,et al. The separation principle: A programming paradigm , 2004, IEEE Software.
[45] Jianwen Su. Web Service Interactions: Analysis and Design , 2005, SDWP@ICWS.