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 → … |
Other
| Other | 6th International Workshop on Software Specification and Design, IWSSD 1991 |
|---|---|
| Country | Italy |
| City | Como |
| Period | 91/10/25 → … |
Fingerprint
ASJC Scopus subject areas
- Software
Cite this
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.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
}
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
SP - 102
EP - 109
BT - IWSSD 1991 - Proceedings of the 6th International Workshop on Software Specification and Design
PB - Association for Computing Machinery, Inc
ER -