Internet communications using SIP: delivering VoIP and multimedia services with Session Initiation Protocol
A Symbolic Semantics and Bisimulation for Full LOTOS
FORTE '01 Proceedings of the IFIP TC6/WG6.1 - 21st International Conference on Formal Techniques for Networked and Distributed Systems
Protocol-Inspired Hardware Testing
Proceedings of the IFIP TC6 12th International Workshop on Testing Communicating Systems: Method and Applications
Analysing interactive voice services
Computer Networks: The International Journal of Computer and Telecommunications Networking - Special issue: Directions in feature interaction research
Enabling user-tailored MMS delivery in heterogeneous access scenarios
ICME '03 Proceedings of the 2003 International Conference on Multimedia and Expo - Volume 2
Representing and analysing composed web services using Cress
Journal of Network and Computer Applications
A rigorous approach to orchestrating grid services
Computer Networks: The International Journal of Computer and Telecommunications Networking
PETRI NETS '08 Proceedings of the 29th international conference on Applications and Theory of Petri Nets
Formalizing graphical service descriptions using SDL
SDL'03 Proceedings of the 11th international conference on System design
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Formalising interactive voice services with SDL
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Rigorous development of prompting dialogues
Journal of Biomedical Informatics
Hi-index | 0.00 |
CRESS (CHISEL Representation Employing Systematic Specification) is a notation and set of tools for graphical specification and analysis of services. It is applicable wherever a system consists of base functionality to which may be added selected services. The CRESS notation is introduced for root diagrams, service diagrams, and rules governing their behaviour. It is shown how CRESS can represent services in SIP (Session Initiation Protocol). For analysis, service diagrams can be automatically translated into LOTOS (Language Of Temporal Ordering Specification) or SDL (Specification and Description Language). For scripting, translation is into CPL (Call Processing Language) or CGI (Common Gateway Interface). The structure of the portable CRESS toolset is explained.