Method for assisting the development of a set of communicating a

Details Method for assisting the development of a set of communicating a Method for assisting the development of a set of communicating a

1992-07-15

1994-03-01

Teska, Kevin J.

Boots, shoes, and leggings

364514, 364DIG2, G06G 748, H04J 1500

Patent

active

052914275

ABSTRACT:
In a method for assisting with the development of a set of communicating automata a development machine is supplied with a description of initial elementary Petri nets respectively modeling partial behaviors of each function. The development machine is then used to verify that each initial net has the required properties. The development machine is then told a plurality of nets to be combined and a communication mode. The development machine is then used to verify that the net resulting from this combination has the required properties. The initial Petri nets are then modified if the net obtained does not have the required properties. The development machine is again told a plurality of nets to be combined and a communication mode to cause it to carry out a series of combinations and verifications until Petri nets are obtained having the required properties and respectively modeling each automaton of the set and communication between inter-automaton interfaces or between an external interface and the environment external to the set of automata.

REFERENCES:
patent: 4354226 (1982-10-01), Flickinger et al.
patent: 4876664 (1989-10-01), Bittorf et al.
patent: 4998194 (1991-03-01), Okamato et al.
patent: 5163016 (1992-11-01), Har'el et al.
"PROTEAN: A High-level Petri Net Tool for the Specification and Verification of Communication Protocols," IEEE Transactions on Software Engineering, vol. 14, No. 3, Mar. 1988, Jonathan Billington et al.

Affiliated with

Also associated with

Rating

Method for assisting the development of a set of communicating a does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method for assisting the development of a set of communicating a, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for assisting the development of a set of communicating a will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-583746