Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
Compiling language definitions: the ASF+SDF compiler
ACM Transactions on Programming Languages and Systems (TOPLAS)
Architecture Software Using: A Methodology for Language Development
PLILP '98/ALP '98 Proceedings of the 10th International Symposium on Principles of Declarative Programming
LFP '84 Proceedings of the 1984 ACM Symposium on LISP and functional programming
On detecting feature interactions in the programmable service environment of internet telephony
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
Theoretical Computer Science - Applied semantics: Selected topics
Detecting feature interactions in CPL
Journal of Network and Computer Applications
Abstractions for programming SIP back-to-back user agents
Proceedings of the 3rd International Conference on Principles, Systems and Applications of IP Telecommunications
Session-based role programming for the design of advanced telephony applications
Proceedings of the 11th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
CIAO: a component model and its OSGi framework for dynamically adaptable telephony applications
Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering
Umbra designer: graphical modelling for telephony services
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Hi-index | 0.00 |
Developing a SIP-based telephony service requires a programmer to have expertise in telephony rules and constraints, the SIP protocol, distributed systems, and a SIP API, which is often large and complex. These requirements make the development of telephony software an overwhelming challenge. To overcome this challenge, various programming languages have been proposed to develop telephony services. Nevertheless, none of these languages as yet has a formal semantics. Therefore, the reference implementation, which may not be available, becomes the only source of information for the programmer to understand the subtleties of the language. Furthermore, this situation makes it difficult for third-party developers to port the language to another runtime system or to provide another implementation of the runtime system. This paper presents a semantics-based stepwise approach for designing and developing a scripting language dedicated to the development of telephony services. This approach enables critical properties of services to be guaranteed and captures expertise on the operational behavior of a service. We have applied this approach to developing the Session Processing Language (SPL) [3] dedicated to SIP-based service creation. A variety of services have been written in SPL for our university department.