Synchronous Interface Behavior

Authors

Charles ANDRÉ

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 Programming.

Reference

@TECHREPORT{sp:tr0011,
AUTHOR = "C. Andr\'e",
TITLE = "{S}ynchronous {I}nterface {B}ehavior: {S}yntax and {S}emantics",
YEAR = {2000},
NUMBER = {RR 00--11},
INSTITUTION = "I3S",
MONTH = {December},
sorte = "rappo",
ADDRESS = {Sophia-Antipolis, France}
}

Paper

pdf, 114KB