Add to ORKGThis paper presents RDL, a Rule Definition Language to specify the behavior of distributed systems. RDL allows to specify such behavior in terms of how distributed components react to the occurrence of events. The computational model and syntax of RDL are presented. The use of RDL in preliminary tests shows that it takes 1/6 of the number of lines in a Java program to capture the same semantics
Distributed applications are traditionally developed using separate modules for each component in th...
Abstract. Program observation involves formulating a query about the behavior of a program and then ...
We present fundamentals of an approach to object-oriented specification of distrib-uted information ...
The Event Rule Framework ERF was created for supporting the development of distributed systems with ...
Specification of real-time behavior of a system requires a significantly different approach compared...
We present a logical framework to reason about distributed systems called the Logic of Events. This...
We introduce the definition of a language of distributed reactive objects, a Behaviour Description L...
A distributed system is a set of processes that are running in a set of networked machines to perfor...
This paper investigates rewriting logic as a suitable means to model the semantics of distributed an...
ISSN 1476-2986 Monitoring the behaviour of computing systems is an important task. In active databas...
Although a large number of formal methods have been reported in the literature, most of them are app...
Since the beginning of the 1980's, the way the computer systems are conceived has changed dramatical...
An important issue in real-time computing is the development of a usable and yet abstract computatio...
Modern societal-scale infrastructures (e.g., buildings, roads, railways, and power supplies) that ar...
We introduce the definition of a language of distributed reactive objects, BDL, as a unified medium ...
Distributed applications are traditionally developed using separate modules for each component in th...
Abstract. Program observation involves formulating a query about the behavior of a program and then ...
We present fundamentals of an approach to object-oriented specification of distrib-uted information ...
The Event Rule Framework ERF was created for supporting the development of distributed systems with ...
Specification of real-time behavior of a system requires a significantly different approach compared...
We present a logical framework to reason about distributed systems called the Logic of Events. This...
We introduce the definition of a language of distributed reactive objects, a Behaviour Description L...
A distributed system is a set of processes that are running in a set of networked machines to perfor...
This paper investigates rewriting logic as a suitable means to model the semantics of distributed an...
ISSN 1476-2986 Monitoring the behaviour of computing systems is an important task. In active databas...
Although a large number of formal methods have been reported in the literature, most of them are app...
Since the beginning of the 1980's, the way the computer systems are conceived has changed dramatical...
An important issue in real-time computing is the development of a usable and yet abstract computatio...
Modern societal-scale infrastructures (e.g., buildings, roads, railways, and power supplies) that ar...
We introduce the definition of a language of distributed reactive objects, BDL, as a unified medium ...
Distributed applications are traditionally developed using separate modules for each component in th...
Abstract. Program observation involves formulating a query about the behavior of a program and then ...
We present fundamentals of an approach to object-oriented specification of distrib-uted information ...