| Bidirectional Projective Editing |
Provides synchronized textual and graphical editing of the same underlying SysML v2 semantic model. Users can modify the model through either representation: graphical edits are projected back into SysML text, while textual edits are re-evaluated and reflected in the graphical representation. This allows engineers to move between textual and graphical modeling without maintaining separate model representations. |
| Browser-Based SysML v2 Model Development and Integration |
Integrated browser-based engineering environment for working with SysML v2 and KerML models. |
| Serverless / Local Execution |
Kotar runs locally in the browser. Normal model processing and file operations do not require model data to be uploaded to a Kotar backend. |
| Local File System Access |
Opens and works directly with local files and directories using browser File System Access capabilities. Files remain accessible to other local tools such as Git clients, editors, scripts, and command-line utilities. |
| Engineering Workspaces |
Manages complete engineering workspaces containing SysML/KerML models, scripts, CSV data, configuration, generated artifacts, and other supporting files. |
| SysML v2 / KerML Text Editor |
Language-aware textual model editor with syntax and semantic analysis. |
| Diagnostics |
Detects syntax errors, semantic errors, validation findings, lint findings, and other model problems using standard IDE-style hints, warnings, and errors. |
| Model Validation |
Performs semantic and model-aware validation of SysML v2 and KerML models. |
| Model Linting |
Checks models against modeling conventions and recommended practices. |
| Quick Fixes |
Provides automated corrections for supported lint and model problems, including fixes for individual occurrences or an entire file. |
| SysML Formatting |
Formats textual SysML according to configured formatting rules and automatically formats generated model content. |
| Graphical Modeling |
Provides a graphical editor for navigating and modifying the SysML model. |
| Text / Graphical Synchronization |
Textual and graphical representations operate on the same semantic model so changes can be reflected between representations. |
| Constraint Propagation |
Derives information and allowable ranges from constraints defined in the model. |
| Requirement & Constraint Verification |
Evaluates model constraints and requirements and distinguishes satisfied, violated, undecided, and inferred results. |
| Solver-Based Analysis |
Architecture supports SMT-based analysis, including satisfiability checking and witness generation. |
| Interactive REPL |
Evaluates SysML/KerML expressions and queries interactively for model exploration and analysis. |
| Browser Terminal |
Provides a shell-like terminal for advanced engineering and automation workflows. |
| SysML v2 CLI |
Provides command-line operations including validation, linting, formatting, querying, evaluation, inspection, parsing, semantic diff, verification, refactoring, contextual JSON, and diagram generation. |
| Model Query & Inspection |
Queries model content and inspects elements, metaclasses, ownership, membership, and other semantic information. |
| Semantic Diff |
Compares models based on their semantic content rather than only textual differences. |
| Model-Aware Refactoring |
Performs refactoring operations using knowledge of the SysML semantic model. |
| Diagram Generation |
Generates PlantUML-based diagram information from SysML models. |
| Local Engineering Services |
Can run engineering services locally, including a SysML v2 service, Flexo/MMS, RDF Quad Store, and SQLite. |
| Service/API Interface |
Provides an advanced interface for inspecting local services, viewing logs, and issuing HTTP/API requests. |
| Flexo / MMS Integration |
Integrates with Flexo/MMS for SysML model persistence, commits, revision management, and model deltas. |
| Remote Model Repository Access |
Connects to remote Flexo/SysML v2 services, enumerates projects, and checks projects out into local Kotar workspaces. |
| SQLite Engineering Data |
Provides a graphical table interface backed by SQLite for managing structured engineering data. |
| CSV Data Interface |
Opens CSV engineering data in a table-oriented interface with filtering and data-processing capabilities. |
| Data-to-Model Transformation |
Transforms external engineering information such as CSV or SQL data into SysML v2 model content. |
| TypeScript Transformations |
Supports model-aware TypeScript transformation scripts with generated type information for both the SysML model and engineering data sources. |
| Transformation Review |
Stages generated model changes as diffs so users can review generated content, validation, and lint results before accepting changes. |
| Generated-Element Identification |
Visually distinguishes generated model elements from manually authored model content. |
| Digital Thread Engine |
Records the relationship between generated model elements, transformation logic, source data, and source versions/digests. |
| Transformation Change Detection |
Detects when source data or transformation logic has changed since model content was generated. |
| Automatic Workspace Revision History |
Automatically records fine-grained revisions of the complete engineering workspace, including models, scripts, data, and configuration. |
| Non-Destructive Revision Restore |
Restores previous workspace states by creating a new forward revision rather than deleting later history. |
| Git Integration |
Allows engineering workspaces to be managed as Git repositories and uses Git commits as intentional engineering checkpoints. |
| Shadow Git History |
Can represent fine-grained automatic Kotar revisions in a separate Git history and optionally persist that history remotely. |
| Git / Flexo Traceability |
Associates Git workspace commits with corresponding Flexo model commits, linking the complete engineering workspace to the authoritative model state. |
| Model Quality Gates |
Supports keeping incomplete engineering work in Git while promoting valid model states to Flexo based on model validity and quality criteria. |
| External Tool Compatibility |
Local workspace files can also be edited by external editors, Git clients, scripts, and other development tools. |
| Hosted and Desktop Deployment |
Available as a serverless hosted browser application and as a desktop/local deployment for environments with additional security or integration requirements. |