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
N1 - Publisher Copyright:
© 1991 IEEE.
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
U2 - 10.1109/iwssd.1991.213071
DO - 10.1109/iwssd.1991.213071
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
T2 - 6th International Workshop on Software Specification and Design, IWSSD 1991
Y2 - 25 October 1991
ER -