Apparatus and method for synthesizing program specification from

Details Apparatus and method for synthesizing program specification from Apparatus and method for synthesizing program specification from

1995-08-28

1997-09-16

Treat, William M.

G06F 900

Patent

active

056689780

ABSTRACT:
Disclosed is an apparatus and method for synthesizing a plurality of program component specifications into a single program component specification. Each program component transforms its state in operation, responding to an input of an event and in turn outputs another event in accordance with the transformation to the other program components.
The program component specifications each includes a table showing events to be inputted therein, a table showing states of the program component in operation, a table showing state transformations in response to the input events, and a table showing events to be outputted therefrom according to the state transformations.

REFERENCES:
patent: 4799141 (1989-01-01), Drusinsky et al.
patent: 5202996 (1993-04-01), Sugino et al.
patent: 5228040 (1993-07-01), Agrawal et al.
patent: 5301100 (1994-04-01), Wagner
patent: 5339395 (1994-08-01), Pickett et al.
patent: 5475388 (1995-12-01), Gormish et al.
Using statecharts for hardware description and synthesis by Drusinsky et al., 1989 IEEE publication, pp. 798-807.
Global scheduling independent of control dependencies based on condition vector by Wakabayashi et al., 1992 IEEE publication, pp. 112-115.
State assignment using Input/Output functions by Pomeranz et al., 1992 IEEE publication, pp. 573-577.
Wagner, F. "VFSM Executable Specification", May 1992, pp. 226-231.
Yuang, Maria. "Survey of Protocol Verification Techniques Based on Finite State Machine Models." 1988, pp. 164-172.
Shiratori et al. "A User Friendly Software Environment for Protocol Synthesis." 1991, pp. 477-480.

Affiliated with

Also associated with

Rating

Apparatus and method for synthesizing program specification from does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Apparatus and method for synthesizing program specification from, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Apparatus and method for synthesizing program specification from will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-225537