Specifications of distributed systems in prolog

Citations of this article
Mendeley users who have this article in their library.
Get full text


A specification in Prolog coded as a collection of Horn clauses is a system description specifying externally observable system behavior. These system descriptions can be executed for both generating and recognizing possible sequences of valid externally observable system interactions. Thus, they aid in the dynamic analysis of the system functionality captured by subsequent designs and implementations of the specified systems. This paper proposes a comprehensive structure for Prolog-based specifications which supports descriptions of system functionality at various levels of abstraction. The paper also discusses how these executable descriptions are used for validation purposes. © 1990.




Ural, H. (1990). Specifications of distributed systems in prolog. The Journal of Systems and Software, 11(2), 143–154. https://doi.org/10.1016/0164-1212(90)90058-T

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free