The Case for Neurosymbolic Systems Engineering
Formal modeling in systems engineering was never held back by doubt about whether it works. Capture a system in a...
Syntax Is the Easy Half
Ask a general-purpose assistant for a Python function and you get code shaped by millions of examples of how Python...
The Semantic Web and MBSE Are Solving the Same Problem
Two communities have spent the better part of two decades building machinery for the same job: describing a domain precisely...
Towards an Ontological Implementation of UAF, Part 6: What It Adds Up To
Across this series we read the OMG’s Unified Architecture Framework (UAF) in light of its own objectives, rendering it as...
Towards an Ontological Implementation of UAF, Part 5: Keeping the Profile and the Metamodel Aligned
This series reads the OMG’s Unified Architecture Framework (UAF) in light of its own objectives, using an ontology, built with...
Towards an Ontological Implementation of UAF, Part 4: Keeping a Large Specification Consistent
This series reads the OMG’s Unified Architecture Framework (UAF) in light of its own objectives, using an ontology, built with...
Towards an Ontological Implementation of UAF, Part 3: Views Without Queries
This series reads the OMG’s Unified Architecture Framework (UAF) in light of its own stated goals, using an ontology, built...
Towards an Ontological Implementation of UAF, Part 2: How Far Platform Independence Reaches
This series reads the OMG’s Unified Architecture Framework (UAF) in light of the objectives it sets for itself, using an...
Towards an Ontological Implementation of UAF, Part 1: UAF Was Built for This
There is a technique the systems-engineering world still underuses: rendering a specification as an ontology, not merely to implement it,...
What the Reasoner Knows That You Did Not Write Down
Every model says more than it states. The interesting question in model-based systems engineering (MBSE) is not what you wrote...
From Hand-Crafted Timelines to Provable Goals: Verifying ConOps with Knowledge Graphs and Formal Methods
At INCOSE IS 2026 in Yokohama, JAXA presented a methodology for verifying the concept of operations of a space mission...
From Weeks to Hours: Automating Power Balance Analysis in Early Mission Design
Early space mission design is a race against the clock. A mission study brings multidisciplinary engineers together to explore concepts...
The Power of a Reasoner: Validating SysML Models Automatically
A SysML modeling tool will dutifully tell you when your model is malformed. What it will not tell you is...
Why OML and Not Just OWL?
It helps to separate two concerns that often get conflated: semantic interoperability and ontological modeling.
