ramin@rtgvax.UUCP (05/24/86)
[Think, before eating this line...] Sorry about all the cross-postings but I'm trying for the widest circulation short of net.general (:-) I am looking for any pointers to literature/specifications/ideas for Modeling of asynchronous and/or real-time systems. These would be very high-level design specification tools to help model parallel real-time events and systems. Intuitively, at least I think the way to go is Temporal Logics (hence the net.philosophy posting...) however, that seems to be currently applied only to hardware design (CIRCAL et al). The problem with the standard dataflow diagram and associated descriptive systems is their failure to capture at least simultaneous (ideally, parallel) events. On the other hand, the rigor with which one would want to model such an event lends itself to creative Knowledge Representation techniques (hence net.ai and net.cog-eng...) and even possibly many-valued logics...? To put it in some more perspective, the model would be of some complicated industrial processes that up to now have been modeled in a synchronous i.e. serialized fashion. I would like to see if there are any references out there to attempts at asynchronous modeling. Would definitely repost (to where? (:-) if there are enough responses... Thanks much... ramin -- =--------------------------------------=-------------------------------------= : alias: ramin firoozye' : USps: Systems Control Inc. : : uucp: ...!shasta \ : 1801 Page Mill Road : : ...!lll-lcc \ : Palo Alto, CA 94303 : : ...!ihnp4 \...!ramin@rtgvax : ^G: (415) 494-1165 x-1777 : =--------------------------------------=-------------------------------------=