Actor-Actor Systems Engineering (AASE) – Formal Appendix

AAI-ANALYSIS. USED FORMALISMS
Version V2 (still not complete)
eJournal: uffmm.org, ISSN 2567-6458
2.May 2018
Email: info@uffmm.org

AUTHOR: Gerd Doeben-Henisch
EMAIL: gerd@doeben-henisch.de

Contents

1 Introduction
2 Domain of Reference D_R
3 Formal Representation
4 Example
5 Self-Incrementing Name-Spaces
6 Makros
7 A Graph
8 A Fact-Graph
9 The Simulation of a Graph
10 A Pictorial Story

Abstract

This is a short introduction into those formalisms, which will be used during the AAI-analysis as described in the AAI-Theory-Micro-Edition. This version differs strongly from preceding versions.

See PDF