Pamela Zave. Formal specification of an architecture for telecommunication services. In Proceedings of the Nineteenth International NATO Summer School, to appear.  Home/Search   Document Not in Database   Summary   Related Articles

....28 Coordination between the two specifications is very much like Daniel Jackson s structuring of a Z specification into views [Jackson 95] except that one of our views is not in Z. 29 ,30 ,31 This composition strategy is now being revised substantially. The final version will be available in [Zave 99i] 8. Complete formalization of the DFC virtual architecture: Content There are six aspects of the formal specification and (not coincidentally) six ways in which a box can interact with its surroundings: internal protocols, external protocols, routing, voice processing, operational data, and ....

....and verification. 43 I shall illustrate this idea with a method for preventing feature interaction problems in call coverage features. Call coverage features are features whose purpose is to deal with the situation that a subscriber cannot answer an incoming call, or cannot answer it quickly [Zave 99ii] 44 The method includes an approved style for describing features. 45 The first step of the method is independent description of features in the approved style. 46 ,47 The second step of the method consists of generating a list of the possible interactions among the coverage features in a ....

Pamela Zave. Formal specification of an architecture for telecommunication services. In Proceedings of the Nineteenth International NATO Summer School, to appear.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC