A synergistic interweaving of formal and informal methods
Document Type
Conference paper
Source Publication
Proceedings - IEEE Computer Society's International Computer Software and Applications Conference
Publication Date
1-1-2003
First Page
257
Last Page
262
Keywords
CSP, Formal Methods, Informal Methods, JSD, Method Integration, Structured Methods
Abstract
In most studies of bridging between informal specifications, formal specifications are transformed from informal specifications after completion of specification of the whole system. Most of these formal specifications are used for rigorous study of the system in question, consistency checking, verification of behavior or support system synthesis. During the process of system specification, the strength of formal and informal methods are not complementing to each other. We identified a new specification approach which makes formal methods and informal methods complement each other to a greater extent. This new method interweaves formal methods with informal methods. We find out that this method leads to better quality of specifications, facilitate better changes management and maintenance. This is particular useful during initial specification of systems which is the first stage of specifying informal world in some formal languages. We report our preliminary findings of this novel approach in this paper and exemplify our approach with an example in JSD and CSP.
DOI
10.1109/CMPSAC.2003.1245351
Print ISSN
07303157
Publisher Statement
Access to external full text or publisher's version may require subscription.
Additional Information
Paper presented at the 27th Annual International Computer Software and Applications Conference, Nov 03-06, 2003, Dallas, Texas.
Full-text Version
Publisher’s Version
Language
English