2011 | OriginalPaper | Buchkapitel
TraceContract: A Scala DSL for Trace Analysis
verfasst von : Howard Barringer, Klaus Havelund
Erschienen in: FM 2011: Formal Methods
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In this paper we describe
TraceContract
, an API for trace analysis, implemented in the
Scala
programming language. We argue that for certain forms of trace analysis the best weapon is a high level programming language augmented with constructs for temporal reasoning. A trace is a sequence of events, which may for example be generated by a running program, instrumented appropriately to generate events. The API supports writing properties in a notation that combines an advanced form of data parameterized state machines with temporal logic. The implementation utilizes
Scala
’s support for defining internal Domain Specific Languages (DSLs). Furthermore
Scala
’s combination of object oriented and functional programming features, including partial functions and pattern matching, makes it an ideal host language for such an API.