Understanding the efficacy of graphical formal methods-empirical assessments

Research output: Contribution to journalArticle

2 Citations (Scopus)

Abstract

The use of mathematical notations in formal methods increases a system model's precision and consistency. The notations however are regarded as being difficult to comprehend due to unfamiliar symbols and interpretation rules that are not apparent to practitioners. Graphical methods use visual or graphical notations to present system elements. They therefore are perceived as more accessible. Nevertheless, such notations cannot be verified systematically to ensure a model's correctness. Graphical formal methods that contain formal and graphical notations could perhaps produce a model that is not only accurate and consistent but also accessible to practitioners. This paper discusses the efficacy of graphical formal methods in specifying system requirements. The discussion is based on a series of empirical assessments conducted on such methods together with some theoretical explanation. The discussion provides practitioners with some understanding of the strengths, weaknesses, opportunities and threats of methods that integrate graphical and formal approaches.

Original languageEnglish
Pages (from-to)889-903
Number of pages15
JournalWorld Applied Sciences Journal
Volume31
Issue number5
DOIs
Publication statusPublished - 2014

Fingerprint

graphical method
method

Keywords

  • Empirical assessments
  • Formal methods
  • Formal notations
  • Graphical notations

ASJC Scopus subject areas

  • General

Cite this

Understanding the efficacy of graphical formal methods-empirical assessments. / Razali, Rozilawati.

In: World Applied Sciences Journal, Vol. 31, No. 5, 2014, p. 889-903.

Research output: Contribution to journalArticle

@article{7ce88888935c466c9495714b5a50e768,
title = "Understanding the efficacy of graphical formal methods-empirical assessments",
abstract = "The use of mathematical notations in formal methods increases a system model's precision and consistency. The notations however are regarded as being difficult to comprehend due to unfamiliar symbols and interpretation rules that are not apparent to practitioners. Graphical methods use visual or graphical notations to present system elements. They therefore are perceived as more accessible. Nevertheless, such notations cannot be verified systematically to ensure a model's correctness. Graphical formal methods that contain formal and graphical notations could perhaps produce a model that is not only accurate and consistent but also accessible to practitioners. This paper discusses the efficacy of graphical formal methods in specifying system requirements. The discussion is based on a series of empirical assessments conducted on such methods together with some theoretical explanation. The discussion provides practitioners with some understanding of the strengths, weaknesses, opportunities and threats of methods that integrate graphical and formal approaches.",
keywords = "Empirical assessments, Formal methods, Formal notations, Graphical notations",
author = "Rozilawati Razali",
year = "2014",
doi = "10.5829/idosi.wasj.2014.31.05.1976",
language = "English",
volume = "31",
pages = "889--903",
journal = "World Applied Sciences Journal",
issn = "1818-4952",
publisher = "International Digital Organization for Scientific Information",
number = "5",

}

TY - JOUR

T1 - Understanding the efficacy of graphical formal methods-empirical assessments

AU - Razali, Rozilawati

PY - 2014

Y1 - 2014

N2 - The use of mathematical notations in formal methods increases a system model's precision and consistency. The notations however are regarded as being difficult to comprehend due to unfamiliar symbols and interpretation rules that are not apparent to practitioners. Graphical methods use visual or graphical notations to present system elements. They therefore are perceived as more accessible. Nevertheless, such notations cannot be verified systematically to ensure a model's correctness. Graphical formal methods that contain formal and graphical notations could perhaps produce a model that is not only accurate and consistent but also accessible to practitioners. This paper discusses the efficacy of graphical formal methods in specifying system requirements. The discussion is based on a series of empirical assessments conducted on such methods together with some theoretical explanation. The discussion provides practitioners with some understanding of the strengths, weaknesses, opportunities and threats of methods that integrate graphical and formal approaches.

AB - The use of mathematical notations in formal methods increases a system model's precision and consistency. The notations however are regarded as being difficult to comprehend due to unfamiliar symbols and interpretation rules that are not apparent to practitioners. Graphical methods use visual or graphical notations to present system elements. They therefore are perceived as more accessible. Nevertheless, such notations cannot be verified systematically to ensure a model's correctness. Graphical formal methods that contain formal and graphical notations could perhaps produce a model that is not only accurate and consistent but also accessible to practitioners. This paper discusses the efficacy of graphical formal methods in specifying system requirements. The discussion is based on a series of empirical assessments conducted on such methods together with some theoretical explanation. The discussion provides practitioners with some understanding of the strengths, weaknesses, opportunities and threats of methods that integrate graphical and formal approaches.

KW - Empirical assessments

KW - Formal methods

KW - Formal notations

KW - Graphical notations

UR - http://www.scopus.com/inward/record.url?scp=84897107288&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84897107288&partnerID=8YFLogxK

U2 - 10.5829/idosi.wasj.2014.31.05.1976

DO - 10.5829/idosi.wasj.2014.31.05.1976

M3 - Article

VL - 31

SP - 889

EP - 903

JO - World Applied Sciences Journal

JF - World Applied Sciences Journal

SN - 1818-4952

IS - 5

ER -