Method for specifying stateful, transaction-oriented systems...

Details Method for specifying stateful, transaction-oriented systems... Method for specifying stateful, transaction-oriented systems...

2006-06-27

2010-12-07

Vu, Tuan Anh (Department: 2193)

Data processing: software development, installation, and managem

Software program development tool

Code generation

Reexamination Certificate

active

07849441

ABSTRACT:
A method for specifying stateful, transaction-oriented systems is provided. The method initiates with designating a plurality of primitive FlowModules. The method includes defining at least one FlowGate within each of the plurality of FlowModules, wherein each FlowGate includes a non-interruptible sequence of procedure code, a single point of entry and is invoked by a named concurrent call. An Arc is designated from a calling FlowGate to a called FlowGate and a Signal is generated for each named invocation of the called FlowGate. A Channel is defined for carrying the Signal. Methods for synthesizing a semiconductor device and routing signals in the semiconductor device are provided.

Affiliated with

Also associated with

Rating

Method for specifying stateful, transaction-oriented systems... 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 specifying stateful, transaction-oriented systems..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method for specifying stateful, transaction-oriented systems... will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4173855