A synergistic interweaving of formal and informal methods

Wing Lok YEUNG, K. R. P. H. LEUNG

Research output: Book Chapters | Papers in Conference ProceedingsConference paper (refereed)Researchpeer-review

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.
Original languageEnglish
Title of host publicationProceedings - IEEE Computer Society's International Computer Software and Applications Conference
Pages257-262
Number of pages6
DOIs
Publication statusPublished - 1 Jan 2003

Fingerprint

Specifications
Formal methods
Formal languages
Formal specification

Bibliographical note

Paper presented at the 27th Annual International Computer Software and Applications Conference, Nov 03-06, 2003, Dallas, Texas.

Keywords

  • CSP
  • Formal Methods
  • Informal Methods
  • JSD
  • Method Integration
  • Structured Methods

Cite this

YEUNG, W. L., & LEUNG, K. R. P. H. (2003). A synergistic interweaving of formal and informal methods. In Proceedings - IEEE Computer Society's International Computer Software and Applications Conference (pp. 257-262) https://doi.org/10.1109/CMPSAC.2003.1245351
YEUNG, Wing Lok ; LEUNG, K. R. P. H. / A synergistic interweaving of formal and informal methods. Proceedings - IEEE Computer Society's International Computer Software and Applications Conference. 2003. pp. 257-262
@inproceedings{790dc2cc13b74d02bec2318b01217bca,
title = "A synergistic interweaving of formal and informal 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.",
keywords = "CSP, Formal Methods, Informal Methods, JSD, Method Integration, Structured Methods",
author = "YEUNG, {Wing Lok} and LEUNG, {K. R. P. H.}",
note = "Paper presented at the 27th Annual International Computer Software and Applications Conference, Nov 03-06, 2003, Dallas, Texas.",
year = "2003",
month = "1",
day = "1",
doi = "10.1109/CMPSAC.2003.1245351",
language = "English",
pages = "257--262",
booktitle = "Proceedings - IEEE Computer Society's International Computer Software and Applications Conference",

}

YEUNG, WL & LEUNG, KRPH 2003, A synergistic interweaving of formal and informal methods. in Proceedings - IEEE Computer Society's International Computer Software and Applications Conference. pp. 257-262. https://doi.org/10.1109/CMPSAC.2003.1245351

A synergistic interweaving of formal and informal methods. / YEUNG, Wing Lok; LEUNG, K. R. P. H.

Proceedings - IEEE Computer Society's International Computer Software and Applications Conference. 2003. p. 257-262.

Research output: Book Chapters | Papers in Conference ProceedingsConference paper (refereed)Researchpeer-review

TY - GEN

T1 - A synergistic interweaving of formal and informal methods

AU - YEUNG, Wing Lok

AU - LEUNG, K. R. P. H.

N1 - Paper presented at the 27th Annual International Computer Software and Applications Conference, Nov 03-06, 2003, Dallas, Texas.

PY - 2003/1/1

Y1 - 2003/1/1

N2 - 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.

AB - 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.

KW - CSP

KW - Formal Methods

KW - Informal Methods

KW - JSD

KW - Method Integration

KW - Structured Methods

UR - http://commons.ln.edu.hk/sw_master/6813

U2 - 10.1109/CMPSAC.2003.1245351

DO - 10.1109/CMPSAC.2003.1245351

M3 - Conference paper (refereed)

SP - 257

EP - 262

BT - Proceedings - IEEE Computer Society's International Computer Software and Applications Conference

ER -

YEUNG WL, LEUNG KRPH. A synergistic interweaving of formal and informal methods. In Proceedings - IEEE Computer Society's International Computer Software and Applications Conference. 2003. p. 257-262 https://doi.org/10.1109/CMPSAC.2003.1245351