Facilitating formal specification acquisition by using recursive functions on context-free languages

Authors:
Haiming Chen;Yunmei Dong
Affiliations:
Computer Science Laboratory, Institute of Software, Chinese Academy of Sciences, P.O. Box 8718, Beijing 100080, China;Computer Science Laboratory, Institute of Software, Chinese Academy of Sciences, P.O. Box 8718, Beijing 100080, China
Venue:
Knowledge-Based Systems
Year:
2006

Citing 14
Cited 0

A Specifier's Introduction to Formal Methods

Computer
Automating software design

Automating software design
Strategies for incorporating formal specifications in software development

Communications of the ACM
A Grammar-Based Approach Towards Unifying Hierarchical Data Models

SIAM Journal on Computing
Software engineering: theory and practice

Software engineering: theory and practice
Making Use of Scenarios for Validating Analysis and Design

IEEE Transactions on Software Engineering
A Theory-Based Representation for Object-Oriented Domain Models

IEEE Transactions on Software Engineering
An efficient context-free parsing algorithm

Communications of the ACM
Recursive functions of symbolic expressions and their computation by machine, Part I

Communications of the ACM
Specification and Animation of a Bank Transfer using KIDS/VDM

Automated Software Engineering
Model Generation by Moderated Regular Extrapolation

FASE '02 Proceedings of the 5th International Conference on Fundamental Approaches to Software Engineering
Overview of Hydra: A Concurrent Language for Synchronous Digital Circuit Design

IPDPS '02 Proceedings of the 16th International Parallel and Distributed Processing Symposium
Microprocessor Specification in Hawk

ICCL '98 Proceedings of the 1998 International Conference on Computer Languages
Practical type checking of functions defined on context-free languages

Journal of Computer Science and Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Although formal specification techniques are very useful in software development, the acquisition of formal specifications is a difficult task. This paper presents the formal specification language LFC, which is designed to facilitate the acquisition and validation of formal specifications. LFC uses context-free languages for syntactic aspect and relies on a new kind of recursive functions, i.e. recursive functions on context-free languages, for semantic aspect of specifications. Construction and validation of LFC specifications are machine-aided. The basic ideas behind LFC, the main aspects of LFC, and the use of LFC and illustrative examples are described.