2012 IEEE 36th IEEE Annual Computer Software and Applications Conference Workshops

Format:

Book

Author/Creator:

Institute of Electrical and Electronics Engineers, author, issuing body.

Contributor:

ieee, Contributor.

Language:

English

Subjects (All):

Technology.

Physical Description:

1 online resource

Place of Publication:

[Place of publication not identified] IEEE 2012

Language Note:

English

Summary:

Formal methods can be useful in developing distributed systems, in particular when critical applications are being developed. In this context, the purpose of this work is to define an automatic translation from an abstract formal specification using TemporalZ into an operational specification using CSP-Z in order to address the gap between the abstract design languages and their implementation. Our objective consists in, first, to generate a CSP-Z specification from a Z specification by defining a list of translation rules. Second, we suggest an extension of these rules in order to take into consideration the specific concepts of a TemporalZ specification as an integration of Z and LTL. This translation is supported and implemented by the ANTLR tool. Finally, we illustrate this work by translating an air traffic control system which is specified in TemporalZ with the ForMAAD method.

Notes:

Bibliographic Level Mode of Issuance: Monograph

ISBN:

9780769547589

0769547583