Internal consistency of FRSM specifications

Liu, Shaoying

doi:10.1016/0164-1212(94)00073-v

Cited by 7 publications

(4 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In this way, data ow diagrams are treated as part of formal specications. The examples of this approach include Liu's work on designing the Formal Requirements Specication Method and the Structured and Formal System Development Language in which DeMarco data ow diagrams are combined with VDM [22,23].…”

Section: Integration Of Methodologiesmentioning

confidence: 99%

SOFL: a formal engineering methodology for industrial applications

Liu

Offutt

Ho-Stuart

et al. 1998

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

Formal methods have yet to achieve wide industrial acceptance for several reasons. They are not well integrated into established industrial software processes, their application requires signicant abstraction and mathematical skills, and existing tools do not satisfactorily support the entire formal software development process.We h a ve proposed a language called SOFL (Structured-Object-based-Formal Language) and a SOFL methodology for system development that attempts to address these problems using an integration of formal methods, structured methods and object-oriented methodology. Construction of a system uses structured methods in requirements analysis and specications, and an object-based methodology during design and implementation stages, with formal methods applied throughout the development in a manner that best suits their capabilities. This paper describes the SOFL methodology, which introduces some substantial changes from current formal methods practice. A comprehensive, practical case study of an actual industrial Residential Suites Management System illustrates how SOFL is used.

show abstract

Section: Integration Of Methodologiesmentioning

confidence: 99%

SOFL: a formal engineering methodology for industrial applications

Liu

Offutt

Ho-Stuart

et al. 1998

IIEEE Trans. Software Eng.

View full text Add to dashboard Cite

show abstract

“…In that case, we say that the specication is inconsistent in semantics. In fact, the axioms and rules given previously provide a basis for consistency checking of FRSM specications, a topic which has been extensively discussed in [22,23].…”

Section: Correlation Of Availability and Functionalitymentioning

confidence: 99%

“…Based on this notion, we can extend the predicate AV L to variable expressions: 8 rather than an inclusive or operator allows us to dene a precise semantics for CDFDs, see [22,23].…”

Section: Semantics Of Condition Processesmentioning

confidence: 99%

“…Fraser et al took a similar approach to bridge the gap between informal and formal specications [18]. Slightly dierent from the above approaches, we have combined and extended DeMarco data ow diagrams with the formal notation VDM-SL [19,20] to design a structured and formal language and method FRSM for requirements analysis and specication construction [21,22,23,24]. The reason why we choose VDM is because (1) VDM notation has been developed into a standard VDM-SL, (2) VDM is one of the most popular formal methods in academia and industry [1], (3) VDM typed variables and operations are compatible with data ows and processes in data ow diagrams, respectively.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

A Formal Definition of FRSM and Applications

Liu

1998

Int. J. Soft. Eng. Knowl. Eng.

Self Cite

View full text Add to dashboard Cite

FRSM (Formal Requirements Specication Method) is a structured formal language and method for requirements analysis and specication construction based on data ow analysis. It uses a formalized DeMarco data ow diagrams to describe the overall structure of systems and a VDM-SL like formal notation to describe precisely the functionality of components in the diagrams. This paper rst describes the formal syntax and semantics of FRSM and then presents an example of using the axiom and inference rules given in the denition of the formal semantics for checking consistency of specications. A case study of applying FRSM to a practical example is described to demonstrate the principle of constructing requirements specications and to uncover the benets and deciencies of FRSM.

show abstract

Completeness and consistency checking of system requirements: An expert agent approach

Sinha

Popken²

1996

Expert Systems with Applications

View full text Add to dashboard Cite

Internal consistency of FRSM specifications

Cited by 7 publications

References 10 publications

SOFL: a formal engineering methodology for industrial applications

SOFL: a formal engineering methodology for industrial applications

A Formal Definition of FRSM and Applications

Completeness and consistency checking of system requirements: An expert agent approach

Contact Info

Product

Resources

About