The proposed ISO standard formal description technique E-LOTOS is used to describe a leader election protocol (that of the IEEE 1394 serial multimedia bus), allowing illustration of the new aspects of the language, particularly time and parallelism.

S torage interfaces have been a necessary component of computer systems since computing’s inception. At a basic level, a storage interface functions like any generic interface, defining the boundary between two dissimilar surfaces or systems. In a computer system, a storage interface defines both the boundaries between storage devices—such as hard drives, tape drives, or similar media—and how t...

Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the current work intends to integrate time constraints in the modelling process based on event B models and refinement. The starting point of our work is the event B development of the IEEE 1394 leader election protocol; fr...

The IEEE 1394 architecture standard defines a high performance serial multimedia bus that allows several components in a network to communicate with each other at high speed. In the physical layer of the architecture, a leader election protocol is used to find a spanning tree with a unique root in the network topology. If there is a cycle in the network, the protocol treats this as an error sit...

We specify the tree identify protocol of a high performance serial multi-media bus (IEEE standard 1394 IEE95]) in three diierent levels of detail using CRL GP95]. We propose using the cones and foci veriication technique of Groote and Springintveld GS95] to show the descriptions equivalent under branching bisimulation. The proof of the equivalence of the two more abstract speciications is shown...

The IEEE 1394 architecture standard defines a high performance serial multimedia bus that allows several components in a network to communicate with each other at high speed. In the physical layer of the architecture, a leader election protocol is used to find a spanning tree with a unique root in the network topology. If there is a cycle in the network, the protocol treats this as an error sit...

IEEE 1599 is a new standard to encode music with XML symbols. It offers two important original characteristics compared to existing standards of the worlds of music, musicology and computer applications to this art and science. On one side, the encoding is in the form of symbols that can be read both by machines and humans. On the other, it allows the realization of applications in which all as...

0