Proposal for a generic prototyping approach

Author

Kordon, Fabrice

Author_Institution

Lab. MASI, Univ. Pierre et Marie Curie, Paris, France

fYear

1994

fDate

6-10 Nov. 1994

Firstpage

396

Lastpage

403

Abstract

The procedure we define is parametrized by: the input description formalism which can be any structured and/or hierarchical representation; and the programming language used to describe the prototype of a system. Our prototyping procedure involves three description levels: 1) the input formalism is a semi-formal description that only allows syntactic checks (completeness and coherence of the specification); 2) a formal description of the system obtained by translation of the semi-formal description and is useful for validation of the system (Petri nets is used to express this specification level); and 3) an executable description, expressed by means of a programming language and obtained by code generation from either the Petri net level or the semi-formal description. The prototyping procedure we present in this paper is partially implemented.<>

Keywords

Petri nets; formal languages; formal specification; formal verification; software prototyping; Petri nets; code generation; executable description; formal description; generic prototyping; input description formalism; input formalism; programming language; specification level; system validation; Computer languages; Costs; Formal specifications; Graphics; Kernel; Proposals; Prototypes; Software architecture; Software design; Software prototyping;

fLanguage

English

Publisher

ieee

Conference_Titel

Emerging Technologies and Factory Automation, 1994. ETFA '94., IEEE Symposium on

Conference_Location

Tokyo, Japan

Print_ISBN

0-7803-2114-6

Type

conf

DOI

10.1109/ETFA.1994.401984

Filename

401984