Methodology for Rapid Development of PAIS Based on Ontological Modeling and Category Theory.
Saved in:
| Title: | Methodology for Rapid Development of PAIS Based on Ontological Modeling and Category Theory. |
|---|---|
| Authors: | Bogdanović, Borivoj1 borivoj.bogdanovic@gmail.com, Marković, Vidan1 vidan.markovic@singidunum.ac.rs, Segedinac, Milan2 milongagadinaa@uns.ac.rs, Konjović, Zora1 |
| Source: | Computer Science & Information Systems. Sep2026, Vol. 23 Issue 4, p1343-1394. 52p. |
| Subjects: | Mathematical category theory, Model-driven software architecture, Code generators |
| 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, multiphase 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 functoriality 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. [ABSTRACT FROM AUTHOR] |
| Copyright of Computer Science & Information Systems is the property of ComSIS Consortium and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
| FullText | Links: – Type: pdflink Text: Availability: 0 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 197881217 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Methodology for Rapid Development of PAIS Based on Ontological Modeling and Category Theory. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Bogdanović%2C+Borivoj%22">Bogdanović, Borivoj</searchLink><relatesTo>1</relatesTo><i> borivoj.bogdanovic@gmail.com</i><br /><searchLink fieldCode="AR" term="%22Marković%2C+Vidan%22">Marković, Vidan</searchLink><relatesTo>1</relatesTo><i> vidan.markovic@singidunum.ac.rs</i><br /><searchLink fieldCode="AR" term="%22Segedinac%2C+Milan%22">Segedinac, Milan</searchLink><relatesTo>2</relatesTo><i> milongagadinaa@uns.ac.rs</i><br /><searchLink fieldCode="AR" term="%22Konjović%2C+Zora%22">Konjović, Zora</searchLink><relatesTo>1</relatesTo> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Computer+Science+%26+Information+Systems%22">Computer Science & Information Systems</searchLink>. Sep2026, Vol. 23 Issue 4, p1343-1394. 52p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Mathematical+category+theory%22">Mathematical category theory</searchLink><br /><searchLink fieldCode="DE" term="%22Model-driven+software+architecture%22">Model-driven software architecture</searchLink><br /><searchLink fieldCode="DE" term="%22Code+generators%22">Code generators</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: 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, multiphase 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 functoriality 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. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Computer Science & Information Systems is the property of ComSIS Consortium and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=197881217 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.2298/CSIS260815044B Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 52 StartPage: 1343 Subjects: – SubjectFull: Mathematical category theory Type: general – SubjectFull: Model-driven software architecture Type: general – SubjectFull: Code generators Type: general Titles: – TitleFull: Methodology for Rapid Development of PAIS Based on Ontological Modeling and Category Theory. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Bogdanović, Borivoj – PersonEntity: Name: NameFull: Marković, Vidan – PersonEntity: Name: NameFull: Segedinac, Milan – PersonEntity: Name: NameFull: Konjović, Zora IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 09 Text: Sep2026 Type: published Y: 2026 Identifiers: – Type: issn-print Value: 18200214 Numbering: – Type: volume Value: 23 – Type: issue Value: 4 Titles: – TitleFull: Computer Science & Information Systems Type: main |
| ResultId | 1 |
