The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.06 - June (1991 vol.17)
pp: 493-512
ABSTRACT
<p>The flat concurrent Prolog (FCP) language, which enables the implementation of synchronization through data flow, communication through shared variables, parallelism through the reduction of the AND components in the clause's body, and indeterminacy through guarded commands, is discussed. It is shown that FCP, used in conjunction with Petri net methods, forms a powerful tool in the modeling of parallel systems that involve concurrency. The simulation of systems represented by various types of Petri nets is achieved using the reduction process of FCP. AND parallelism supports free competition among conflicting enabled transitions. A structural analysis of systems is provided using the metaprogramming technique.</p>
INDEX TERMS
system modeling; flat concurrent Prolog; synchronization; data flow; shared variables; parallelism; AND components; indeterminacy; guarded commands; FCP; Petri net methods; parallel systems; Petri nets; reduction process; free competition; conflictingenabled transitions; structural analysis; metaprogramming technique; logic programming; parallel programming; Petri nets; PROLOG; structured programming; virtual machines
CITATION
Y. Dotan, B. Arazi, "Using Flat Concurrent Prolog in System Modeling", IEEE Transactions on Software Engineering, vol.17, no. 6, pp. 493-512, June 1991, doi:10.1109/32.87277
24 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool