Modelling SIP Services Using Cress

Turner, Kenneth J.

doi:10.1007/3-540-36135-9_11

Cited by 11 publications

(16 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It thus lends itself to describing flows that combine grid services. CRESS has been used to specify and analyse services from the Intelligent Network [23], Internet Telephony [24], Interactive Voice Response [25], Call Processing, and web services [26]. In a new development, CRESS has now been extended to grid services.…”

Section: Cress (Communication Representation Employing Structured Spementioning

confidence: 99%

A rigorous approach to orchestrating grid services

Turner¹,

Tan²

2007

Computer Networks

Self Cite

View full text Add to dashboard Cite

Although conceived for web services, it is shown how BPEL (Business Process Execution Language) can be used to orchestrate a collection of grid services. This is achieved using the technique of CRESS (Communication Representation Employing Systematic Specification) to describe the composition of grid services. CRESS descriptions are automatically translated into LOTOS (Language Of Temporal Ordering Specification), allowing systematic checks for interoperability and logical errors prior to implementation. MUSTARD (Multiple-Use Scenario Test and Refusal Description) is used to validate the generated specification against use case scenarios. The same CRESS descriptions are then automatically converted into BPEL/WSDL code for practical realisation of the composed services. Grid services are executed by Globus Toolkit 4, while their orchestration is supported by the ActiveBPEL engine. The MUSTARD scenarios are used again to evaluate the implementation. The overall approach therefore supports rigorous development and automated creation of orchestrated grid services.

show abstract

Section: Cress (Communication Representation Employing Structured Spementioning

confidence: 99%

A rigorous approach to orchestrating grid services

Turner¹,

Tan²

2007

Computer Networks

Self Cite

View full text Add to dashboard Cite

show abstract

“…The CRESS notation is described and illustrated elsewhere (e.g. [6][7][8]). Only a brief overview is therefore given here; the notation is explained through examples.…”

Section: Relationship To Other Workmentioning

confidence: 99%

“…This time, the Uses clause also references the subsidiary services lender and supplier. If the lender invocation in node 3 causes a refusal fault, it is intercepted by the global fault handler (nodes 7,8). This calls the compensation handler in node 6 and returns the fault to the customer.…”

Section: A Car Broker Web Servicementioning

confidence: 99%

See 1 more Smart Citation

Formal Techniques for Networked and Distributed Systems - FORTE 2005

Wang¹

2005

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. 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.

show abstract

“…In fact, SIP is sufficiently new that there is not yet a consensus on what a SIP service is. An important aspect of the CRESS work has therefore been to define a SIP service architecture [11][12][13]. For formal analysis, a range of SIP services has been described in CRESS and interpreted in LOTOS and SDL.…”

Section: Inmentioning

confidence: 99%

Formalising Graphical Behaviour Descriptions

Turner

2004

Algebraic Methodology and Software Technology

Self Cite

View full text Add to dashboard Cite

Abstract. CRESS (Chisel Representation Employing Systematic Specification) is used for graphical behaviour description, underpinned by formal and implementation languages. Plug-in frameworks adapt it for particular application domains such as Intelligent Networks, Internet Telephony and Interactive Voice Response. The CRESS notation and its syntax are explained. The semantics of CRESS is discussed with reference to its interpretation in LOTOS.

show abstract

Modelling SIP Services Using Cress

Abstract: Abstract. CRESS (CHISEL Representation Employing Systematic Specification) is a notation and set of tools for graphical specification and analysis of services.

Cited by 11 publications

References 4 publications

A rigorous approach to orchestrating grid services

A rigorous approach to orchestrating grid services

Formal Techniques for Networked and Distributed Systems - FORTE 2005

Formalising Graphical Behaviour Descriptions

Contact Info

Product

Resources

About