Campus Event Calendar
Event Entry
What and Who
Assigning Temporal Meaning to Abstract Machines
Prof. Dr. Dominique Mery
CRIN-CNRS und University Henri Poincare/Nancy
DFKI-Kolloquium
AG 1, AG 2, AG 3, INET, AG 4, AG 5, D6, RG1, SWS
AG Audience
English
Note: We use this to send email in the morning.
Date, Time and Location
Tuesday, 1 July 97
11:00
60 Minutes
43.1 - DFKI
Raum 1.01 (TURING)
Saarbrücken
Abstract
Abstract Machines Notation (AMN) is the notation of the B method for
specifying systems and it is supported by tools providing editing,
navigating, animating and proving facilities. AMN permits us to state
invariance properties, based on safety conditions, but there are
applications, such as telecom services, where fairness and liveness
properties must also be considered. We define a way to extend the B
method expressivity by defining a semantics over traces, in the same
spirit as the temporal logic of actions does and we provide a
semantical framework for defining a extended B method that can exploit
the B environments facilities.
specifying systems and it is supported by tools providing editing,
navigating, animating and proving facilities. AMN permits us to state
invariance properties, based on safety conditions, but there are
applications, such as telecom services, where fairness and liveness
properties must also be considered. We define a way to extend the B
method expressivity by defining a semantics over traces, in the same
spirit as the temporal logic of actions does and we provide a
semantical framework for defining a extended B method that can exploit
the B environments facilities.
Contact
Andreas Wolpers
--email hidden
passcode not visible
logged in users only