ACTOR-ACTOR INTERACTION [AAI] WITHIN A SYSTEMS ENGINEERING PROCESS (SEP). An Actor Centered Approach to Problem Solving

eJournal: uffmm.org, ISSN 2567-6458
Email: info@uffmm.org

Draft version 22.June 2018

Update 26.June 2018 (Chapter AS-AM Summary)

Update 4.July 2018 (Chapter 4 Actor Model; improving the terminology of environments with actors, actors as input-output systems, basic and real interface, a first typology of input-output systems…)

Update 17.July 2018 (Preface, Introduction new)

Update 19.July 2018 (Introduction final paragraph!, new chapters!)

Update 20.July 201 (Disentaglement of chapter ‘Simulation & Verification’ into two independent chapters; corrections in the chapter ‘Introduction’; corrections in chapter ‘AAI Analysis’; extracting ‘Simulation’ from chapter ‘Actor Story’ to new chapter ‘Simulation’; New chapter ‘Simulation’; Rewriting of chapter ‘Looking Forward’)

Update 22.July 2018 (Rewriting the beginning of the chapter ‘Actor Story (AS)’, not completed; converting chapter ‘AS+AM Summary’ to ‘AS and AM Philosophy’, not completed)

ACTOR-ACTOR INTERACTION [AAI] WITHIN  SYSTEMS ENGINEERING   (SE). An Actor Centered Approach to Problem Solving. Combining Engineering and Philosophy

by

GERD DOEBEN-HENISCH, LOUWRENCE ERASMUS

LATEST  VERSION AS PDF

Contents

Preface …11

1 Introduction …13

2 Actor-Actor Interaction Analysis …17

3 Actor Story (AS) …19

4 Actor Model (AM) …27

5 Simulation …39

6 Algorithmic Verification …43

7 Physical Design …45

8 Usability Testing …47

9 AS-AM Philosophy …51

10 Looking Forward …57

Bibliography …59

Index …63

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