About the journal

• Home page
• Contact information
• Aims and scope
• Indexing information
• Editorial policies
• ComSIS consortium
• Journal boards
• Managing board

For authors

• Information for contributors
• Article submission
• Accepted papers
• Copyright transfer form
• Download section

For readers

• Forthcoming articles
• Current issue
• Archive

For reviewers

• Review submissions
• Review submissions OJS

News

• Journal's Facebook page
• Special issue proposal
• Calls for special issues

Methodology for Rapid Development of PAIS Based on Ontological Modeling and Category Theory

Borivoj Bogdanović¹, Vidan Marković¹, Milan Segedinac², and Zora Konjović¹

1. Singidunum University, Danijelova 32
   11010 Belgrade, Serbia
   borivoj.bogdanovic@gmail.com (corresponding author),
   {vidan.markovic, zkonjovic}@singidunum.ac.rs
2. University of Novi Sad, Faculty of Technical Sciences
   Trg Dositeja Obradovica 4, Novi Sad 21000, Serbia
   milansegedinac@uns.ac.rs

Abstract

Model-Driven Architecture (MDA) structures software development through computation-independent, platform-independent, and platform-specific models. Its practical value depends on machine-readable models and transformations that preserve relevant structural properties while producing executable code. This paper proposes a methodology for the rapid development of Process-Aware Information Systems (PAIS) based on ontological modeling and category theory. Ontology-Driven Code Generation (ODCG) is formalized as a deterministic, multi-phase transformation from the BAB Core ontology, through a platform-specific ontology and library, to source code. Model levels are represented as categories, while transformations are represented as functors. The main contribution is a categorical formalization of stack-parametrized multi-target generation, together with a conditional guarantee of schema-level structural preservation under explicitly stated verification assumptions, including mapping completeness, injectivity, quotient compatibility, and absence of unintended collapse. The methodology distinguishes the categorical specification, in which functionality follows by construction, from its operational implementation, whose conformance is established through explicit engineering checks. The approach is implemented and evaluated for the Java platform through the BABj ontology and library by generating code for an operational business information system during its life cycle.

Key words

Model-Driven Engineering, Ontology, Category Theory, Code Generation, PAIS

Digital Object Identifier (DOI)

https://doi.org/10.2298/CSIS260815044B

Publication information

Volume 23, Issue 4 (September 2026)
Year of Publication: 2026
ISSN: 2406-1018 (Online)
Publisher: ComSIS Consortium

Full text

Available in PDF
Portable Document Format

How to cite

Bogdanović, B., Marković, V., Segedinac, M., Konjović, Z.: Methodology for Rapid Development of PAIS Based on Ontological Modeling and Category Theory. Computer Science and Information Systems, 23(4) (2026). https://doi.org/10.2298/CSIS260815044B