In: Proceedings of the Ninth Annual International Phoenix Conference on Computers and Communications, 1990, Scottsdale, AZ, USA, pages 453-460. Piscataway, NJ, USA: IEEE Service Center, 1990.
Abstract: The automatic prototyping methodology presented is derived from Petri net theory and has been developed for the PN-TAGADA project (Petri Net Translation, Analysis, and Generation of ADA code). Colored Petri nets allow concise modeling and verification of distributed systems. Management of a phone conversation 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.
Keywords: ADA Prototyping; PN TAGADA project; generation (of) ADA (code); private automatic branch exchange service.