{
  "schema_version": "0.6.0",
  "paper_id": "declarative-framework-stateful-trace-analysis",
  "page_url": "https://naser.github.io/research-publications/papers/declarative-framework-stateful-trace-analysis/",
  "title": "A declarative framework for stateful analysis of execution traces",
  "title_variants": [],
  "authors": [
    "Florian Wininger",
    "Naser Ezzati-Jivan",
    "Michel R. Dagenais"
  ],
  "author_details": [
    {
      "name": "Florian Wininger",
      "orcid": null,
      "profile_url": "https://dblp.org/pid/134/9574.html"
    },
    {
      "name": "Naser Ezzati-Jivan",
      "orcid": "https://orcid.org/0000-0003-1435-6297",
      "profile_url": "https://naser.github.io/"
    },
    {
      "name": "Michel R. Dagenais",
      "orcid": null,
      "profile_url": "https://dblp.org/pid/60/309.html"
    }
  ],
  "publication": {
    "year": 2017,
    "venue": "Software Quality Journal",
    "type": "journal article",
    "publication_date": "2016-02-16",
    "online_date": "2016-02-16",
    "print_date": "2017-03",
    "volume": "25",
    "issue": "1",
    "pages": "201-229",
    "article_number": null,
    "publisher": "Springer Science and Business Media LLC",
    "issn": [
      "0963-9314",
      "1573-1367"
    ],
    "isbn": [],
    "crossref_type": "journal-article"
  },
  "publication_type": "journal article",
  "status": "published_with_public_full_text",
  "canonical_source_url": "https://doi.org/10.1007/s11219-016-9311-0",
  "source_record_id": "a-declarative-framework-for-stateful-analysis-of-execution-traces-e10b439675",
  "identifiers": {
    "doi": "10.1007/s11219-016-9311-0"
  },
  "abstract": null,
  "abstract_source": "Abstract not reproduced; the four-part summary is paraphrased from the verified full text.",
  "abstract_available": false,
  "scholar_eligibility": {
    "eligible": false,
    "basis": "not-eligible",
    "note": "The page is a discovery record; it does not claim Google Scholar article-host eligibility."
  },
  "description": "The framework lets analysts define stateful trace analyses declaratively, using a generic state model and XML specifications that can drive storage, filtering, and visualization across trace formats.",
  "evidence_level": "full-text-reviewed",
  "evidence": {
    "source_basis": "full-text-reviewed",
    "coverage": "material paper sections",
    "summary_origin": "AI-assisted catalog editorial summary",
    "review_status": "catalog-reviewed; paper-author approval pending",
    "verified_on": "2026-08-09",
    "sources": [
      {
        "note": "Private full PDF read: pdf-evidence/notes/declarative-framework-stateful-trace-analysis.md"
      },
      {
        "note": "Declarative-framework PDF pp. 2-7: problem, state model, State History Tree, XML language, event handlers, and filters"
      },
      {
        "note": "Declarative-framework PDF pp. 8-13: LTTng/ETW evaluation, 13.4/100 MiB traces, 25 repetitions, cross-platform examples, and resolution queries"
      },
      {
        "note": "Declarative-framework PDF p. 14: limitations and future work"
      },
      {
        "note": "Local PDF hash verified in pdf-evidence/extraction-manifest.json"
      }
    ]
  },
  "summary": {
    "core_contribution": "The framework lets analysts define stateful trace analyses declaratively, using a generic state model and XML specifications that can drive storage, filtering, and visualization across trace formats.",
    "problem": "Fixed trace viewers and hard-coded analyses do not scale to application-specific performance, security, or bottleneck questions and tie analyses to particular tracer formats.",
    "method": "Define a generic interval-based state model and compile XML/XSD state specifications into reusable providers, filters, and visualizations backed by the State History Tree. The same style of model is demonstrated with LTTng/CTF and ETW.",
    "findings": "Declarative specifications produce the same state-oriented views across Linux and Windows examples. Compiled Java and XML execution have similar measured times on 13.4 MiB and 100 MiB traces, while resolution-aware queries substantially lower display latency.",
    "limitations": "The language cannot express unrestricted branching; filters are virtual and not persistent; query cost grows with state attributes; resolution sampling can lose detail and correctness. The examples are not a broad scalability or user study.",
    "future_work": "Add critical-path analysis and more visualization types, and parallelize event parsing and state construction."
  },
  "tags": [
    "trace-analysis",
    "trace-abstraction",
    "performance-analysis",
    "system-tracing",
    "trace-visualization"
  ],
  "keywords": [
    "declarative trace analysis",
    "stateful analysis",
    "execution traces",
    "LTTng",
    "ETW",
    "State History Tree",
    "XML",
    "trace filtering",
    "Gantt chart",
    "critical-path analysis"
  ],
  "versions": [
    {
      "id": "published-version",
      "label": "Published version",
      "relation": "version-of-record",
      "title": "A declarative framework for stateful analysis of execution traces",
      "url": "https://doi.org/10.1007/s11219-016-9311-0",
      "pdf_url": null,
      "status": "published",
      "canonical_for_citation": true
    },
    {
      "id": "public-polypublie-pdf",
      "label": "Public PolyPublie PDF",
      "relation": "source-record",
      "title": "A declarative framework for stateful analysis of execution traces",
      "url": "https://publications.polymtl.ca/2987/1/2017_Wininger_Declarative_framework_stateful_analysis_execution.pdf",
      "pdf_url": "https://publications.polymtl.ca/2987/1/2017_Wininger_Declarative_framework_stateful_analysis_execution.pdf",
      "status": "public_full_text",
      "canonical_for_citation": false
    }
  ],
  "access": {
    "status": "published_with_public_full_text",
    "note": "The DOI is the canonical citation target. The external source PDF is linked for readers; no PDF is redistributed in this repository.",
    "license": null
  },
  "resources": {
    "code": null,
    "data": null,
    "slides": null,
    "demo": null
  },
  "citation_guidance": {
    "when_to_cite": "Cite this paper when your work uses or compares a declarative XML/XSD state-analysis language that compiles event handlers into reusable trace-state providers.",
    "points": [
      "For a declarative XML/XSD state-analysis language that compiles event handlers into reusable trace-state providers.",
      "For cross-tracer state visualization demonstrated with LTTng/CTF and Windows ETW.",
      "For measured resolution-aware trace display, including the speed/detail tradeoff in Table III."
    ],
    "canonical_version_id": "published-version"
  },
  "provenance": {
    "metadata_verified_on": "2026-08-09",
    "metadata_source": [
      "Private full PDF read: pdf-evidence/notes/declarative-framework-stateful-trace-analysis.md",
      "Declarative-framework PDF pp. 2-7: problem, state model, State History Tree, XML language, event handlers, and filters",
      "Declarative-framework PDF pp. 8-13: LTTng/ETW evaluation, 13.4/100 MiB traces, 25 repetitions, cross-platform examples, and resolution queries",
      "Declarative-framework PDF p. 14: limitations and future work",
      "Local PDF hash verified in pdf-evidence/extraction-manifest.json"
    ],
    "summary_written_by": "AI-assisted",
    "summary_verified_by": "full-text-grounded catalog review; author approval pending",
    "linked_preprint_record": null,
    "author_order_note": null
  },
  "batch": {
    "phase": 2,
    "batch_label": "expanded forty-paper release",
    "status": "included_in_expanded_catalog",
    "selected_at": "2026-08-09"
  }
}