A Formal Model for Service Discovery Protocol (SDP) using SDL
Abstract
References
Recommendations
A Formal Model for SDL Specifications Based on Timed Rewriting Logic
SDL is an industrial standard formal description technique for telecommunication systems. However, despite its wide spread use and industrial importance it lacks at present an adequate formal semantics integrating its static, dynamic, and real-time ...
Using Event B to Specify Context Awareness for Service Discovery in Pervasive Environments
The environments of pervasive computing are open and dynamic. In order to ensure the dynamic discovery of services evolving in a heterogeneous and dynamic environment, specific extensions to WSDL, known as A-WSDL are suggested. These extensions permit ...
Formalising interactive voice services with SDL
IFM'05: Proceedings of the 5th international conference on Integrated Formal MethodsIVR (Interactive Voice Response) services are introduced with reference to VoiceXML (Voice eXtensible Markup Language). It is explained how IVR services can benefit from an underlying formalism and rigorous analysis. IVR services are modelled using ...
Comments
Information & Contributors
Information
Published In

In-Cooperation
- Southwest Jiaotong University
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed limited
Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 50Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in