论文信息 - Formalising Web Services

Formalising Web Services

Despite the popularity of web services, creating them manually is an intricate task. Composite web services are defined using the evolving standard for Bpel (Business Process Execution Logic). It is explained how Cress (Chisel Representation Employing Systematic Specification) has been extended to meet the challenge of graphically and formally describing web services. Sample Cress descriptions are presented of web services. These are automatically translated into Lotos, permitting rigorous analysis and automated validation.

Kenneth J. Turner

[1] Kenneth J. Turner,et al. Analysing interactive voice services , 2004, Comput. Networks.

[2] Allan Clark,et al. Semantic-Based Development of Service-Oriented Systems , 2006, FORTE.

[3] Jan Mendling,et al. Business Process Execution Language for Web Services , 2006, EMISA Forum.

[4] Kenneth J. Turner,et al. Test generation for radiotherapy accelerators , 2005, International Journal on Software Tools for Technology Transfer.

[5] Andrea Ferrara,et al. Web services: a process algebra approach , 2004, ICSOC '04.

[6] Francisco Curbera,et al. Web Services Business Process Execution Language Version 2.0 , 2007 .

[7] Kenneth J. Turner,et al. Modelling SIP Services Using CRESS , 2002, FORTE.

[8] Sebastián Uchitel,et al. Compatibility verification for Web service choreography , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[9] Kenneth J. Turner. Formalising the Chisel Feature Notation , 2000, FIW.

[10] Stephen A. White,et al. Business Process Modeling Notation (BPMN), Version 1.0 , 2004 .

[11] Matjaz B. Juric,et al. Business process execution language for web services , 2004 .

[12] Kenneth J. Turner. Validating feature‐based specifications , 2006, Softw. Pract. Exp..