<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Semantically Coherent Business Architecture Models</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Integrating Capabilities</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Value Streams</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Business Objects</string-name>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Sefanja Severin</string-name>
          <email>sefanja.severin@ou.nl</email>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Ben Roelens</string-name>
          <email>ben.roelens@ou.nl</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Ella Roubtsova</string-name>
          <email>ella.roubtsova@ou.nl</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Tiago Prince Sales</string-name>
          <email>t.princesales@utwente.nl</email>
          <xref ref-type="aff" rid="aff4">4</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Ton van der Knaap</string-name>
          <email>ton.vanderknaap@stedin.net</email>
          <xref ref-type="aff" rid="aff3">3</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Stef Joosten</string-name>
          <email>stef.joosten@ou.nl</email>
          <xref ref-type="aff" rid="aff1">1</xref>
          <xref ref-type="aff" rid="aff2">2</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Ghent University</institution>
          ,
          <addr-line>Tweekerkenstraat 2, 9000, Ghent</addr-line>
          ,
          <country country="BE">Belgium</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Open Universiteit</institution>
          ,
          <addr-line>Valkenburgerweg 177, 6419 AT, Heerlen</addr-line>
          ,
          <country country="NL">The Netherlands</country>
        </aff>
        <aff id="aff2">
          <label>2</label>
          <institution>Ordina</institution>
          ,
          <addr-line>Ringwade 1, 3439 LM, Nieuwegein</addr-line>
          ,
          <country country="NL">The Netherlands</country>
        </aff>
        <aff id="aff3">
          <label>3</label>
          <institution>Stedin Groep</institution>
          ,
          <addr-line>Blaak 8, 3011 TA, Rotterdam</addr-line>
          ,
          <country country="NL">The Netherlands</country>
        </aff>
        <aff id="aff4">
          <label>4</label>
          <institution>University of Twente</institution>
          ,
          <addr-line>Drienerlolaan 5, 7522 NB Enschede</addr-line>
          ,
          <country country="NL">The Netherlands</country>
        </aff>
      </contrib-group>
      <pub-date>
        <year>2026</year>
      </pub-date>
      <abstract>
        <p>In the face of increasing organizational complexity and continuous strategic change, business architecture models are expected to provide a coherent view of how strategy translates into value-creating activities. However, widely used frameworks such as TOGAF struggle to support this coherence as core elements such as capabilities, value streams, and business objects are modeled in isolation, with unclear semantics and weak structural alignment. We address this gap by developing a Capability-Object-Value Ontology (COVO) and a set of modeling constraints that enforce semantic coherence. Our approach, grounded in the Unified Foundational Ontology (UFO), establishes two core principles: (1) a semantically integrated triad of capabilities, value streams, and business objects, unified by a value commitment, and (2) recursive coherence, ensuring that the same rules apply at every level of granularity. This provides (1) a foundation for models that are semantically sound (2) at every level of detail, enabling architects to seamlessly and reliably zoom between diferent levels of abstraction. The ontology and modeling constraints are illustrated by comparing a model of common, unconstrained practices with a constraint-compliant model, and are further demonstrated by a real-world example from the Dutch energy sector.</p>
      </abstract>
      <kwd-group>
        <kwd>eol&gt;Enterprise modeling</kwd>
        <kwd>Business architecture</kwd>
        <kwd>Capability modeling</kwd>
        <kwd>Value streams</kwd>
        <kwd>Business objects</kwd>
        <kwd>OntoUML</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>
        In an era of continuous change, business architecture models are essential to provide a stable foundation
for an organization, with business capability models [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ] serving as a cornerstone of this approach. Their
strength comes from operating at the level of a reference architecture [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ], which is intended to provide
a common language for a shared understanding of the business, independent of its specific, evolving
implementation.
      </p>
      <p>
        However, this promise of a coherent business architecture language is often not fulfilled. A reference
architecture is only efective if its constituent parts are integrated, yet current approaches such as
TOGAF [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] treat core perspectives—notably capabilities, value streams, and business object models—in
isolation. This fragmentation breaks the common architecture language at its core, hindering the holistic
oversight needed to prevent inconsistencies.
      </p>
      <p>
        For example, if business architecture models do not explicitly show that diferent value stream stages
rely on the same capability, organizations miss opportunities to reuse existing resources, such as systems,
staf, or procedures, leading to redundant investments and inconsistent customer experiences. Likewise,
when capabilities are not clearly linked to the business objects they are meant to transform, it becomes
dificult to determine each capability’s value contribution and align responsibilities. This ambiguity
extends to the ownership of the data describing these objects, as accountability for data is naturally
connected to the capability responsible for transforming the object. In an era where data are a crucial
asset for business intelligence and AI, this lack of clarity directly undermines an organization’s ability
to govern data quality and capitalize on the value of its data assets. These issues weaken the foundation
for investment decisions and ultimately threaten organizational cohesion, underscoring the need for
coherent enterprise models that support strategic alignment and informed decision-making [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ].
      </p>
      <p>
        To restore the integrity of this architectural language, we argue that a coherent integration of these
perspectives is essential. Therefore, our contribution provides an ontological foundation and a set of
modeling constraints that enforce the coherence of a central architectural triad: a business capability
as the organization’s potential (how) to transform business objects (what) within a value stream that
defines the purpose of this transformation (why). Specifically, we develop the Capability-Object-Value
Ontology (COVO), based on the Unified Foundational Ontology (UFO) and formalized in OntoUML
[
        <xref ref-type="bibr" rid="ref5 ref6">5, 6</xref>
        ]. The accompanying constraints ensure that the business architecture models remain semantically
coherent across perspectives and granularity levels, thus laying a conceptual groundwork that supports
practical application in modeling languages such as ArchiMate [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]. We illustrate our contribution
by comparing the structural consequences of unconstrained versus constrained modeling and by a
real-world capability model from the Dutch energy sector (i.e., NBility model) that conforms to our
constraints.
      </p>
      <p>The remainder of this paper is structured as follows. We begin by discussing related work (Section
2) and outlining our methodological approach (Section 3). Subsequently, we present the ontological
analysis in Section 4, the resulting COVO ontology with its constraints in Section 5, and an illustrative
application in Section 6. We conclude with a discussion of implications and future work (Section 7).</p>
    </sec>
    <sec id="sec-2">
      <title>2. Related Work</title>
      <p>
        While capability models are widely used for strategic alignment [
        <xref ref-type="bibr" rid="ref1 ref8">1, 8</xref>
        ], mainstream frameworks like
TOGAF [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] and BIZBOK [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ] lack an explicit semantic basis for integrating them with value streams and
business objects. Recent formalization eforts, such as OMG’s Business Architecture Core Metamodel
[
        <xref ref-type="bibr" rid="ref10">10</xref>
        ], still lack a deep ontological foundation or the explicit constraints needed to enforce coherence.
      </p>
      <p>
        Ontological analysis using UFO [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ] ofers a path towards semantic clarity. Calhau et al. [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ] analyzed
the capability concept as a UFO disposition. Building on their work and insights on value from the
Common Ontology of Value and Risk (COVER) [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ], we introduce COVO to create a coherent model of
all three elements, thus addressing this gap.
      </p>
    </sec>
    <sec id="sec-3">
      <title>3. Methodology</title>
      <p>
        Our methodology consists of three sequential steps. First, we performed an ontological analysis to
clarify the semantics of business capabilities, value streams, and business objects. We used TOGAF
[
        <xref ref-type="bibr" rid="ref3">3</xref>
        ] as a pragmatic representation of mainstream practice, which we then refined and anchored using
foundational insights from UFO [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ], COVER [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ], and the work of Calhau et al. [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ]. Second, we
formalized these concepts in OntoUML [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ], resulting in COVO. Finally, we used COVO as a basis to
formulate modeling constraints. These constraints were formalized in the Ampersand rule language
[
        <xref ref-type="bibr" rid="ref13">13</xref>
        ], which allowed us to automatically verify their correctness and rigorously test their robustness by
attempting to construct invalid counterexample models. We then illustrated their practical utility in
two ways: first, through a comparative analysis of abstract models representing constrained versus
unconstrained practices, and second, through a real-world example using the NBility model [
        <xref ref-type="bibr" rid="ref14">14</xref>
        ].
      </p>
    </sec>
    <sec id="sec-4">
      <title>4. Ontological Analysis</title>
      <p>
        Our ontological analysis clarifies the semantics of the three core constructs (business object, business
capability, and value stream) by grounding them in UFO [
        <xref ref-type="bibr" rid="ref5 ref6">5, 6</xref>
        ].
      </p>
      <p>
        While our focus is on these three elements, the rigor of UFO forces us to ‘ground’ them by
establishing their existential dependencies. This grounding begins with a crucial insight into the nature
of the business object. Our analysis conceptualizes them as a UFO role mixin [
        <xref ref-type="bibr" rid="ref12 ref15">15, 12</xref>
        ]. Consider a
telecommunications provider that defines a Customer Product business object. The role aspect of this
concept emphasizes that a classification is context-dependent. The classification of a smartphone as
a Customer Product is not intrinsic; it only acquires this specific role when the organization assigns
it to fulfill a commitment to a customer. Within the warehouse, the same physical object may play a
diferent role, such as Inventory Item.
      </p>
      <p>This insight has a profound consequence. In UFO, a role cannot exist in isolation; it requires a context.
Our analysis revealed that this context is provided by a value commitment of the organization to a
stakeholder. Without this commitment, there is no foundation for defining relevant business objects or
purposeful capabilities.</p>
      <p>The mixin aspect signifies that the role can be played by entities of fundamentally diferent kinds.
For example, the provider may make distinct value commitments to supply a physical smartphone (a
physical good) and to provide a telephony plan (a service). Despite their diferent ontological nature, the
organization may treat both as instances of the Customer Product role. The UFO role mixin provides
the formal mechanism to unify these disparate entities under a single business-relevant concept.</p>
      <p>
        This commitment-centric view allows us to precisely define the fulfillment mechanism. A business
capability is the organization’s reusable potential (a UFO disposition [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ]) to transform business
objects in order to fulfill a value commitment. It represents a deliberate grouping of potential behaviors
that the organization chooses to manage as a single, reusable unit. The value stream, in turn, is the
manifestation of this capability in action (a perdurant [
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]) enacting this transformation to realize the
promised value.
      </p>
      <p>This reusability is the core power of a capability. For example, a provider may define a single capability
to Manage Warehouse &amp; Stock. This unit of potential can be manifested as the delivery of smartphones
to customers, as part of one value stream, while simultaneously being enacted to provide technical
equipment for its network infrastructure, as part of another. By managing this potential as a single,
reusable unit, the organization creates opportunities for synergy and eficiency across these distinct
value streams, all while fulfilling diferent commitments.</p>
      <p>For efective governance, actual behavior (the value stream) must be unambiguously traceable to
this potential (the capabilities) to enable learning and improvement. The many-to-many mappings
between these elements, as common in practice, obscure this traceability and hinder accountability.
To resolve this, we posit that each value stream stage is driven by one primary capability. This is
the capability directly responsible for achieving the object transformation defined by the stage’s goal
(its “exit criteria” in TOGAF terms [16, p. 6]), while other capabilities may act in supporting roles.
This principle, combined with treating value streams and stages as the same ontological type (a view
consistent with ArchiMate [7, p. 53]), enables a recursive decomposition where accountability remains
clear at every level of detail.</p>
      <p>Together, these concepts form a coherent triad at the core of business architecture. A value
commitment is the promise to a stakeholder to transform a business object. The business capability is the
reusable potential to honor that promise. Finally, the value stream is the concrete enactment that
satisfies the commitment. Their relationships are not only a matter of convention but of ontological
precision: the promise to transform an object requires the potential to do so, which is then realized in
action.</p>
    </sec>
    <sec id="sec-5">
      <title>5. Ontology and Modeling Constraints</title>
      <p>Section 5.1 presents the COVO ontology, formalized in OntoUML, which builds on the ontological
analysis in Section 4 and forms the foundation for the modeling constraints in Section 5.2.</p>
      <p>The ontology is anchored in the Organization, modeled as a &lt;&lt;kind&gt;&gt;, which serves as the bearer of
capabilities. The Business Capability is modeled as a &lt;&lt;mode&gt;&gt;, the OntoUML stereotype for intrinsic
properties such as UFO dispositions, formally capturing its nature as the organization’s persistent
and reusable potential. Its actual manifestation is the Value Stream, an &lt;&lt;event&gt;&gt; (a perdurant
in UFO), which is driven by exactly one primary capability to ensure unambiguous traceability from
action back to potential.</p>
      <p>The Business Object (&lt;&lt;roleMixin&gt;&gt;) represents a real-world entity playing a specific role defined
by the context of a Value Commitment. This commitment is modeled as a &lt;&lt;relator&gt;&gt; that formally
mediates the socio-economic promise between the Organization and a Stakeholder. This promise can
be to create or enhance an object with positive value, or to mitigate one with negative value (a risk),
reflecting the specific concerns of the stakeholder.</p>
      <p>
        Finally, the ontology structures these core elements through three parallel hierarchical relations: has
subcapability, has stage, and has subdomain. These relations are not mere refinements but are governed
by specific design principles to enable the recursive refinement discussed earlier. For capabilities, we
adopt a teleological refinement inspired by KAOS goal modeling [
        <xref ref-type="bibr" rid="ref17">17</xref>
        ]. In this view, a subcapability is
not just a part, but a means to achieve the purpose of its parent capability. Furthermore, we define these
hierarchical refinements to be mutually exclusive and collectively exhaustive (MECE) [
        <xref ref-type="bibr" rid="ref18">18</xref>
        ], ensuring
that refinements are complete and non-overlapping. This structural discipline is what guarantees that
model semantics remain consistent when zooming across diferent levels of granularity.
      </p>
      <p>In summary, this logic can be captured in one integrative sentence: An Organization has a Value
Commitment to its Stakeholders to manifest its Business Capabilities through Value Streams in order
to transform Business Objects, thereby realizing its Value Proposition.</p>
      <sec id="sec-5-1">
        <title>5.2. Modeling Constraints for Semantic Coherence</title>
        <p>The COVO ontology provides a conceptual foundation for coherent business architecture models. To
translate this foundation into actionable model guidance, we introduce a set of formal constraints. This
list provides a self-contained specification of all constraints. It formalizes and extends the structural
rules visible in Figure 1. These constraints serve as principles to ensure coherence, traceability, and
governability as business architecture models are refined, acting as the specification for possible
implementation in modeling languages such as ArchiMate. Some constraints are also formalized in
ifrst-order logic (FOL), where this adds precision or supports formal verification beyond what is evident
from natural language.</p>
        <p>The constraints are organized into two sets. The first governs the hierarchical refinement within
each perspective, and the second ensures the alignment between them.</p>
        <sec id="sec-5-1-1">
          <title>Constraints for Consistent Zooming</title>
          <p>This first set of constraints (C1–5) governs the hierarchical structures that enable consistent zooming
across diferent levels of granularity. We refer to elements in these hierarchies as parents, children, and
ancestors.</p>
          <p>• C1. Unique parent: Each element has at most one parent. Rationale: This ensures a single,
unambiguous position for every element in the hierarchy.
• C2. Acyclicity: An element cannot be its own ancestor. Rationale: This prevents ill-defined,
circular refinement structures.
• C3. Consistent refinement depth: All leaf elements (elements without children) must have the
same number of ancestors. Rationale: This prevents incomplete levels of detail, which create both
structural gaps and semantic ambiguity. An unbalanced model leaves the meaning of its most
detailed elements unclear, as their defining peer group is incomplete.
• C4. Upward coherence: A non-hierarchical relationship between two elements requires a
corresponding relationship between their parents (if any), provided the parents are distinct. Exception:
The relationship does not need to be propagated if the parent elements are both primary
capabilities within the same top-level value stream. Rationale: This ensures that low-level relationships
are reflected at higher levels of abstraction. The exception allows lower-level support relations
to remain implicit at higher levels. This aligns with the principle that value streams represent
simplified views of value creation rather than detailed process models [ 16, p. 7]. In FOL (for
the transforms relationship): ∀, , , .hasSubdomain(, ) ∧ hasSubcapability(, ) ∧
transforms(, ) → transforms(, ).
• C5. Downward coherence: A relationship between two parent elements requires that at least
one pair of their respective children (if any) is also related. Rationale: This ensures that high-level
relationships are grounded in more detailed, concrete relations.</p>
          <p>Together, constraints C4 and C5 implicitly enforce a crucial principle: non-hierarchical relationships
— the subject of the next set of constraints — may only occur between elements at the same granularity
level. This prevents semantically incoherent configurations, such as directly linking a fine-grained
capability (e.g., Manage Customer Location) to a coarse-grained object (e.g., Customer instead of Customer
Location).</p>
        </sec>
        <sec id="sec-5-1-2">
          <title>Constraints for Cross-Perspective Alignment</title>
          <p>The second set (C6–10) ensures that the three perspectives remain aligned, forming the coherent triad
established in our analysis.</p>
          <p>• C6. Capability impact: Each business capability must transform exactly one business object.</p>
          <p>Exception: At the leaf-level, a business capability may transform multiple objects. Rationale:
This ensures that every capability has a well-defined, non-overlapping impact on value creation.
The exception prevents artificial fragmentation of what the business considers a single cohesive
capability. It applies when a capability transforms multiple distinct business objects, each of
which is justified by its role in triggering a diferent downstream process.
• C7. Object relevance: Each business object must be transformed by exactly one business
capability. Exception: At the leaf-level, an object may be transformed by multiple capabilities.
Rationale: This ensures clear relevancy and accountability for the object in value-creating activities.
The exception prioritizes the conceptual stability of business objects as recognized by stakeholders.
It avoids the need to decompose a familiar business object into numerous, fine-grained lifecycle
states (e.g., Submitted Order, Validated Order), which would compromise the model’s readability.
• C8. Capability purpose: Each business capability must either manifest as a primary capability
in a value stream or support another capability that does. Rationale: This guarantees that all
potential is ultimately linked to a value-creating purpose. In FOL: ∀.∃′, .supports* (, ′) ∧
isPrimaryCapabilityOf(′, ).
• C9. Traceability: Each value stream must manifest exactly one primary business capability.
Rationale: This constraint ensures traceability and governability. It establishes a clear, unambiguous
link from value-creating action back to the accountable capability.
• C10. Exclusive manifestation: Each capability may manifest only once per top-level value
stream as a primary capability. Exception: This constraint does not apply at the leaf-level. Rationale:
This prevents a granularity mismatch between value streams and business capabilities. The
exception at the leaf-level avoids the artificial discrimination between near-identical capabilities.</p>
          <p>The leaf-level exceptions in rules C6, C7, and C10 should only be applied in exceptional cases and
when justified.</p>
        </sec>
      </sec>
    </sec>
    <sec id="sec-6">
      <title>6. Illustrative Application</title>
      <p>This section demonstrates the practical impact of our constraint-based approach. We first use the
abstract models in Figure 2 to compare the structural consequences of unconstrained versus constrained
modeling. We then illustrate our constraints in a real-world context using a fragment from the NBility
model in Figure 3.</p>
      <sec id="sec-6-1">
        <title>6.1. Semantic Incoherence in Unconstrained Models</title>
        <p>The top model in Figure 2 is a stylized representation of common, unconstrained practices based on
BIZBOK and TOGAF. The bottom model illustrates our proposed, constrained approach. Because the
constrained model respects granularity levels, its relationships can be conveyed through clean visual
alignment and nesting (in addition to explicit support links). However, the unconstrained model requires
connecting lines because its relationships arbitrarily cross these levels.</p>
        <p>Although frameworks such as TOGAF and BIZBOK encourage hierarchical structures and relating
perspectives, the top model in Figure 2 reveals how the lack of formal constraints leads to semantic
incoherence. For example:
• Value stream stage V2 is ambiguously linked to three capabilities, violating Traceability (C9) and
obscuring accountability.
• A detailed capability (C1.2.1) maps directly to a high-level object (O1.1), violating Upward and
downward coherence (C4 &amp; C5).</p>
        <p>• The perspectives are refined to diferent depths, violating Consistent refinement depth (C3).</p>
        <p>The resulting model is semantically incoherent, failing to provide the reliable foundation required
for architectural analysis.</p>
      </sec>
      <sec id="sec-6-2">
        <title>6.2. Semantic Coherence Through Constraints: The NBility Model</title>
        <p>The constrained model in Figure 2 avoids these issues. Its clarity stems from two core principles
embedded in our approach.</p>
        <p>
          First, a semantically integrated triad. Unlike mainstream approaches that treat perspectives
in isolation, our model is built on the logically necessary relationship between a business object, a
capability, and a value stream, which are modeled as a coherent triad to fulfill a value commitment.
Figure 3 illustrates this principle within a fragment of the real-world NBility model [
          <xref ref-type="bibr" rid="ref14">14</xref>
          ]. The figure’s
top diagrams present NBility’s level 1 and 2 core capabilities and objects as hierarchical refinements,
while the bottom diagram rearranges these same elements into one of NBility’s value streams. The
value stream Install and change connections is not merely mapped to capabilities; it is the concrete
manifestation of them, transforming specific business objects to fulfill a clear purpose. For example, the
stage Integrate connection into energy grid is a specific manifestation of the capability to Expand, replace
and renew energy grids. This capability transforms the Energy grid to a desired state (‘expanded with
connection’, not visualized), directly contributing to the value stream’s proposition. This integration
provides a holistic and unambiguous view of how value is created.
        </p>
        <p>Second, recursive coherence across granularity levels. Our constraints, particularly C4 and C5,
enforce a ‘fractal-like’ structure. As demonstrated in Figure 2, this ensures that the abstract model at
Level 1 is fully and formally derivable from the refined model at Level 2. This principle guarantees that
the semantic integrity of the triad holds true at every level of detail, enabling architects to seamlessly
and reliably zoom between diferent levels of abstraction.</p>
      </sec>
    </sec>
    <sec id="sec-7">
      <title>7. Discussion and Conclusion</title>
      <p>
        This paper addressed the critical issue of semantic incoherence in business architecture modeling. As
we have argued in earlier work [
        <xref ref-type="bibr" rid="ref19">19</xref>
        ], frameworks like TOGAF and BIZBOK promote well-intentioned
modeling principles, but their lack of formal constraints often leads to models that are structurally
inconsistent and semantically ambiguous.
      </p>
      <p>
        Our primary contribution is a formal, constraint-based modeling approach that enforces semantic
coherence. Building on UFO [
        <xref ref-type="bibr" rid="ref5 ref6">5, 6</xref>
        ] and COVER [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ], we established two core principles: (1) a semantically
integrated triad, and (2) recursive coherence across granularity levels. A key aspect of this contribution
is the shift from an IT-centric to a business-centric perspective. In contrast to traditional enterprise
data models (EDMs) [20, p. 105], which often lack guidance for defining business-relevant entities,
our approach explicitly links each object to value streams and capabilities, thus clarifying why it
matters for value creation. This provides a crucial advantage over traditional EDMs. Although EDMs
define data entities, they often leave the business context and ownership ambiguous. Our approach
makes this context explicit: by inextricably linking each business object to the transforming capability,
we establish clear ownership of the corresponding data. This solves a fundamental challenge for
data-driven organizations by providing a solid foundation for data governance, thereby creating a
critical prerequisite for achieving the data quality required for AI applications and enabling strategic
management of data as a valuable asset. Although constraint-based modeling may seem restrictive, in
practice it provides guidance and clarity.
      </p>
      <p>Our approach has several limitations. First, the evaluation in this paper is only illustrative. Second,
manually applying the constraints is labor intensive and error-prone, requiring dedicated tool support
to be efective in practice. Third, the generalizability of our approach beyond the energy sector requires
further investigation. On a more fundamental level, our approach ensures the semantic coherence of a
model, but does not yet help to select the right value streams that correspond to the value propositions
chosen in the business model [21].</p>
      <p>
        To tackle these limitations, future work should focus on bridging the gap between our conceptual
foundation and modeling practice. A crucial first step is to translate the COVO ontology and its
constraints into widely adopted languages such as ArchiMate [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ]. Building on that translation, tool
support can be developed to automate constraint validation, for which technologies like Ampersand
[
        <xref ref-type="bibr" rid="ref13">13</xref>
        ] are promising. A complementary and high-impact avenue is the development of practical modeling
aids. Research into guided patterns, in particular, could bridge the gap between formal coherence and
strategic alignment, helping practitioners create business architectures that are not only internally
consistent, but also genuinely aligned with the value propositions of the business model.
      </p>
      <p>With these practical implementations in place, the benefits need to be empirically validated. This calls
for case studies to assess whether our approach yields a higher return on modeling efort [ 22], which is
achieving significantly improved model quality relative to the efort invested. Such a validation could
also explore the added value of semantic rigor in automated settings by comparing the quality of models
generated by Large Language Models (LLMs) with and without our constraints; recent benchmarking
work provides a useful context for such experiments [23]. Ultimately, this research path can pave the
way for the creation of business architecture models that provide the clarity and semantic coherence
required for rapidly evolving and structually complex enterprises.</p>
    </sec>
    <sec id="sec-8">
      <title>Declaration on Generative AI</title>
      <p>During the preparation of this work, the authors used Gemini in order to: Improve writing style,
Paraphrase and reword. After using these tools, the authors reviewed and edited the content as needed
and take full responsibility for the publication’s content.
enterprise data models, in: International Symposium on Business Modeling and Software Design,
Springer, 2024, pp. 48–64. doi:10.1007/978-3-031-64073-5_4.
[20] Dama International, DAMA-DMBOK: Data management body of knowledge, Technics Publications,</p>
      <p>LLC, 2017.
[21] A. Osterwalder, Y. Pigneur, Business model generation: a handbook for visionaries, game changers,
and challengers, John Wiley &amp; Sons, 2010.
[22] H. A. Proper, G. Guizzardi, Modeling for enterprises;: Let’s go to rome via rime, in: 15th IFIP
WG 8.1 Working Conference on the Practice of Enterprise Modelling, PoEM 2022, CEUR, 2022, pp.
4–15.
[23] I. Samarasekara, M. Bandara, F. Rabhi, B. Benatallah, Benchmarking llms for business architecture
modelling with hierarchical capability maps, in: International Conference on Advanced
Information Systems Engineering, Springer, 2025, pp. 37–53. doi:10.1007/978-3-031-94569-4_3.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          [1]
          <string-name>
            <given-names>P.</given-names>
            <surname>Aleatrati Khosroshahi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Hauder</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Volkert</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Matthes</surname>
          </string-name>
          ,
          <string-name>
            <given-names>M.</given-names>
            <surname>Gernegroß</surname>
          </string-name>
          ,
          <article-title>Business capability maps: Current practices and use cases for enterprise architecture management</article-title>
          ,
          <source>Proceedings of the 51st Hawaii International Conference on System Sciences</source>
          <volume>51</volume>
          (
          <year>2018</year>
          )
          <fpage>4603</fpage>
          -
          <lpage>4612</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          [2]
          <string-name>
            <given-names>R.</given-names>
            <surname>Cloutier</surname>
          </string-name>
          ,
          <string-name>
            <given-names>G.</given-names>
            <surname>Muller</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Verma</surname>
          </string-name>
          ,
          <string-name>
            <given-names>R.</given-names>
            <surname>Nilchiani</surname>
          </string-name>
          , E. Hole,
          <string-name>
            <given-names>M.</given-names>
            <surname>Bone</surname>
          </string-name>
          ,
          <article-title>The concept of reference architectures</article-title>
          ,
          <source>Systems Engineering</source>
          <volume>13</volume>
          (
          <year>2010</year>
          )
          <fpage>14</fpage>
          -
          <lpage>27</lpage>
          . doi:
          <volume>10</volume>
          .1002/sys.20129.
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          [3] The Open Group,
          <source>Togaf® standard, 10th edition</source>
          ,
          <year>2022</year>
          . URL: https://publications.opengroup.org/c 220.
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>U.</given-names>
            <surname>Frank</surname>
          </string-name>
          <article-title>, Multi-perspective enterprise modeling: foundational concepts, prospects and future research challenges</article-title>
          ,
          <source>Software &amp; Systems Modeling</source>
          <volume>13</volume>
          (
          <year>2014</year>
          )
          <fpage>941</fpage>
          -
          <lpage>962</lpage>
          . doi:
          <volume>10</volume>
          .1007/s10270-0
          <fpage>12</fpage>
          -
          <lpage>0273</lpage>
          -9.
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>G.</given-names>
            <surname>Guizzardi</surname>
          </string-name>
          ,
          <article-title>Ontological foundations for structural conceptual models</article-title>
          ,
          <year>2005</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>G.</given-names>
            <surname>Guizzardi</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A. Botti</given-names>
            <surname>Benevides</surname>
          </string-name>
          ,
          <string-name>
            <given-names>C. M.</given-names>
            <surname>Fonseca</surname>
          </string-name>
          ,
          <string-name>
            <given-names>D.</given-names>
            <surname>Porello</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J. P. A.</given-names>
            <surname>Almeida</surname>
          </string-name>
          ,
          <string-name>
            <given-names>T.</given-names>
            <surname>Prince</surname>
          </string-name>
          <string-name>
            <surname>Sales</surname>
          </string-name>
          , Ufo: Unified foundational ontology,
          <source>Applied ontology 17</source>
          (
          <year>2022</year>
          )
          <fpage>167</fpage>
          -
          <lpage>210</lpage>
          . doi:
          <volume>10</volume>
          .3233/AO-210256.
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [7] The Open Group,
          <source>Archimate 3.2</source>
          ,
          <year>2022</year>
          . URL: https://publications.opengroup.org/c226.
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [8]
          <string-name>
            <given-names>S.</given-names>
            <surname>Kotusev</surname>
          </string-name>
          ,
          <string-name>
            <given-names>A.</given-names>
            <surname>Alwadain</surname>
          </string-name>
          ,
          <article-title>Modeling business capabilities in enterprise architecture practice: the case of business capability models</article-title>
          ,
          <source>Information Systems Management</source>
          <volume>41</volume>
          (
          <year>2024</year>
          )
          <fpage>201</fpage>
          -
          <lpage>223</lpage>
          . doi:
          <volume>10</volume>
          .1080/10580530.
          <year>2023</year>
          .
          <volume>2231635</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [9]
          <string-name>
            <given-names>Business</given-names>
            <surname>Architecture Guild</surname>
          </string-name>
          ,
          <article-title>A guide to the business architecture body of knowledge</article-title>
          ,
          <source>version 14.0</source>
          ,
          <year>2025</year>
          . URL: https://www.businessarchitectureguild.org/page/BIZBOK.
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          [10]
          <string-name>
            <given-names>Object</given-names>
            <surname>Management</surname>
          </string-name>
          <article-title>Group (OMG), Business architecture core metamodel (bacm) version 1</article-title>
          .0,
          <year>2024</year>
          . URL: https://www.omg.org/spec/BACM/1.0.
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          [11]
          <string-name>
            <given-names>R. F.</given-names>
            <surname>Calhau</surname>
          </string-name>
          ,
          <string-name>
            <given-names>J. P. A.</given-names>
            <surname>Almeida</surname>
          </string-name>
          , G. Guizzardi,
          <article-title>Ontological analysis of advanced capability modeling in archimate: A first step towards language revision</article-title>
          , in: International Conference on Enterprise Design, Operations, and Computing, Springer,
          <year>2024</year>
          , pp.
          <fpage>82</fpage>
          -
          <lpage>100</lpage>
          . doi:
          <volume>10</volume>
          .1007/978-3-
          <fpage>031</fpage>
          -790
          <fpage>59</fpage>
          -
          <lpage>1</lpage>
          _
          <fpage>6</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          [12]
          <string-name>
            <given-names>T. P.</given-names>
            <surname>Sales</surname>
          </string-name>
          ,
          <string-name>
            <given-names>F.</given-names>
            <surname>Baião</surname>
          </string-name>
          , G. Guizzardi,
          <string-name>
            <given-names>J. P. A.</given-names>
            <surname>Almeida</surname>
          </string-name>
          ,
          <string-name>
            <given-names>N.</given-names>
            <surname>Guarino</surname>
          </string-name>
          ,
          <string-name>
            <surname>J. Mylopoulos,</surname>
          </string-name>
          <article-title>The common ontology of value and risk</article-title>
          , in: Conceptual Modeling: 37th International Conference, ER 2018,
          <article-title>Xi'an, China</article-title>
          ,
          <source>October 22-25</source>
          ,
          <year>2018</year>
          , Proceedings 37, Springer,
          <year>2018</year>
          , pp.
          <fpage>121</fpage>
          -
          <lpage>135</lpage>
          . doi:
          <volume>10</volume>
          .1007/97 8-
          <fpage>3</fpage>
          -
          <fpage>030</fpage>
          -00847-5_
          <fpage>11</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref13">
        <mixed-citation>
          [13]
          <string-name>
            <given-names>S.</given-names>
            <surname>Joosten</surname>
          </string-name>
          , E. Roubtsova,
          <article-title>Enterprise modeling with conventions</article-title>
          ,
          <source>in: International Symposium on Business Modeling and Software Design</source>
          , Springer,
          <year>2023</year>
          , pp.
          <fpage>56</fpage>
          -
          <lpage>73</lpage>
          . doi:
          <volume>10</volume>
          .1007/978-3-031-3
          <fpage>6757</fpage>
          -
          <lpage>1</lpage>
          _
          <fpage>4</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref14">
        <mixed-citation>
          [14]
          <string-name>
            <surname>Netbheer</surname>
            <given-names>Nederland</given-names>
          </string-name>
          , Nbility model,
          <year>2025</year>
          . URL: https://nbility-model.github.io/.
        </mixed-citation>
      </ref>
      <ref id="ref15">
        <mixed-citation>
          [15]
          <string-name>
            <given-names>N.</given-names>
            <surname>Guarino</surname>
          </string-name>
          ,
          <article-title>On the semantics of ongoing and future occurrence identifiers</article-title>
          , in: Conceptual Modeling: 36th International Conference, ER 2017, Valencia, Spain, November 6-
          <issue>9</issue>
          ,
          <year>2017</year>
          , Proceedings 36, Springer,
          <year>2017</year>
          , pp.
          <fpage>477</fpage>
          -
          <lpage>490</lpage>
          . doi:
          <volume>10</volume>
          .1007/978-3-
          <fpage>319</fpage>
          -69904-2_
          <fpage>36</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref16">
        <mixed-citation>
          [16] The Open Group, Togaf® series guide: Value streams,
          <year>2022</year>
          . URL: https://publications.opengroup.
          <source>o rg/g178.</source>
        </mixed-citation>
      </ref>
      <ref id="ref17">
        <mixed-citation>
          [17]
          <string-name>
            <given-names>A. v.</given-names>
            <surname>Lamsweerde</surname>
          </string-name>
          ,
          <article-title>Requirements engineering: from system goals to UML models to software specifications</article-title>
          , John Wiley &amp; Sons, Ltd,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref18">
        <mixed-citation>
          [18]
          <string-name>
            <given-names>B.</given-names>
            <surname>Minto</surname>
          </string-name>
          ,
          <article-title>The pyramid principle: logic in writing and thinking</article-title>
          , Pearson Education, Harlow,
          <year>2009</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref19">
        <mixed-citation>
          [19]
          <string-name>
            <given-names>S.</given-names>
            <surname>Severin</surname>
          </string-name>
          ,
          <string-name>
            <given-names>E.</given-names>
            <surname>Roubtsova</surname>
          </string-name>
          ,
          <string-name>
            <given-names>B.</given-names>
            <surname>Roelens</surname>
          </string-name>
          ,
          <string-name>
            <given-names>S.</given-names>
            <surname>Joosten</surname>
          </string-name>
          ,
          <article-title>A method to align business capability maps and</article-title>
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>