The automatic prototyping methodology presented is derived from Petri net theory and has been developed for the PNTAGADA project (Petri Net Translation, Analysis, and Generation of Ada code). Colored Petri nets allow concise modeling and verification of distributed systems. Their quantitative analysis provides invariants which are of particular interest for rapid prototyping of parallel applications. Management of a phone conversation, or a complex application, is used as an example to demonstrate the methodology of the Ada code generator. A description of subscriber behavior and services available at a private automatic branch exchange (PABX) is presented, along with a qualitative analysis of the model. A listing abstract of the task associated with a given subscriber is provided. Execution of the code generated for that model presents the process sequence involved in management of different subscribers.
展开▼
