Rigorous development of composite grid services
暂无分享,去创建一个
[1] Liang Chen,et al. Sedna: A BPEL-Based Environment for Visual Scientific Workflow Modeling , 2007, Workflows for e-Science, Scientific Workflows for Grids.
[2] Peter Fettke,et al. Business Process Modeling Notation , 2008, Wirtschaftsinf..
[3] Ian T. Foster,et al. Grid Services for Distributed System Integration , 2002, Computer.
[4] Kenneth J. Turner. Formalising the Chisel Feature Notation , 2000, FIW.
[5] Colin Stirling,et al. Modal Mu-Calculi , 2001 .
[6] Andrea Ferrara,et al. Web services: a process algebra approach , 2004, ICSOC '04.
[7] Ian Foster,et al. The Globus toolkit , 1998 .
[8] M. Harman,et al. Testing Web Services : A Survey , 2011 .
[9] C.A. Vissers,et al. Formal description techniques , 1983, Proceedings of the IEEE.
[10] Kenneth J. Turner. Validating feature‐based specifications , 2006, Softw. Pract. Exp..
[11] Cesare Pautasso,et al. JOpera: an agile environment for Web service composition with visual unit testing and refactoring , 2005, 2005 IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC'05).
[12] Wolfgang Emmerich,et al. Validating Distributed Object and Component Designs , 2003, SFM.
[13] Klaus Krippendorff,et al. Content Analysis: An Introduction to Its Methodology , 1980 .
[14] J. Hillston,et al. Analysing Web Service Composition with PEPA , 2004 .
[15] Stephen A. White,et al. Business Process Modeling Notation (BPMN), Version 1.0 , 2004 .
[16] Frank Wolter,et al. Handbook of Modal Logic , 2007, Studies in logic and practical reasoning.
[17] Nora Koch,et al. Sensoria - Software Engineering for Service-Oriented Overlay Computers , 2011, Results of the SENSORIA Project.
[18] Tiziana Margaria,et al. Model-Driven Development with the jABC , 2006, Haifa Verification Conference.
[19] Paolo Falcarin,et al. Using Temporal Business Rules to Synthesize Service Composition Process Models , 2007, ACT4SOC.
[20] Radu Mateescu,et al. An overview of CADP 2001 , 2001 .
[21] Xiang Fu,et al. Analysis of interacting BPEL web services , 2004, WWW '04.
[22] Gwen Salaün,et al. Encoding abstract descriptions into executable Web services: towards a formal development , 2005, The 2005 IEEE/WIC/ACM International Conference on Web Intelligence (WI'05).
[23] Francisco Curbera,et al. Web Services Business Process Execution Language Version 2.0 , 2007 .
[24] Jing Li,et al. Specifying and Verifying Web Transactions , 2008, FORTE.
[25] Steffen Staab,et al. Neurons, Viscose Fluids, Freshwater Polyp Hydra-and Self-Organizing Information Systems , 2003, IEEE Intell. Syst..
[26] Howard Foster,et al. A rigorous approach to engineering web service compositions , 2006 .
[27] Radu Mateescu,et al. CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes , 2011, TACAS.
[28] Matthew R. Pocock,et al. Taverna: a tool for the composition and enactment of bioinformatics workflows , 2004, Bioinform..
[29] Rudolf Schmid,et al. Organization for the advancement of structured information standards , 2002 .
[30] Jan Tretmans. Test Case Derivation from LOTOS Specifications , 1989, FORTE.
[31] Steffen Staab,et al. Web Services: Been There, Done That? , 2003, IEEE Intell. Syst..
[32] Kenneth J. Turner,et al. Automated Analysis and Implementation of Composed Grid Services , 2007 .
[33] Kenneth J. Turner. Formalising Web Services , 2005, FORTE.
[34] Steven Tuecke,et al. Grid Services for Distributed System , 2002 .
[35] Liang Chen,et al. Grid Service Orchestration Using the Business Process Execution Language (BPEL) , 2005, Journal of Grid Computing.