Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Synchronous Interface Behavior Syntax and Semantics

Summary: Synchronous Interface Behavior
Syntax and Semantics
Charles ANDRÉ
I3S Research Report #00­11
August 1, 2000 (Version 0.1)
December 5, 2000 (Version 0.2)
This report presents the syntax and the semantics of "Sequential Interface Behavior" (SIBs) proposed
as a substitute for "Sequence Diagrams" of the UML. A sib expresses an input/output behavior in an
unambiguous way. It supports quantitative timing constraints useful for real-time applications. The
SIB's semantics is defined in terms of a synchronous process algebra, detailed in this report.
Keywords: Synchronous Programming, Process algebra, Sequence Diagrams, Reactive Program-
1 Introduction
"Synchronous Interface Behavior" (SIB) extends "Sequence Diagrams" of the UML. It also borrows some
features from "Message Sequence Charts". The novelty is in the synchronous approach adopted for SIB1
This technical report presents a formal semantics for SIB. The semantics is defined in terms of a syn-
chronous process algebra. This technique has been successfully applied to the Esterel language [Ber93]
and to the SyncCharts [And96]. Equipped with this semantics, a sib is an unambiguous description of


Source: André, Charles - Laboratoire I3S, Université de Nice Sophia Antipolis


Collections: Computer Technologies and Information Sciences