The Logical Syntax of (IT) Architectures

04/07/2020
by   Christoph F. Strnadl, et al.
0

Despite several (accepted) standards, core notions typically employed in information technology (IT) architectures lack the precise and exact foundations encountered in logic, algebra, and other branches of mathematics. In this contribution we define the term "architecture" in a mathematically rigorous way. We motivate our particular choice by demonstrating (i) how commonly understood and expected properties of an architecture can be suitably defined or derived within our formalization, and (ii) how our concept is fully compatible with real life (business) architectures. Based on our fundamental definitions we further develop a rigorous notion of architectural similarity based on the notion of "homomorphisms" between architectures. We demonstrate the (theoretical) applicability by deriving some theorems on the characterization n-tier architectures.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/07/2020

The Mathematical Syntax of Architectures

Despite several (accepted) standards, core notions typically employed in...
research
10/29/2018

Concepts of Architecture, Structure and System

The current ISO standards pertaining to the Concepts of System and Archi...
research
09/14/2020

A Finitist's Manifesto: Do we need to Reformulate the Foundations of Mathematics?

There is a problem with the foundations of classical mathematics, and po...
research
09/06/2022

A logical analysis of instrumentality judgments: means-end relations in the context of experience and expectations

This article proposes the use of temporal logic for an analysis of instr...
research
04/27/2023

Categorical Foundations of Explainable AI

Explainable AI (XAI) aims to address the human need for safe and reliabl...
research
08/20/2020

DataProVe: A Data Protection Policy and System Architecture Verification Tool

In this paper, we propose a tool, called DataProVe, for specifying high-...

Please sign up or login with your details

Forgot password? Click here to reset