Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  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)
Abstract
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-
ming.
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