Executing specifications of distributed computations with chronolog(MC)

Chuchang Liu; Mehmet A. Orgun

doi:10.1145/331119.331415

Executing specifications of distributed computations with chronolog(MC)

Chuchang Liu, Mehmet A. Orgun

School of Computing

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding contribution › peer-review

5 Citations (Scopus)

Abstract

Chronolog(MC) is an extension of logic programming based on a clocked temporal logic (CTL), a linear-time temporal logic with multiple granularity of time. In CTL, each predicate is associated with a local clock. Chronolog(MC) can be applied to the specification of a wide range of simulation systems and other relevant tasks where the notion of dynamic change is central. This paper discusses the use of Chronolog(MC) in the simulation of distributed computations. In particular, it shows that specifications of distributed computations based on Hoare 's CSP formalism can be automatically transformed into Chronolog(MC) programs which are then directly executed.

Original language	English
Title of host publication	Proceedings of the 1996 ACM Symposium on Applied Computing, SAC 1996
Publisher	Association for Computing Machinery
Pages	393-400
Number of pages	8
Volume	Part F128723
ISBN (Electronic)	0897918207
DOIs	https://doi.org/10.1145/331119.331415
Publication status	Published - 18 Feb 1996
Event	1996 ACM Symposium on Applied Computing, SAC 1996 - Philadelphia, United States Duration: 17 Feb 1996 → 19 Feb 1996

Other

Other	1996 ACM Symposium on Applied Computing, SAC 1996
Country/Territory	United States
City	Philadelphia
Period	17/02/96 → 19/02/96

Keywords

clocks
distributed computations
executable specification
logic programming
simulation
temporal logic

Access to Document

10.1145/331119.331415

Cite this

@inproceedings{a1c3d726e3a041f18f95e98c0feb04d8,

title = "Executing specifications of distributed computations with chronolog(MC)",

abstract = "Chronolog(MC) is an extension of logic programming based on a clocked temporal logic (CTL), a linear-time temporal logic with multiple granularity of time. In CTL, each predicate is associated with a local clock. Chronolog(MC) can be applied to the specification of a wide range of simulation systems and other relevant tasks where the notion of dynamic change is central. This paper discusses the use of Chronolog(MC) in the simulation of distributed computations. In particular, it shows that specifications of distributed computations based on Hoare 's CSP formalism can be automatically transformed into Chronolog(MC) programs which are then directly executed.",

keywords = "clocks, distributed computations, executable specification, logic programming, simulation, temporal logic",

author = "Chuchang Liu and Orgun, {Mehmet A.}",

year = "1996",

month = feb,

day = "18",

doi = "10.1145/331119.331415",

language = "English",

volume = "Part F128723",

pages = "393--400",

booktitle = "Proceedings of the 1996 ACM Symposium on Applied Computing, SAC 1996",

publisher = "Association for Computing Machinery",

note = "1996 ACM Symposium on Applied Computing, SAC 1996 ; Conference date: 17-02-1996 Through 19-02-1996",

}

TY - GEN

T1 - Executing specifications of distributed computations with chronolog(MC)

AU - Liu, Chuchang

AU - Orgun, Mehmet A.

PY - 1996/2/18

Y1 - 1996/2/18

N2 - Chronolog(MC) is an extension of logic programming based on a clocked temporal logic (CTL), a linear-time temporal logic with multiple granularity of time. In CTL, each predicate is associated with a local clock. Chronolog(MC) can be applied to the specification of a wide range of simulation systems and other relevant tasks where the notion of dynamic change is central. This paper discusses the use of Chronolog(MC) in the simulation of distributed computations. In particular, it shows that specifications of distributed computations based on Hoare 's CSP formalism can be automatically transformed into Chronolog(MC) programs which are then directly executed.

AB - Chronolog(MC) is an extension of logic programming based on a clocked temporal logic (CTL), a linear-time temporal logic with multiple granularity of time. In CTL, each predicate is associated with a local clock. Chronolog(MC) can be applied to the specification of a wide range of simulation systems and other relevant tasks where the notion of dynamic change is central. This paper discusses the use of Chronolog(MC) in the simulation of distributed computations. In particular, it shows that specifications of distributed computations based on Hoare 's CSP formalism can be automatically transformed into Chronolog(MC) programs which are then directly executed.

KW - clocks

KW - distributed computations

KW - executable specification

KW - logic programming

KW - simulation

KW - temporal logic

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

U2 - 10.1145/331119.331415

DO - 10.1145/331119.331415

M3 - Conference proceeding contribution

AN - SCOPUS:84958084860

VL - Part F128723

SP - 393

EP - 400

BT - Proceedings of the 1996 ACM Symposium on Applied Computing, SAC 1996

PB - Association for Computing Machinery

T2 - 1996 ACM Symposium on Applied Computing, SAC 1996

Y2 - 17 February 1996 through 19 February 1996

ER -

Executing specifications of distributed computations with chronolog(MC)

Abstract

Other

Keywords

Access to Document

Other files and links

Fingerprint

Cite this