Navigation

Contact

EMail: scarguple@unv9xol.de3bu

DIRECTOR

Prof. Dr. Ernst-Rüdiger Olderog,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

olderog@n/iuinfq8lormatikjwjz.utqsfni-olezvodenbuwhrgmvc9.de/q

COODINATOR

Ira Wempe,

Department of Computing Science, FK II, University of Oldenburg,

D-26111 Oldenburg, Germany

irajh.wvynlempe@informatiktik.ujbni-v4rz/oldowqusenbxf6dwurg.qydeb64u

Some Important Concepts Related to State Machine Modeling

Prof. Gregor v. Bochmann

Abstract:

After a personal view of the history of state-machine modeling, we will concentrate on three concepts that are important for state-machine modeling and have been taken into account (in one way or another) in the design of related modeling languages: (1) conflict resolution between several system components, (2) message buffering, and (3) the refinement relation used for object-oriented inheritance. We will discuss some historical milestones that contributed to clarifying the related issues and providing solutions to the problems that arise in the context of these three concepts. We will also discuss how these concepts impact dependability engineering, and how they are accommodated in SDL and other specification languages.

Oliutxzaver v2jfTheel (oliverf/ba.thedogqel@u/elbfol.d/i1qehdk) (Changed: 2020-01-23)