{
  "schema_version": "0.6.0",
  "paper_id": "integrated-modeling-tool-state-machine-trace",
  "page_url": "https://threadslab.org/research-publications/papers/integrated-modeling-tool-state-machine-trace/",
  "title": "Integrated Modeling Tool for Indexing and Analyzing State Machine Trace",
  "title_variants": [],
  "authors": [
    "Simon Delisle",
    "Naser Ezzati-Jivan",
    "Michel R. Dagenais"
  ],
  "author_details": [
    {
      "name": "Simon Delisle",
      "orcid": null,
      "profile_url": "https://dblp.org/pid/308/0441.html"
    },
    {
      "name": "Naser Ezzati-Jivan",
      "orcid": "https://orcid.org/0000-0003-1435-6297",
      "profile_url": "https://threadslab.org/"
    },
    {
      "name": "Michel R. Dagenais",
      "orcid": null,
      "profile_url": "https://dblp.org/pid/60/309.html"
    }
  ],
  "publication": {
    "year": 2021,
    "venue": "2021 IEEE International Symposium on Networks, Computers and Communications (ISNCC)",
    "type": "conference paper",
    "publication_date": "2021-10-31",
    "online_date": null,
    "print_date": "2021-10-31",
    "volume": null,
    "issue": null,
    "pages": "1-8",
    "article_number": null,
    "publisher": "IEEE",
    "issn": [],
    "isbn": [],
    "crossref_type": "proceedings-article"
  },
  "publication_type": "conference paper",
  "status": "published_with_public_source_record",
  "canonical_source_url": "https://doi.org/10.1109/ISNCC52172.2021.9615814",
  "source_record_id": "integrated-modeling-tool-for-indexing-and-analyzing-state-machine-trace-b450898ee2",
  "identifiers": {
    "doi": "10.1109/ISNCC52172.2021.9615814"
  },
  "abstract": "The accessible abstract describes a modeled state representation with a special-purpose database, filtering/highlighting, and Gantt/XY views for Linux and Windows traces.",
  "abstract_source": "OpenAlex abstract metadata and institutional metadata reviewed; abstract not reproduced because reuse permission was not established.",
  "abstract_available": true,
  "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 accessible abstract describes a modeled state representation with a special-purpose database, filtering/highlighting, and Gantt/XY views for Linux and Windows traces.",
  "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-26",
    "sources": [
      {
        "note": "Local PDF reviewed, including Graphiti/EMF design, LTTng pipeline, state-machine examples, and attribute counts"
      },
      {
        "note": "IEEE DOI record: https://doi.org/10.1109/ISNCC52172.2021.9615814"
      },
      {
        "note": "IEEE Xplore record: https://ieeexplore.ieee.org/document/9615814/"
      }
    ]
  },
  "summary": {
    "core_contribution": "The paper provides a graphical state-machine modeling tool that generates trace analyses and integrates them into Trace Compass, reducing the need to hand-code state providers or XML analyses.",
    "problem": "Comprehensive traces are large and domain-specific, while conventional analysis tools can be hard-coded and custom XML/DSL analyses are difficult to author and maintain. Analysts need a declarative way to describe states, conditions, and event-driven transitions for kernel and user-space traces.",
    "method": "The tool implements a UML state-machine subset with Graphiti and EMF and integrates as a Trace Compass plug-in. Analysts define attributes in a tree, states and transitions, Boolean AND/OR/NOT conditions, and event-to-state mappings. The model is transformed into a Trace Compass XML state provider in the current implementation; state history is stored in the disk-based State History Tree and generated views expose the result. The evaluated tracing pipeline uses LTTng and LTTng-UST on Linux; SystemTap, perf, and DTrace are discussed as related tracing ecosystems rather than the evaluated collector.",
    "findings": "Two use cases are demonstrated: a Linux-kernel model with 14 states, 36 transitions, and 9 conditions, and a user-space request model with 7 states, 11 transitions, and 5 conditions. The corresponding attribute counts are 594 versus 525 for the kernel model/XML and 261 versus 196 for the request model/XML. The graphical workflow reproduces the XML analysis result without recompiling a Java analysis for each requirement and supports the same analysis style for different trace types.",
    "limitations": "The current implementation still compiles/transforms the graphical model to XML, so it does not yet remove every intermediate representation. The case studies demonstrate expressiveness rather than broad usability or performance; there is no large user study or cross-platform benchmark.",
    "future_work": "Execute models directly, add model validation and event-sequence checking, support model/repository management and trace-to-model links, and benchmark authoring effort, query cost, and analyst correctness across larger kernel and application analyses."
  },
  "tags": [
    "trace-analysis",
    "trace-visualization",
    "trace-abstraction",
    "performance-analysis"
  ],
  "keywords": [
    "state-machine traces",
    "trace indexing",
    "special-purpose database",
    "Gantt chart",
    "XY view",
    "trace filtering"
  ],
  "versions": [
    {
      "id": "published-version",
      "label": "Published version",
      "relation": "version-of-record",
      "title": "Integrated Modeling Tool for Indexing and Analyzing State Machine Trace",
      "url": "https://doi.org/10.1109/ISNCC52172.2021.9615814",
      "pdf_url": null,
      "status": "published",
      "canonical_for_citation": true
    },
    {
      "id": "polypublie-institutional-publication-record",
      "label": "PolyPublie institutional publication record",
      "relation": "source-record",
      "title": "Integrated Modeling Tool for Indexing and Analyzing State Machine Trace",
      "url": "https://publications.polymtl.ca/50159/",
      "pdf_url": null,
      "status": "public_source_record",
      "canonical_for_citation": false
    }
  ],
  "access": {
    "status": "published_with_public_source_record",
    "note": "DOI, DBLP, the official proceedings table of contents, and the PolyPublie institutional record verify the paper. The PolyPublie page did not expose a verified manuscript PDF in this check; abstract-level claims remain separate from the locally inspected Overleaf AAM.",
    "license": null
  },
  "resources": {
    "code": null,
    "data": null,
    "slides": null,
    "demo": null
  },
  "citation_guidance": {
    "when_to_cite": "Cite this paper when specifying Trace Compass analyses through graphical state-machine models over LTTng traces.",
    "points": [
      "Graphiti/EMF state-machine modeling integrated with Trace Compass.",
      "Declarative states, transitions, Boolean conditions, and event mappings.",
      "The kernel and user-space request case studies and model sizes.",
      "The current XML transformation boundary and planned direct execution."
    ],
    "canonical_version_id": "published-version"
  },
  "provenance": {
    "metadata_verified_on": "2026-08-26",
    "metadata_source": [
      "Local PDF reviewed, including Graphiti/EMF design, LTTng pipeline, state-machine examples, and attribute counts",
      "IEEE DOI record: https://doi.org/10.1109/ISNCC52172.2021.9615814",
      "IEEE Xplore record: https://ieeexplore.ieee.org/document/9615814/"
    ],
    "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-28"
  }
}