Abstract
Cress (Chisel Representation Employing Systematic Specification) is used for graphical behaviour description, underpinned by formal and implementation languages. Plug-in frameworks adapt it for particular application domains such as Intelligent Networks, Internet Telephony and Interactive Voice Response. The Cress notation and its syntax are explained. The semantics of Cress is discussed with reference to its interpretation in Lotos.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Aho, A.V., Gallagher, S., Griffeth, N.D., Schell, C.R., Swayne, D.F.: SCF3/Sculptor with Chisel: Requirements engineering for communications services. In: Kimbler, K., Bouma, W. (eds.) Proc. 5th. Feature Interactions in Telecommunications and Software Systems, September 1998, pp. 45–63. IOS Press, Amsterdam (1998)
Amyot, D., Charfi, L., Gorse, N., Gray, T., Logrippo, L.M.S., Sincennes, J., Stepien, B., Ware, T.: Feature description and feature interaction analysis with use case maps and LOTOS. In: Calder, M.H., Magill, E.H. (eds.) Proc. 6th. Feature Interactions in Telecommunications and Software Systems, May 2000, pp. 274–289. IOS Press, Amsterdam (2000)
Harel, D., Gery, E.: Executable object modeling with Statecharts. In: Proc. 18th International Conference on Software Engineering, pp. 246–257. Institution of Electrical and Electronic Engineers Press, New York (1996)
ISO/IEC. Information Processing Systems – Open Systems Interconnection – LOTOS – A Formal Description Technique based on the Temporal Ordering of Observational Behaviour. ISO/IEC 8807. International Organization for Standardization, Geneva, Switzerland (1989)
ITU. Message Sequence Chart (MSC). ITU-T Z.120. International Telecommunications Union, Geneva, Switzerland (2000)
ITU. Specification and Description Language. ITU-T Z.100. International Telecommunications Union, Geneva, Switzerland (2000)
Marelly, R., Harel, D., Kugler, H.: Multiple instances and symbolic variables in executable sequence charts. In: Proc. 17th ACM Object-Oriented Programming, Systems, Languages and Applications, New York, USA, pp. 83–100. ACM Press, New York (2002)
Rosenberg, J., Schulzrinne, H., Camarillo, G., Johnson, A., Peterson, J., Sparks, R., Handley, M., Schooler, E. (eds.): SIP: Session Initiation Protocol. RFC 3261. The Internet Society, New York, USA (June 2002)
Rus, T.: A unified language processing methodology. Theoretical Computer Science 281(1-2), 499–536 (2002)
Turner, K.J.: Formalising the CHISEL feature notation. In: Calder, M.H., Magill, E.H. (eds.) Proc. 6th. Feature Interactions in Telecommunications and Software Systems, Amsterdam, Netherlands, May 2000, pp. 241–256. IOS Press, Amsterdam (2000)
Turner, K.J.: Modelling SIP services using CRESS. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol. 2529, pp. 162–177. Springer, Heidelberg (2002)
Turner, K.J.: Formalising graphical service descriptions using SDL. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, pp. 183–202. Springer, Heidelberg (2003)
Turner, K.J.: Representing new voice services and their features. In: Amyot, D., Logrippo, L. (eds.) Proc. 7th. Feature Interactions in Telecommunications and Software Systems, June 2003, pp. 123–140. IOS Press, Amsterdam (2003)
Turner, K.J.: Specifying and realising interactive voice services. In: König, H., Heiner, M., Wolisz, A. (eds.) FORTE 2003. LNCS, vol. 2767, pp. 15–30. Springer, Heidelberg (2003)
Turner, K.J.: Analysing interactive voice services. Computer Networks (January 2004) (in press)
VoiceXML Forum. Voice eXtensible Markup Language. VoiceXML Version 2.0. VoiceXML Forum (January 2003)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Turner, K.J. (2004). Formalising Graphical Behaviour Descriptions. In: Rattray, C., Maharaj, S., Shankland, C. (eds) Algebraic Methodology and Software Technology. AMAST 2004. Lecture Notes in Computer Science, vol 3116. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27815-3_40
Download citation
DOI: https://doi.org/10.1007/978-3-540-27815-3_40
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-22381-8
Online ISBN: 978-3-540-27815-3
eBook Packages: Springer Book Archive