Object-oriented Specification of Supplementary Telephone Services
A Lee · Australian Software Engineering Conference · 1990
A major obstacle to Implementing supplementary telephone services is service interaction. Applications in switching systems, unlike applications in some software systems, care not isolated from each other, making it difficult to develop applications independently. This paper gives examples of Object-Z specifications of supplementary services. It shows how modifications can change the properties of the system so that existing services can be adversely affected.