Formal specifications design, evolution and reuse

ABSTRACT

The effort for designing specifications for complex systems is tremendous. Moreover, specifications may evolve in order to accommodate new requirements, such as the addition of new functionality. Each added functionality may interfere with many existing ones. Therefore, approaches to cope with the design and the evolution of specifications are needed. In this paper, we summarize our results for formal specification design, evolution and reuse.

REFERENCES

• 1: G. v. Bochmann, M. Barbeau, M. Erradi, L. Lecomte, P. Mondain-Monval and N. Williams, "Mondel: An Object-Oriented Specification Language", Publication #748, Departement IRO, Université de Montreal, November 90.
• 2: G. v. Bochmann and P. Mondain-Monval, Design Principles for Communication Gateways, IEEE Journal on Selected Areas in Communications, Vol. 8, No. 1, January 1990.
• 3: Tommaso Bolognesi , Ed Brinksma, Introduction to the ISO specification language LOTOS, Computer Networks and ISDN Systems, v.14 n.1, p.25-59, March, 1987 [doi>10.1016/0169-7552(87)90085-7]
• 4: T. F. Bowen et al., "The feature interaction problem in telecommunication systems", Proceedings of the Software Engineering for Telecommunication Switching Systems, 1989, pp. 59--62.
• 5: E. Brinksma, G. Scollo and S. Steenbergen, "LOTOS specifications, their implementations and their tests", Proceedings of the Protocol Specification, testing and verification Symposium, VI, 1986, Montréal, Canada, B. Sarikaya and G. v. Bochmann (Eds.).
• 6: R De Nicola, Extensional equivalence for transition systems, Acta Informatica, v.24 n.2, p.211-237, April 1987
• 7: F. Khendek, "Construction incrémentielle de spécifications formelles pour systèmes distribués", PhD Thesis, DIRO, Université de Montréal, 1993.
• 8: F. Khendek , G. von Bochmann , C. Kant, New results on deriving protocol specifications from service specifications, Symposium proceedings on Communications architectures & protocols, p.136-145, September 25-27, 1989, Austin, Texas, United States
• 9: Philip Merlin , Gregor V. Bochmann, On the Construction of Submodule Specifications and Communication Protocols, ACM Transactions on Programming Languages and Systems (TOPLAS), v.5 n.1, p.1-25, Jan. 1983 [doi>10.1145/357195.357196]
• 10: J. Quemada, A. Azcorra And S. Pavon, "Development with LOTOS", Tutorial, Proceedings of Formal Description Techniques Symposium (FORTE), Nov.91, Sidney, Australia.
• 11: Ian Sommerville, Software Engineering, Addison-Wesley Longman Publishing Co., Inc., Boston, MA, 1989