Formal Foundations for Enterprise Ontology: Ontologically Grounded Enterprise Information Systems

Edwin de Haan

doi:10.1007/978-3-032-16234-2_18

Formal Foundations for Enterprise Ontology: Ontologically Grounded Enterprise Information Systems

Edwin de Haan^*

^*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

1 Downloads (Pure)

Abstract

Critical misalignments between ontological enterprise models and their implementations persist, causing behavioural inconsistencies and traceability gaps. To address this misalignment issue, the doctoral research presented in this paper develops a formal framework that refines ontological enterprise models into implementations with verifiable adherence to ontological constraints. The framework combines The framework combines (1) an ontological enterprise model, (2) its formally defined enterprise ontology, and (3) Correctness-by-Construction refinement. The framework, grounded in annotated first-order logic, is designed to ensure traceable correctness from an ontological enterprise model to an implementation. The anticipated results of the research are reduced implementation deficits and improved expertise amongst Enterprise Ontology practitioners through error-free refinements and enabling formal reasoning. Additionally, a formalised ontology is expected to strengthen model-driven development of Enterprise Ontology based information systems.

Original language	English
Title of host publication	Enterprise Design, Operations, and Computing. EDOC 2025 Workshops
Subtitle of host publication	Forum, Doctoral Consortium, EA4AI, iRESEARCH, SoEA4EE, Tool Presentations, Revised Selected Papers
Editors	Miguel Mira da Silva, Andrey Rivkin, José Borbinha, Jelena Zdravkovic, José Barateiro
Publisher	Springer Verlag
Pages	232-240
Number of pages	9
ISBN (Electronic)	978-3-032-16234-2
ISBN (Print)	9783032162335
DOIs	https://doi.org/10.1007/978-3-032-16234-2_18
Publication status	Published - 1 Jan 2026
Event	29th International Workshop on Enterprise Design, Operations, and Computing, EDOC 2025 - Lisbon, Portugal Duration: 9 Sept 2025 → 12 Sept 2025 https://cbi-edoc-2025.inesc-id.pt/

Publication series

Series	Lecture Notes in Business Information Processing
Volume	571
ISSN	1865-1348

Conference

Conference	29th International Workshop on Enterprise Design, Operations, and Computing, EDOC 2025
Abbreviated title	EDOC 2025
Country/Territory	Portugal
City	Lisbon
Period	9/09/25 → 12/09/25
Internet address	https://cbi-edoc-2025.inesc-id.pt/

Keywords

Correctness-by-Construction
Enterprise Engineering
Enterprise Ontology

Access to Document

10.1007/978-3-032-16234-2_18

Embargoed Document

Full Text
Final published version, 812 KB
Embargo ends: 01/11/2026 00:00 CET
Request copy

Cite this

de Haan, E. (2026). Formal Foundations for Enterprise Ontology: Ontologically Grounded Enterprise Information Systems. In M. Mira da Silva, A. Rivkin, J. Borbinha, J. Zdravkovic, & J. Barateiro (Eds.), Enterprise Design, Operations, and Computing. EDOC 2025 Workshops : Forum, Doctoral Consortium, EA4AI, iRESEARCH, SoEA4EE, Tool Presentations, Revised Selected Papers (pp. 232-240). Springer Verlag. https://doi.org/10.1007/978-3-032-16234-2_18

de Haan, Edwin. / Formal Foundations for Enterprise Ontology : Ontologically Grounded Enterprise Information Systems. Enterprise Design, Operations, and Computing. EDOC 2025 Workshops : Forum, Doctoral Consortium, EA4AI, iRESEARCH, SoEA4EE, Tool Presentations, Revised Selected Papers. editor / Miguel Mira da Silva ; Andrey Rivkin ; José Borbinha ; Jelena Zdravkovic ; José Barateiro. Springer Verlag, 2026. pp. 232-240 (Lecture Notes in Business Information Processing, Vol. 571).

@inproceedings{4fd302e21e6c4c4a9dded30d8845ad29,

title = "Formal Foundations for Enterprise Ontology: Ontologically Grounded Enterprise Information Systems",

abstract = "Critical misalignments between ontological enterprise models and their implementations persist, causing behavioural inconsistencies and traceability gaps. To address this misalignment issue, the doctoral research presented in this paper develops a formal framework that refines ontological enterprise models into implementations with verifiable adherence to ontological constraints. The framework combines The framework combines (1) an ontological enterprise model, (2) its formally defined enterprise ontology, and (3) Correctness-by-Construction refinement. The framework, grounded in annotated first-order logic, is designed to ensure traceable correctness from an ontological enterprise model to an implementation. The anticipated results of the research are reduced implementation deficits and improved expertise amongst Enterprise Ontology practitioners through error-free refinements and enabling formal reasoning. Additionally, a formalised ontology is expected to strengthen model-driven development of Enterprise Ontology based information systems.",

keywords = "Correctness-by-Construction, Enterprise Engineering, Enterprise Ontology",

author = "\{de Haan\}, Edwin",

note = "data:; 29th International Workshop on Enterprise Design, Operations, and Computing, EDOC 2025, EDOC 2025 ; Conference date: 09-09-2025 Through 12-09-2025",

year = "2026",

month = jan,

day = "1",

doi = "10.1007/978-3-032-16234-2\_18",

language = "English",

isbn = "9783032162335",

series = "Lecture Notes in Business Information Processing",

publisher = "Springer Verlag",

pages = "232--240",

editor = "\{Mira da Silva\}, Miguel and Andrey Rivkin and Jos{\'e} Borbinha and Jelena Zdravkovic and Jos{\'e} Barateiro",

booktitle = "Enterprise Design, Operations, and Computing. EDOC 2025 Workshops",

address = "Germany",

url = "https://cbi-edoc-2025.inesc-id.pt/",

}

de Haan, E 2026, Formal Foundations for Enterprise Ontology: Ontologically Grounded Enterprise Information Systems. in M Mira da Silva, A Rivkin, J Borbinha, J Zdravkovic & J Barateiro (eds), Enterprise Design, Operations, and Computing. EDOC 2025 Workshops : Forum, Doctoral Consortium, EA4AI, iRESEARCH, SoEA4EE, Tool Presentations, Revised Selected Papers. Springer Verlag, Lecture Notes in Business Information Processing, vol. 571, pp. 232-240, 29th International Workshop on Enterprise Design, Operations, and Computing, EDOC 2025, Lisbon, Portugal, 9/09/25. https://doi.org/10.1007/978-3-032-16234-2_18

Formal Foundations for Enterprise Ontology: Ontologically Grounded Enterprise Information Systems. / de Haan, Edwin.
Enterprise Design, Operations, and Computing. EDOC 2025 Workshops : Forum, Doctoral Consortium, EA4AI, iRESEARCH, SoEA4EE, Tool Presentations, Revised Selected Papers. ed. / Miguel Mira da Silva; Andrey Rivkin; José Borbinha; Jelena Zdravkovic; José Barateiro. Springer Verlag, 2026. p. 232-240 (Lecture Notes in Business Information Processing, Vol. 571).

Research output: Chapter in Book/Report/Conference proceeding › Conference article in proceeding › Academic › peer-review

TY - GEN

T1 - Formal Foundations for Enterprise Ontology

T2 - 29th International Workshop on Enterprise Design, Operations, and Computing, EDOC 2025

AU - de Haan, Edwin

N1 - data:

PY - 2026/1/1

Y1 - 2026/1/1

N2 - Critical misalignments between ontological enterprise models and their implementations persist, causing behavioural inconsistencies and traceability gaps. To address this misalignment issue, the doctoral research presented in this paper develops a formal framework that refines ontological enterprise models into implementations with verifiable adherence to ontological constraints. The framework combines The framework combines (1) an ontological enterprise model, (2) its formally defined enterprise ontology, and (3) Correctness-by-Construction refinement. The framework, grounded in annotated first-order logic, is designed to ensure traceable correctness from an ontological enterprise model to an implementation. The anticipated results of the research are reduced implementation deficits and improved expertise amongst Enterprise Ontology practitioners through error-free refinements and enabling formal reasoning. Additionally, a formalised ontology is expected to strengthen model-driven development of Enterprise Ontology based information systems.

AB - Critical misalignments between ontological enterprise models and their implementations persist, causing behavioural inconsistencies and traceability gaps. To address this misalignment issue, the doctoral research presented in this paper develops a formal framework that refines ontological enterprise models into implementations with verifiable adherence to ontological constraints. The framework combines The framework combines (1) an ontological enterprise model, (2) its formally defined enterprise ontology, and (3) Correctness-by-Construction refinement. The framework, grounded in annotated first-order logic, is designed to ensure traceable correctness from an ontological enterprise model to an implementation. The anticipated results of the research are reduced implementation deficits and improved expertise amongst Enterprise Ontology practitioners through error-free refinements and enabling formal reasoning. Additionally, a formalised ontology is expected to strengthen model-driven development of Enterprise Ontology based information systems.

KW - Correctness-by-Construction

KW - Enterprise Engineering

KW - Enterprise Ontology

U2 - 10.1007/978-3-032-16234-2_18

DO - 10.1007/978-3-032-16234-2_18

M3 - Conference article in proceeding

SN - 9783032162335

T3 - Lecture Notes in Business Information Processing

SP - 232

EP - 240

BT - Enterprise Design, Operations, and Computing. EDOC 2025 Workshops

A2 - Mira da Silva, Miguel

A2 - Rivkin, Andrey

A2 - Borbinha, José

A2 - Zdravkovic, Jelena

A2 - Barateiro, José

PB - Springer Verlag

Y2 - 9 September 2025 through 12 September 2025

ER -

de Haan E. Formal Foundations for Enterprise Ontology: Ontologically Grounded Enterprise Information Systems. In Mira da Silva M, Rivkin A, Borbinha J, Zdravkovic J, Barateiro J, editors, Enterprise Design, Operations, and Computing. EDOC 2025 Workshops : Forum, Doctoral Consortium, EA4AI, iRESEARCH, SoEA4EE, Tool Presentations, Revised Selected Papers. Springer Verlag. 2026. p. 232-240. (Lecture Notes in Business Information Processing, Vol. 571). doi: 10.1007/978-3-032-16234-2_18

Formal Foundations for Enterprise Ontology: Ontologically Grounded Enterprise Information Systems

Abstract

Publication series

Conference

Keywords

Access to Document

Embargoed Document

Fingerprint

Cite this