An analysis of the temporal relations of intervals in relativistic space-time
| Autor: | Frank D. Anger, Rita V. Rodríguez |
|---|---|
| Rok vydání: | 1993 |
| Předmět: | |
| Zdroj: | Lecture Notes in Computer Science ISBN: 9783540567356 IPMU |
| DOI: | 10.1007/3-540-56735-6_51 |
| Popis: | Concurrent systems are subject to a form of temporal uncertainty due to the non-deterministic order of execution. Distributed systems cause additional uncertainty by the lack of a common clock and the communication delays. Adequate methods for checking the specification and design of such systems must allow for sound reasoning about asynchronous activities, while automated methods should perform the reasoning in polynomial time. This paper presents the basis for such deductive systems through a very general temporal relation algebra which can be used with constraint propagation techniques. Based on intervals in relativistic space-time, it naturally incorporates the expression of uncertain and ambiguous temporal relations, as well as concurrent actions. The possible temporal relations are analyzed and named consistently with earlier work of the authors, followed by an explanation of the calculation of compositions of the atomic temporal relations. The resulting table of compositions is the cornerstone of a temporal constraint-based reasoner that presently supports a prototype concurrent system debugger by deducing from partial run-time information the existence of temporal behavior inconsistent with specifications. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|