Next:
2. Event Based Models
Up:
Automatic Generation of an
Previous:
1. Introduction
Contents
I
. Preliminaries
Subsections
2
. Event Based Models for Distributed Systems
2
.
1
History
2
.
1
.
1
Borg
2
.
1
.
2
SEESCOA
2
.
2
The Model
2
.
3
Naming & Finding Services
2
.
4
Connecting & Deployment
2
.
5
Communication
2
.
5
.
1
Sending and Receiving Messages
2
.
5
.
2
Message Representation
2
.
5
.
3
Syntactical Annotation
2
.
5
.
4
Motivation
2
.
6
Sessions
2
.
6
.
1
Non-Blocking
2
.
6
.
2
Session Tracking
2
.
7
Concurrency
2
.
8
Writing Adaptors
2
.
8
.
1
Flow Control by Means of Adaptors
2
.
8
.
2
Placing the control flow regulators at runtime
2
.
9
Summary
3
. Describing Interfaces by means of Petri-nets
3
.
1
Introduction
3
.
2
Formal Interface Descriptions
3
.
3
Petri-Nets
3
.
3
.
1
Related work
3
.
3
.
1
.
1
State Machines
3
.
3
.
1
.
2
Reuse Contract
3
.
3
.
1
.
3
Message Sequence Charts
3
.
3
.
1
.
4
Pure logical approaches
3
.
3
.
1
.
5
Temporal logics
3
.
3
.
1
.
6
SDL
3
.
3
.
1
.
7
IDL's
3
.
3
.
1
.
8
Existing Petri-net tools
3
.
4
Colored Petri-Nets
3
.
4
.
1
Informal Discussion
3
.
4
.
2
Formal Definition
3
.
4
.
3
Simple Petri-Nets
3
.
4
.
4
A Note on Implementation
3
.
5
The Expression Language
3
.
6
The Language used to Express Petri-Nets
3
.
6
.
1
The Basic Language
3
.
6
.
2
Linking Components
Petri-Nets
3
.
6
.
2
.
1
Integration of Messages
3
.
6
.
2
.
2
Two Uses for Sources and Sinks
3
.
6
.
3
In/Out Transitions
3
.
7
Two More Complex Examples
3
.
7
.
1
Interface Description of a Blocking Layered Concurrency Strategy
3
.
7
.
2
Description of a Non-blocking Rollback-able Concurrency Strategy
3
.
8
The Do-Not 's of Interface Petri-Net Descriptions
3
.
9
Defining Conflicts
3
.
10
A Word on Formal Analysis of Petri-Nets
3
.
11
Summary
4
. Learning Algorithm
4
.
1
A World of Variations
4
.
2
Mapping our Problem onto a Learning Algorithm
4
.
3
Genetic Algorithms
4
.
3
.
1
Genetic Algorithms as Representational Testers
4
.
3
.
2
Classifier Systems
4
.
4
Reinforcement learning
4
.
4
.
1
A Typical Reinforcement Learner
4
.
4
.
2
Episodic versus Continual tasks
4
.
4
.
3
Elements of a Reinforcement Learning Problem
4
.
4
.
4
Markov Decision Processes
4
.
4
.
5
The Value Function & Policy
4
.
4
.
6
Exploration versus Exploitation
4
.
5
Summary
Werner 2004-03-07
