This talk presents an approach to creating telephony services that builds on programming language technology (i.e., language design and implementation, language semantics, and program analysis).We have developed a language, named Session Processing Language (SPL), that offers domain-specific constructs, abstracting over the intricacies of the underlying technologies. By design, SPL guarantees critical properties that cannot be verified in general-purpose languages. SPL relies on a Service Logic Execution Environment for SIP (SIP-SLEE) that introduces a design framework for service development based around the notion of session.
SPL and SIP-SLEE have been implemented and they are now being used to develop and deploy real services, demonstrating the practical benefits of our approach.
[This is joint work with L. Burgy, F. Latry, J. Lawall, N. Palix, L. Reveillere]
His research interests include programming languages, software engineering and operating systems.