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

Share

COinS