Formal modeling of communication traces
| dc.contributor.author | Boroday, Sergiy | |
| dc.contributor.author | Hallal, Hesham | |
| dc.contributor.author | Petrenko, Alexandre | |
| dc.contributor.author | Ulrich, Andreas | |
| dc.contributor.editor | Godlevsky, Mikhail | |
| dc.contributor.editor | Liddle, Stephen W. | |
| dc.contributor.editor | Mayr, Heinrich C. | |
| dc.date.accessioned | 2019-11-14T11:18:13Z | |
| dc.date.available | 2019-11-14T11:18:13Z | |
| dc.date.issued | 2003 | |
| dc.description.abstract | Development of distributed systems is complicated by the absence of reliable global timing, concurrency, and nondeterminism. To deal with these obstacles log files are produced by an instrumented system facilitating analysis, testing, and debugging. This paper presents a formal framework for the analysis of distributed system logs based on event trace concept. A partially ordered trace of events executed by a distributed system is modeled by a collection of communicating automata. We present an implementation of the analysis approach in SDL based on ObjectGEODE. A formalization of a property of an event trace, being a replica of another trace, is discussed. | en |
| dc.identifier.isbn | 3-88579-359-8 | |
| dc.identifier.pissn | 1617-5468 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/29877 | |
| dc.language.iso | en | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartofseries | Lecture Notes in Informatics (LNI) - Proceedings, Volume P-30 | |
| dc.title | Formal modeling of communication traces | en |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 108 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 97 | |
| gi.conference.date | June 19-21, 2003 | |
| gi.conference.location | Kharkiv, Ukraine | |
| gi.conference.sessiontitle | Regular Research Papers |
Dateien
Originalbündel
1 - 1 von 1
Lade...
- Name:
- GI-Proceedings.30-9.pdf
- Größe:
- 223.39 KB
- Format:
- Adobe Portable Document Format