Formal techniques for consistency checking of orchestrations of semantic Web services
暂无分享,去创建一个
[1] Youcef Hammal. Behavioral Compatibility of Active Components , 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
[2] Matjaz B. Juric,et al. Business process execution language for web services , 2004 .
[3] Barbara Liskov,et al. Keynote address - data abstraction and hierarchy , 1988, OOPSLA '87.
[4] Xiangyu Luo,et al. An epistemic model checking approach for OWL-S web services , 2012, 2012 IEEE Symposium on Electrical & Electronics Engineering (EEESYM).
[5] Tran Cao Son,et al. Semantic Web Services , 2001, IEEE Intell. Syst..
[6] Jerry R. Hobbs,et al. DAML-S: Semantic Markup for Web Services , 2001, SWWS.
[7] Walid Serrai,et al. Towards an efficient and a more accurate web service selection using MCDM methods , 2017, J. Comput. Sci..
[8] Anthony Finkelstein,et al. Checking Complex Compositions of Web Services Against Policy Constraints , 2007, MSVVEIS.
[9] Zohra Sbai. Applying Formal Methods to Verify Web Services Orchestration and Choreography , 2018 .
[10] Leonardo Montecchi,et al. Exploiting MDE for Platform-Independent Testing of Service Orchestrations , 2019, 2019 15th European Dependable Computing Conference (EDCC).
[11] Nima Jafari Navimipour,et al. Formal verification approaches in the web service composition: A comprehensive analysis of the current challenges for future research , 2018, Int. J. Commun. Syst..
[12] Zachary J. Oster,et al. A Service Composition Framework Based on Goal-Oriented Requirements Engineering, Model Checking, and Qualitative Preference Analysis , 2012, ICSOC.
[13] Mahmoud Boufaïda,et al. Formal Transaction Modeling and Verification for an Adaptable Web Service Orchestration , 2018, 2018 IEEE International Conference on Software Quality, Reliability and Security Companion (QRS-C).
[14] Xiaojuan Wang,et al. Formal Semantics of OWL-S with Rewrite Logic , 2009, J. Softw. Eng. Appl..
[15] Youcef Hammal,et al. ATL Based Refinement of WS-CDL Choreography into BPEL Processes , 2018 .
[16] Gregory Zacharewicz,et al. Time-based orchestration of workflow, interoperability with G-Devs/Hla , 2015, J. Comput. Sci..
[17] Valérie Issarny,et al. Context-Aware Service Composition in Pervasive Computing Environments , 2005, RISE.
[18] Serge Haddad,et al. Bounding models families for performance evaluation in composite Web services , 2013, J. Comput. Sci..
[19] Zhenhua Duan,et al. Transforming OWL-S Process Model into EDFA for Service Discovery , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).
[20] Daniela Grigori,et al. OWL-S Process Model Matchmaking , 2010, 2010 IEEE International Conference on Web Services.
[21] Yushun Fan,et al. Model transformation and formal verification for Semantic Web Services composition , 2010, Adv. Eng. Softw..