Using flat concurrent Prolog in system modeling

Yoheved Dotan, Benyamin Arazy

Research output: Contribution to journalArticlepeer-review

3 Scopus citations

Abstract

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 indeterminancy 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.

Original languageEnglish
Pages (from-to)493-512
Number of pages20
JournalIEEE Transactions on Software Engineering
Volume17
Issue number6
DOIs
StatePublished - 1 Jun 1991
Externally publishedYes

Fingerprint

Dive into the research topics of 'Using flat concurrent Prolog in system modeling'. Together they form a unique fingerprint.

Cite this