Using flat concurrent Prolog in system modeling

Yoheved Dotan; Benyamin Arazy

doi:10.1109/32.87277

Using flat concurrent Prolog in system modeling

Yoheved Dotan, Benyamin Arazy

Research output: Contribution to journal › Article › peer-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 language	English
Pages (from-to)	493-512
Number of pages	20
Journal	IEEE Transactions on Software Engineering
Volume	17
Issue number	6
DOIs	https://doi.org/10.1109/32.87277
State	Published - 1 Jan 1991
Externally published	Yes

ASJC Scopus subject areas

Software

Access to Document

10.1109/32.87277

Cite this

@article{bda597ddf96f4a3e8e1015c2d3174026,

title = "Using flat concurrent Prolog in system modeling",

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.",

author = "Yoheved Dotan and Benyamin Arazy",

year = "1991",

month = jan,

day = "1",

doi = "10.1109/32.87277",

language = "English",

volume = "17",

pages = "493--512",

journal = "IEEE Transactions on Software Engineering",

issn = "0098-5589",

publisher = "Institute of Electrical and Electronics Engineers",

number = "6",

}

TY - JOUR

T1 - Using flat concurrent Prolog in system modeling

AU - Dotan, Yoheved

AU - Arazy, Benyamin

PY - 1991/1/1

Y1 - 1991/1/1

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

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

UR - http://www.scopus.com/inward/record.url?scp=0026172148&partnerID=8YFLogxK

U2 - 10.1109/32.87277

DO - 10.1109/32.87277

M3 - Article

AN - SCOPUS:0026172148

SN - 0098-5589

VL - 17

SP - 493

EP - 512

JO - IEEE Transactions on Software Engineering

JF - IEEE Transactions on Software Engineering

IS - 6

ER -

Using flat concurrent Prolog in system modeling

Abstract

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this