Formal Approach for Compatibility Checking of Orchestrations of Composite Semantic Web Services
暂无分享,去创建一个
[1] Matjaz B. Juric,et al. Business process execution language for web services , 2004 .
[2] Bilişim. Abstract Syntax Tree , 2010 .
[3] Valérie Issarny,et al. Context-Aware Service Composition in Pervasive Computing Environments , 2005, RISE.
[4] Daniela Grigori,et al. OWL-S Process Model Matchmaking , 2010, 2010 IEEE International Conference on Web Services.
[5] Jan Mendling,et al. Business Process Execution Language for Web Services , 2006, EMISA Forum.
[6] Zhenhua Duan,et al. Transforming OWL-S Process Model into EDFA for Service Discovery , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).
[7] Youcef Hammal. Behavioral Compatibility of Active Components , 2008, 2008 Sixth IEEE International Conference on Software Engineering and Formal Methods.
[8] Zachary J. Oster,et al. A Service Composition Framework Based on Goal-Oriented Requirements Engineering, Model Checking, and Qualitative Preference Analysis , 2012, ICSOC.
[9] R. Stephenson. A and V , 1962, The British journal of ophthalmology.