Formal methods & service specification
- Mícheál Mac an AirchinnighAffiliated withDepartment of Computer Science, Trinity CollegeGenerics (Software) Limited and K&M Technologies Limited
- , Dag BelsnesAffiliated withGaustadalleen 23, Norsk Regnesentral
- , Gerard O'ReganAffiliated withK&M Technologies Limited, Bray, Co.
There is still clearly widespread resistance to the deployment of formal methods in industry. On the other hand, certain fields of application, viz. VLSI design, protocol specification, and certain kinds of system, viz. safety-critical, real-time, have of necessity already deployed some form of well-defined engineering methods to ensure a high degree of robustness and reliability in delivered products. In the telecommunications field there is currently a sense of the inevitable in the absolute necessity for the ultimate deployment of formal methods for service specification.
In this paper we begin by establishing our universe of discourse in order to de-mystify the term ‘formal methods’. Then, recognising the real need to justify yet again the use of ‘formal methods’ in industry, we set forth those principles by which management may be guided. Finally, we indicate exactly in what manner ‘formal methods’ may be embedded within a system development process model.
For definiteness, our arguments are presented within the context of multimedia service specification, in which context we take the liberty to announce some new results.
Keywordsformal method feature interaction justification model multimedia proof service specification
- Formal methods & service specification
- Book Title
- Towards a Pan-European Telecommunication Service Infrastructure — IS&N '94
- Book Subtitle
- Second International Conference on Intelligence in Broadband Services and Networks Aachen, Germany, September 7–9, 1994 Proceedings
- pp 563-572
- Print ISBN
- Online ISBN
- Series Title
- Lecture Notes in Computer Science
- Series Volume
- Series ISSN
- Springer Berlin Heidelberg
- Copyright Holder
- Additional Links
- formal method
- feature interaction
- service specification
- Industry Sectors
- eBook Packages
- Author Affiliations
- 1. Department of Computer Science, Trinity College, Dublin
- 1. Generics (Software) Limited and K&M Technologies Limited, Ireland
- 2. Gaustadalleen 23, Norsk Regnesentral, Blindern, P.O. Box 114, N-0314, Oslo, Norway
- 3. K&M Technologies Limited, Bray, Co., Wicklow, Ireland
To view the rest of this content please follow the download PDF link above.