Modelling and Analysis of Communications Services Ken Turner - PowerPoint PPT Presentation

Modelling and Analysis of Communications Services Ken Turner Computing Science and Mathematics www.cs.stir.ac.uk/~kjt/research/cress.html 17th June 2010

C RESS � Communication Representation Employing Systematic Specification: � graphical service notation – voice web grid � graphical service notation voice, web, grid, ... � language-independent – L OTOS , SDL, BPEL, ... � portable toolset – Windows, MacOS, Linux, ... � automated formalisation – specification, validation, verification � automated implementation – code generation, t t d i l t ti d ti functional/performance testing � mature - under development for 13 years

C RESS Tools Diagram C RESS Editor Diagram Pre- Pre Lexer Processor Target Target Front-End Framework Parser External Environment External Environment Analysis/ Target Target Code Deployment/ Back-End Language Generator Execution

Related Tools � diagram editing: � C HIVE (C RESS Home-grown Interactive Visual Editor) ) � formal validation: � M USTARD (Multiple-Use Scenario Test And Refusal Description) � formal verification: � C LOVE (C RESS Language-Oriented Verification Environment) � implementation validation: � M INT (M USTARD Interpreter)

C RESS Methodology Service automatic Diagram automatic compilation mp specification specification Implementation Formal Code Specification scenario validation/ evaluation verification design Formal Behaviour, corrections Analysis Performance

Root Diagram (Interactive Voice) 1 Audio "Book your room" y 2 Request arrival "What date?" Date Catch "Help Filled NoInput" NoInput 3 Request stay 4 Audio "Say your "How many nights?" arrival date" Number

Feature Diagram (Interactive Voice) 1- Submit Url Variable 1- Submit Url Variable 2 Request contact 2 Request contact "Your number?" Phone Catch "Help Filled NoMatch" 3 Audio "We’ll call 5 Audio "Please give you on $contact" a phone number" 4 Submit contact.jsp 6 Reprompt contact Finish

C RESS Applications � Intelligent Network: � Plain Old Telephone Service + features � Session Initiation Protocol: � Session Initiation Protocol: � User Agent, Proxy/Redirect Server + features � Voice over Internet Protocol: � Call Processing Language services � Interactive Voice Response/Prompting: � Interactive Voice Response/Prompting: � VoiceXML services + features � Device/Grid/Web Services: � Business Process Execution Language services + features