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...
Upper Ontologies: Inherit or Instantiate?
Every serious modeling effort eventually adopts an upper ontology: a small, foundational vocabulary of top-level classes that domain ontologies build...
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.
