Charles ANDRÉ
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.
Synchronous Programming, Process algebra, Sequence Diagrams, Reactive Programming.
@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}
}