A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange

Kay, Andrew; Reed, Joy N.
June 1993
IEEE Transactions on Software Engineering;Jun93, Vol. 19 Issue 6, p625
Academic Journal
We describe a rely and guarantee method for Timed CSP, by which we specify the behavior of a component belonging to a composite system in terms of what it guarantees to its neighbors and what it relies on from them. We illustrate the method by presenting an overview of our specification of POTS (Plain Old Telephone Service) together with part of a design which provably satisfies this specification. The specification and design deal with safety, liveness, and troublesome race conditions.


Related Articles

  • Smart Phones Call For Intelligent Apps. Smith, Brad // Wireless Week;7/15/2003, Vol. 9 Issue 15, p14 

    Highlights the effort of Action Engine Corp. to develop smart telephone by integrating into Mobile Web Services and Device Management software into its XDA handsets. Reasons people buy smart telephone; Other components of the XDA; Advantage of using Mobile Web Services in XDA.

  • Detection of Mutual Inconsistency in Distributed Systems. Parker Jr., D. Stott; Popek, Gerald J.; Rudisin, Gerard; Stoughton, Allen; Walker, Bruce J.; Walton, Evelyn; Chow, Johanna M.; Edwards, David; Kiser, Stephen; Kline, Charles // IEEE Transactions on Software Engineering;May83, Vol. 9 Issue 3, p240 

    Many distributed systems arc now being developed to provide users with convenient access to data via some kind of communications network. In many cases it is desirable to keep the system functioning even when it is partitioned by network failures. A serious problem in this context is how one can...

  • Cisco Expands, Enhances VOIP Portfolio. Sulkin, Allan // Business Communications Review;Nov2005, Vol. 35 Issue 11, p60 

    Evaluates Cisco Systems Inc.'s voice over Internet protocol (IP) products such as CallManager Express/Unity Express, Cisco CRM Communications Connector, desktop IP telephone portfolio, business communications applications for mid-market customers, and management and monitoring options for...

  • VoIP Traffic Analysis.  // Telecommunications - Americas Edition;Nov2005, Vol. 39 Issue 13, p25 

    The article reports on Brix Networks' introduction of two voice over Internet protocol (VoIP) performance management offerings designed to enable operators to monitor and analyze live subscriber calls and voice traffic service quality. The vendor's BrixCall software is a high-performance,...

  • Speaking Freely. Bauknight, Trevor Zion // Business & Economic Review;Jul-Sep2006, Vol. 52 Issue 4, p29 

    The article focuses on a computer program that is used to talk online. In 2003, Niklas Zennstrom and Janus Frils created Skype, the Global Internet Telephone Company. Skype program, developed by Skype Groups, can be downloaded from the Group's website for free of cost. The real beauty of Skype...

  • KOC.NET CHOOSES NETCENTREX FOR ENHANCED VOIP SERVICES.  // Computer Protocols;Nov2005, Vol. 18 Issue 11, p5 

    This article reports on the decision of Koc.net, the pioneer of the Turkish voice market and the largest corporate Internet Service Provider in Turkey, to deploy Netcentrex's CCS Softswitch platform in its IP network as part of a project to create innovative VoIP services for residential and...

  • NetIQ VOIP Solution.  // Database & Network Journal;Feb2003, Vol. 33 Issue 1, p15 

    Reports on NetIQ Corp.'s release of the Vivinet family of products, formerly known as the NetIQ VOIP Management Solution, which includes the comprehensive Vivinet Diagnostics that enables customers to pinpoint and diagnose call quality problems in a voice over IP environment. Key features;...

  • PhoneValet Message Center 4.0.  // Macworld;Jul2006, Vol. 23 Issue 7, p35 

    The article reviews the telephone-message recording computer software PhoneValet Message Center 4.0.3 from the company Parliant.

  • Backlash against free internet calls.  // New Scientist;10/22/2005, Vol. 188 Issue 2522, p29 

    This article informs that many of the phone companies that own the wires connecting people to the Internet are gearing up to block free phone calls that use voice over Internet protocol (VoIP) technology. New software from Narus Inc. of Mountain View, California, will help them do it. Called IP...


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics