Abstract:Artificial intelligence (AI) in its various forms finds more and more its way into complex distributed systems. For instance, it is used locally, as part of a sensor system, on the edge for low-latency high-performance inference, or in the cloud, e.g. for data mining. Modern complex systems, such as connected vehicles, are often part of an Internet of Things (IoT). This poses additional architectural challenges. To manage complexity, architectures are described with architecture frameworks, which are composed of a number of architectural views connected through correspondence rules. Despite some attempts, the definition of a mathematical foundation for architecture frameworks that are suitable for the development of distributed AI systems still requires investigation and study. In this paper, we propose to extend the state of the art on architecture framework by providing a mathematical model for system architectures, which is scalable and supports co-evolution of different aspects for example of an AI system. Based on Design Science Research, this study starts by identifying the challenges with architectural frameworks in a use case of distributed AI systems. Then, we derive from the identified challenges four rules, and we formulate them by exploiting concepts from category theory. We show how compositional thinking can provide rules for the creation and management of architectural frameworks for complex systems, for example distributed systems with AI. The aim of the paper is not to provide viewpoints or architecture models specific to AI systems, but instead to provide guidelines based on a mathematical formulation on how a consistent framework can be built up with existing, or newly created, viewpoints. To put in practice and test the approach, the identified and formulated rules are applied to derive an architectural framework for the EU Horizon 2020 project "Very efficient deep learning in the IoT" (VEDLIoT) in the form of a case study.

A Uniform Approach to Compare Architectures in Decentralized Discrete-Event Systems

A uniform approach to compare architectures in decentralized discrete/event systems

Modeling Complex Architectures Based on Granular Computing on Ontology

Algebraic Method for Describing and Analyzing the Architecture of Mas Based Autonomous Mobile Robot

Eliminating Mismatching Connections Between Components by Adopting an Agent-Based Approach

From Modular to Distributed Open Architectures: A Unified Decision Framework

Uncovering Architectural Design Decisions

The Mathematical Syntax of Architectures

A system architecture ensuring consistency among distributed, heterogeneous information models for civil infrastructure projects

Decision-Theoretic Control of Problem Solving: Principles and Architecture

Performance Modeling and Analysis of Software Architectures: an Aspect-Oriented UML Based Approach.

A compositional approach to creating architecture frameworks with an application to distributed AI systems

An Adl-Approach to Specifying and Analyzing Centralized-Mode Architectural Connection

Distributed or Monolithic? A Computational Architecture Decision Framework

Sharing architecture knowledge through models: Quality and cost

Transformation of Health and Social Care Systems-An Interdisciplinary Approach Toward a Foundational Architecture

Decentralized Supervisory Control of Discrete Event Systems for Bisimulation Equivalence

Software Architecture for ML-based Systems: What Exists and What Lies Ahead

Selecting a High-Quality Central Model for Sharing Architectural Knowledge.

An Approach to Build Consistent Software Architecture Diagrams Using Devops System Descriptors

A Game of Attribute Decomposition for Software Architecture Design