An integration environment to put formal specifications into practical use in real-time systems

Shinichi Honiden; Akihiko Ohsuga; Naoshi Uchihira

An integration environment to put formal specifications into practical use in real-time systems

Shinichi Honiden, Akihiko Ohsuga, Naoshi Uchihira

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

This paper discusses several requirements to put formal specifications into practical use in real-time systems, and an integration environment called MENDELS ZONE to satisfy them. The integration environment includes algebraic specification, temporal logic, real-time Structured Analysis and Object-Oriented Design. It also defines a specification process that assists a designer in translating a specification developed with the real-time Structured Analysis method into an Object Oriented Design specification, and that finally generates Ada tasks. The specification process is defined to consist of several specification steps and several intermediate products. In order to validate the activity for each specification step, each intermediate product is described by two formal specification methods: Algebraic specification and temporal logic.

Original language	English
Title of host publication	IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design
Publisher	Association for Computing Machinery, Inc
Pages	102-109
Number of pages	8
ISBN (Print)	0818623209, 9780818623202
Publication status	Published - 1991 Oct 25
Externally published	Yes
Event	6th International Workshop on Software Specification and Design, IWSSD 1991 - Como, Italy Duration: 1991 Oct 25 → …

Publication series

Name	IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design

Other

Other	6th International Workshop on Software Specification and Design, IWSSD 1991
Country	Italy
City	Como
Period	91/10/25 → …

ASJC Scopus subject areas

Software

Access to Document

Fingerprint Dive into the research topics of 'An integration environment to put formal specifications into practical use in real-time systems'. Together they form a unique fingerprint.

Cite this

Honiden, S., Ohsuga, A., & Uchihira, N. (1991). An integration environment to put formal specifications into practical use in real-time systems. In IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design (pp. 102-109). (IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design). Association for Computing Machinery, Inc.

An integration environment to put formal specifications into practical use in real-time systems. / Honiden, Shinichi; Ohsuga, Akihiko; Uchihira, Naoshi.

IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design. Association for Computing Machinery, Inc, 1991. p. 102-109 (IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Honiden, S, Ohsuga, A & Uchihira, N 1991, An integration environment to put formal specifications into practical use in real-time systems. in IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design. IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design, Association for Computing Machinery, Inc, pp. 102-109, 6th International Workshop on Software Specification and Design, IWSSD 1991, Como, Italy, 91/10/25.

Honiden S, Ohsuga A, Uchihira N. An integration environment to put formal specifications into practical use in real-time systems. In IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design. Association for Computing Machinery, Inc. 1991. p. 102-109. (IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design).

Honiden, Shinichi ; Ohsuga, Akihiko ; Uchihira, Naoshi. / An integration environment to put formal specifications into practical use in real-time systems. IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design. Association for Computing Machinery, Inc, 1991. pp. 102-109 (IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design).

@inproceedings{06a432ae5991432f8e74a4f747bdaf0e,

title = "An integration environment to put formal specifications into practical use in real-time systems",

abstract = "This paper discusses several requirements to put formal specifications into practical use in real-time systems, and an integration environment called MENDELS ZONE to satisfy them. The integration environment includes algebraic specification, temporal logic, real-time Structured Analysis and Object-Oriented Design. It also defines a specification process that assists a designer in translating a specification developed with the real-time Structured Analysis method into an Object Oriented Design specification, and that finally generates Ada tasks. The specification process is defined to consist of several specification steps and several intermediate products. In order to validate the activity for each specification step, each intermediate product is described by two formal specification methods: Algebraic specification and temporal logic.",

author = "Shinichi Honiden and Akihiko Ohsuga and Naoshi Uchihira",

year = "1991",

month = oct,

day = "25",

language = "English",

isbn = "0818623209",

series = "IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design",

publisher = "Association for Computing Machinery, Inc",

pages = "102--109",

booktitle = "IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design",

note = "6th International Workshop on Software Specification and Design, IWSSD 1991 ; Conference date: 25-10-1991",

}

TY - GEN

T1 - An integration environment to put formal specifications into practical use in real-time systems

AU - Honiden, Shinichi

AU - Ohsuga, Akihiko

AU - Uchihira, Naoshi

PY - 1991/10/25

Y1 - 1991/10/25

N2 - This paper discusses several requirements to put formal specifications into practical use in real-time systems, and an integration environment called MENDELS ZONE to satisfy them. The integration environment includes algebraic specification, temporal logic, real-time Structured Analysis and Object-Oriented Design. It also defines a specification process that assists a designer in translating a specification developed with the real-time Structured Analysis method into an Object Oriented Design specification, and that finally generates Ada tasks. The specification process is defined to consist of several specification steps and several intermediate products. In order to validate the activity for each specification step, each intermediate product is described by two formal specification methods: Algebraic specification and temporal logic.

AB - This paper discusses several requirements to put formal specifications into practical use in real-time systems, and an integration environment called MENDELS ZONE to satisfy them. The integration environment includes algebraic specification, temporal logic, real-time Structured Analysis and Object-Oriented Design. It also defines a specification process that assists a designer in translating a specification developed with the real-time Structured Analysis method into an Object Oriented Design specification, and that finally generates Ada tasks. The specification process is defined to consist of several specification steps and several intermediate products. In order to validate the activity for each specification step, each intermediate product is described by two formal specification methods: Algebraic specification and temporal logic.

UR - http://www.scopus.com/inward/record.url?scp=0041052445&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0041052445&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0041052445

SN - 0818623209

SN - 9780818623202

T3 - IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design

SP - 102

EP - 109

BT - IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design

PB - Association for Computing Machinery, Inc

T2 - 6th International Workshop on Software Specification and Design, IWSSD 1991

Y2 - 25 October 1991

ER -