Publication detail

A Minimal Formal Language for Object-Oriented Specifications

RYŠAVÝ, O., ŠVÉDA, M.

Original Title

A Minimal Formal Language for Object-Oriented Specifications

English Title

A Minimal Formal Language for Object-Oriented Specifications

Type

conference paper

Language

en

Original Abstract

The presented article suggests a minimal formal language intended as a specification language with object-oriented features. It directly represents formal foundations for basic object-oriented concepts with using of a small amount of language forms. The flexibility of the language provides enought expresiveness to build other concepts of object orientation from the basic ones. The specification language also covers language constructs for description of additional definitions and assumptions on specification in the form of logical formulas. The specifications and assumptions are employed in the proof system that verifies whether specifications are valid under the given assumptions. To cooperation between the specification language and the proof system we suggest an abstract specification framework. The specification language is, from a structural point of view, composed from the language of predicate logic and the language of object calculus.

English abstract

The presented article suggests a minimal formal language intended as a specification language with object-oriented features. It directly represents formal foundations for basic object-oriented concepts with using of a small amount of language forms. The flexibility of the language provides enought expresiveness to build other concepts of object orientation from the basic ones. The specification language also covers language constructs for description of additional definitions and assumptions on specification in the form of logical formulas. The specifications and assumptions are employed in the proof system that verifies whether specifications are valid under the given assumptions. To cooperation between the specification language and the proof system we suggest an abstract specification framework. The specification language is, from a structural point of view, composed from the language of predicate logic and the language of object calculus.

Keywords

Object-oriented formal specifications, FOB1, first-order logic extension, specification framework, Genzen deduction system, verification

RIV year

2003

Released

15.04.2003

Publisher

University of Stirling

Location

Huntsville, AL

ISBN

1-85769-189-X

Book

Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003

Pages from

35

Pages to

40

Pages count

6

BibTex


@inproceedings{BUT13956,
  author="Ondřej {Ryšavý} and Miroslav {Švéda}",
  title="A Minimal Formal Language for Object-Oriented Specifications",
  annote="The presented article suggests a minimal formal language intended as a specification language with object-oriented features. It directly represents formal foundations for basic object-oriented concepts with using of a small amount of language forms. The flexibility of the language provides enought expresiveness to build other concepts of object orientation from the basic ones. The specification language also covers language constructs for description of additional definitions and assumptions on specification in the form of logical formulas. The specifications and assumptions are employed in the proof system that verifies whether specifications are valid under the given assumptions. To cooperation between the specification language and the proof system we suggest an abstract specification framework. The specification language is, from a structural point of view, composed from the language of predicate logic and the language of object calculus.",
  address="University of Stirling",
  booktitle="Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003",
  chapter="13956",
  institution="University of Stirling",
  year="2003",
  month="april",
  pages="35--40",
  publisher="University of Stirling",
  type="conference paper"
}