Formal specification techniques in the commercial development process
نویسندگان
چکیده
This paper describes the lessons learned from an application of formal specification techniques in the development of a security-critical system within a UK company. The authors advocate the gradual introduction of formal methods, beginning with an appreciation of existing development processes, and discuss the rôle played by non-software professionals, executable specifications, formal proof, training and tool support in this and future projects.
منابع مشابه
Applying formal specification to the development of software in industry
This chapter reports experience gained in applying formal specification techniques to an existing transaction processing system. The system is the IBM Customer Information Control System (CICS) and the work has concentrated on specifying a number of modules of the CICS application programmer’s interface. The uses of formal specification techniques are outlined, with particular reference to thei...
متن کاملFormal specification techniques as a catalyst in validation
The American Heritage Dictionary defines a catalyst as a substance, usually present in small amounts relative to the reactants, that modifies and especially increases the rate of a chemical reaction without being consumed in the process. This article reports on the experience gained in an industrial project that formal specification techniques form such a catalyst in the validation of complex s...
متن کاملImproving Access of the Commercial Software Developer to Formal Methods: Integrating MERISE with Z
Whilst formal methods can make valuable contributions to system specification, structured methodologies are seen as more appropriate for commercial systems development, particularly user involvement. This paper investigates the applicability of Z to MERISE, the French structured methodology, recommending the adoption of a formal link between the two, an integration procedure proposed by Semmens...
متن کاملAccelerating Wireless Intelligent Network Standards through Formal Techniques
Wireless Standards such as ANSI-41 and WIN are dynamic in nature, continuously evolving to meet subscriber requirements with ever shorter intervals for standards development. The current timelines at which a new version of the specification is to be completed to the needed level of precision, quality and completeness cannot be accommodated using existing specification techniques. A key assumpti...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کامل