Proposal for a generic prototyping approach

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.<<ETX>>

[1]  Luqi.  Computer aided system prototyping , 1992, [1992 Proceedings] The Third International Workshop on Rapid System Prototyping.

[2]  Fabrice Kordon.  A generic prototype model for distributed systems based on high level object oriented specification , 1993, [1993] Proceedings The Fourth International Workshop on Rapid System Prototyping.

[3]  C. Floyd.  A Systematic Look at Prototyping , 1984 .

[4]  Fabrice Kordon,et al.  An integrated framework for rapid system prototyping and automatic code distribution , 1994, Proceedings of IEEE 5th International Workshop on Rapid System Prototyping.

[5]  Jean-Michel Ilié,et al.  On Well-Formed Nets and Optimizations in Enabling Tests , 1993, Application and Theory of Petri Nets.

[6]  Luqi,et al.  Real-time scheduling for software prototyping , 1993, [1993] Proceedings The Fourth International Workshop on Rapid System Prototyping.

[7]  Martin Wirsing,et al.  Algebraic Specification , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[8]  Tassos Markas,et al.  CREATING THE IC PALETTE , 1991 .

[9]  Carla L. Burns.  Proto-a software requirements specification, analysis and validation tool , 1990, [1990 Proceedings] The First International Workshop on Rapid System Prototying.

[10]  Laure Petrucci,et al.  PAPETRI: Environment for the Analysis of Petri Nets , 1990, CAV.

[11]  Luqi,et al.  A Prototyping Language for Real-Time Software , 1988, IEEE Trans. Software Eng..

[12]  Fabrice Kordon,et al.  Process decomposition for Rapid Prototyping of Parallel systems , 1991 .

[13]  R. Card,et al.  Rapid Ada prototyping: principles and example of a complex application , 1990, Ninth Annual International Phoenix Conference on Computers and Communications. 1990 Conference Proceedings.

[14]  Luqi.  Software evolution through rapid prototyping , 1989, Computer.

[15]  Dirk Taubner,et al.  On the Implementation of Petri Nets , 1988, European Workshop on Applications and Theory of Petri Nets.

[16]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[17]  Giovanni Chiola,et al.  On Well-Formed Coloured Nets and Their Symbolic Reachability Graph , 1991 .

[18]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[19]  Norihisa Komoda,et al.  A Petri-Net Based FA (Factory Automation) Controller for Flexible and Maintainable Control Specifications , 1984 .

[20]  Steve Hufnagel,et al.  Taxonomy of rapid-prototyping methods and tools , 1993, [1993] Proceedings The Fourth International Workshop on Rapid System Prototyping.

[21]  F. Breant.  TAPIOCA: OCCAM rapid prototyping from Petri-net , 1990, Proceedings of the 5th Jerusalem Conference on Information Technology, 1990. 'Next Decade in Information Technology'.

[22]  Carla L. Burns.  Parallel Proto-a prototyping tool for analyzing and validating sequential and parallel processing software requirements , 1991, [1991 Proceedings] The Second International Workshop on Rapid System Prototyping.

[23]  Apostolos Dollas,et al.  Rapid system prototyping in academic laboratories of the 1990s , 1990, [1990 Proceedings] The First International Workshop on Rapid System Prototying.

[24]  R. Budde,et al.  Approaches to Prototyping , 1984, Springer Berlin Heidelberg.

[25]  David E. van den Bout,et al.  The Anyboard: a rapid-prototyping system for use in teaching digital circuit design , 1990, [1990 Proceedings] The First International Workshop on Rapid System Prototying.

[26]  C. Burns.  REE-a requirements engineering environment for analyzing and validating software and system requirements , 1993, [1993] Proceedings The Fourth International Workshop on Rapid System Prototyping.

[27]  Petri Pulli,et al.  Graphics based prototyping of real-time systems , 1990, [1990 Proceedings] The First International Workshop on Rapid System Prototying.

[28]  Didier Buchs,et al.  Producing prototypes from CO-OPN specifications , 1992, [1992 Proceedings] The Third International Workshop on Rapid System Prototyping.

[29]  Randall H. Trigg,et al.  ApplBuilder - an Object-Oriented Application Generator Supporting Rapid Prototyping ∗ , 1991 .

[30]  S. Tu,et al.  Applying Petri net reduction to support Ada-tasking deadlock detection , 1990, Proceedings.,10th International Conference on Distributed Computing Systems.

[31]  Robert A. Nelson,et al.  Casting Petri Nets into Programs , 1983, IEEE Transactions on Software Engineering.

[32]  Jean-Luc Mounier.  Conception et mise en oeuvre d'un environnement système pour la modélisation, l'analyse et la réalisation de systèmes informatiques , 1990 .

[33]  Giorgio Bruno,et al.  Process-translatable Petri nets for the rapid prototyping of process control systems , 1986, IEEE Transactions on Software Engineering.