Publication detail

Formal specification of IEEE1451.1 fragments

BUREŠ, F., RYŠAVÝ, O.

Original Title

Formal specification of IEEE1451.1 fragments

English Title

Formal specification of IEEE1451.1 fragments

Type

conference paper

Language

en

Original Abstract

Object-oriented techniques have reached the majority position among software development methods. Conversely, formal methods are involved in development process very sporadic, in spite of the often claimed contributions. This paper attempts to show practical benefits of employing the combination of both approaches the formal object-oriented methods. Formal approach is used for specifying of IEEE 1451.1 standard defined semiformally in the object-oriented style. A subset of the definitions provided by the standard is rigorously specified in a novel object-oriented specification language with expressiveness of higher-order logic. The paper serves as a case study demonstrating advantages of the specification language rather than an exaustive description of the architecture provided by the standard.

English abstract

Object-oriented techniques have reached the majority position among software development methods. Conversely, formal methods are involved in development process very sporadic, in spite of the often claimed contributions. This paper attempts to show practical benefits of employing the combination of both approaches the formal object-oriented methods. Formal approach is used for specifying of IEEE 1451.1 standard defined semiformally in the object-oriented style. A subset of the definitions provided by the standard is rigorously specified in a novel object-oriented specification language with expressiveness of higher-order logic. The paper serves as a case study demonstrating advantages of the specification language rather than an exaustive description of the architecture provided by the standard.

Keywords

formal specification, object orientation, network capable application processors, object calculus, higher-order logic

RIV year

2003

Released

22.10.2003

Publisher

Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split

Location

Split

ISBN

953-6114-64-X

Book

11. International Conference on Software, Telecommunications & Computer Networks

Pages from

282

Pages to

287

Pages count

6

Documents

BibTex


@inproceedings{BUT10906,
  author="František {Bureš} and Ondřej {Ryšavý}",
  title="Formal specification of IEEE1451.1 fragments",
  annote="Object-oriented techniques have reached the majority position among software development methods. Conversely, formal methods are involved in development process very sporadic, in spite of the often claimed contributions. This paper attempts to show practical benefits of employing the combination of both approaches the formal object-oriented methods. Formal approach is used for specifying of IEEE 1451.1 standard defined semiformally in the object-oriented style. A subset of the definitions provided by the standard is rigorously specified in a novel object-oriented specification language with expressiveness of higher-order logic. The paper serves as a case study demonstrating advantages of the specification language rather than an exaustive description of the architecture provided by the standard.",
  address="Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split",
  booktitle="11. International Conference on Software, Telecommunications & Computer Networks",
  chapter="10906",
  institution="Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split",
  year="2003",
  month="october",
  pages="282--287",
  publisher="Faculty of Electrical Engineering, Mechanical Engineering and Naval Architecture , University of Split",
  type="conference paper"
}