Publication result detail

Declarative Behaviour Description of Selected Class from Standard IEEE 1451.1

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

Original Title

Declarative Behaviour Description of Selected Class from Standard IEEE 1451.1

English Title

Declarative Behaviour Description of Selected Class from Standard IEEE 1451.1

Type

Peer-reviewed article not indexed in WoS or Scopus

Original Abstract

The IEEE1451.1 standard provides rigorous definition of network capable application processor architecture. It consists of three models that use object oriented modelling techniques to provide description of application architecture, datatype specifications, and communication models. A subset of definitions provided by this standard is formally specified by object-oriented specification language with expressiveness of higher-order logic. The results demonstrate that formal approach may produce clear and readable abstract description of real architecture.

English abstract

The IEEE1451.1 standard provides rigorous definition of network capable application processor architecture. It consists of three models that use object oriented modelling techniques to provide description of application architecture, datatype specifications, and communication models. A subset of definitions provided by this standard is formally specified by object-oriented specification language with expressiveness of higher-order logic. The results demonstrate that formal approach may produce clear and readable abstract description of real architecture.

Keywords

Internet, IEEE 1451.1, object-oriented specifications

Key words in English

Internet, IEEE 1451.1, object-oriented specifications

Authors

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

Released

16.06.2003

Book

ElectronicsLetters.com

ISBN

1213-161X

Periodical

ElectronicsLetters.com - http://www.electronicsletters.com

Volume

2003

Number

6

State

Czech Republic

Pages count

6

URL

http://www.electronicsletters.com/papers/2003/0014/paper.asp

BibTex

@article{BUT42005,
  author="František {Bureš} and Ondřej {Ryšavý}",
  title="Declarative Behaviour Description of Selected Class from Standard IEEE 1451.1",
  journal="ElectronicsLetters.com - http://www.electronicsletters.com",
  year="2003",
  volume="2003",
  number="6",
  pages="6",
  issn="1213-161X",
  url="http://www.electronicsletters.com/papers/2003/0014/paper.asp"
}