253 research outputs found
Leistungsbewertung automatisch generierter Protokollimplementierungen mit Estelle
Formale Beschreibungstechniken (FDTs) erlauben durch ihre formale Syntax und Semantik eine präzise Systembeschreibung und sind Grundlage für die formale Verifikation. Bei der Implementierung von Systemen wird jedoch nach wie vor von Hand implementiert, selbst wenn ausgereifte Werkzeuge zur automatischen Generierung von Kode direkt aus der formalen Spezifikation existieren. Die Ursache dafür liegt in dem Ruf dieser Werkzeuge, Kode mit extrem geringer Leistungsfähigkeit zu erzeugen. Es gibt jedoch kaum quantitative Leistungsvergleiche zwischen manuell und automatisch generierten Implementierungen, die dieses Vorurteil stützen oder widerlegen könnten. In diesem Beitrag wird ein solcher Leistungsvergleich anhand des Hochleistungsprotokolls XTP und der FDT Estelle vorgestellt. Er liefert eine Bestandsaufnahme des momentanen Entwicklungsstandes bei der automatischen Generierung von Kode aus Estelle-Spezifikationen im direkten Vergleich zu gut optimierten Handimplementierungen. Es zeigt sich, daß in dem betrachteten Fall eines komplexen Protokolls die Handimplementierung zwar merklich leistungsstärker ist. Dieser Leistungsvorteil wird jedoch durch einen sehr hohen Implementierungsaufwand sowie die Schwierigkeit, die Korrektheit bzgl. der Spezifikation sicherzustellen, erkauft. Im einzelnen Anwendungsfall kann es daher trotz der Leistungseinbußen durchaus vorteilhaft sein, automatisch Kode zu erzeugen, zumal in der Bestandsaufnahme festgestellt wurde, daß automatisch generierte Implementierungen z.T. besser abschneiden als erwartet. Zudem besteht - anders als bei der bereits umfassend optimierten Handimplementierung - noch ein erhebliches ungenutztes Potential zur Leistungsverbesserung der automatisch generierten Implementierung
Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems
In this paper, we propose a new algorithm for the derivation of a protocol specification in Pr/T-nets, which is the specification of communicating N entities (N can be given), from a given service specification in Pr/T-nets and an allocation of the places of the service specification to the N entities. Our algorithm decomposes each transition of the service specification into a set of communicating Pr/T-subnets running on the N entities. Moreover, for the efficient control of conflict of shared resources, we present a timestamp-based mutual exclusion algorithm and incorporate it into the derivation algorithm
On the Suitability of Estelle for Multimedia Systems
Formal Description Techniques have been widely used for the specification of traditional networked applications. They have not been applied to the specification of new applications such as multimedia systems yet. In this paper, we examine the FDT Estelle with respect to its suitability for multimedia system specification and automatic derivation of efficient implementations. We show that it is possible to specify certain aspects of multimedia systems, but that Estelle is not sufficient for others. The derived implementations often perform badly. We show the reasons and propose to use a slightly modified Estelle syntax and semantics to solve the problems. The implemented solution was tested successfully
Search for CP Violation in the Decay Z -> b (b bar) g
About three million hadronic decays of the Z collected by ALEPH in the years
1991-1994 are used to search for anomalous CP violation beyond the Standard
Model in the decay Z -> b \bar{b} g. The study is performed by analyzing
angular correlations between the two quarks and the gluon in three-jet events
and by measuring the differential two-jet rate. No signal of CP violation is
found. For the combinations of anomalous CP violating couplings, and , limits of \hat{h}_b < 0.59h^{\ast}_{b} < 3.02$ are given at 95\% CL.Comment: 8 pages, 1 postscript figure, uses here.sty, epsfig.st
Measurement of the W-pair cross section in collisions at 172 GeV
The e+e- --> W+W- cross section is measured in a data sample collected by ALEPH at a mean centre--of--mass energy of 172.09 GEV, corresponding to an integrated luminosity of 10.65 pb-1. Cross sections are given for the three topologies, fully leptonic, semi-leptonic and hadronic of a W-pair decay. Under the assumption that no other decay modes are present, the W-pair cross section is measured to be 11.7 +- 1.2 (stat.) +- 0.3 (syst.) pb. The existence of the triple gauge boson vertex of the Standard Model is clearly preferred by the data. The decay branching ratio of the W boson into hadrons is measured to be B(W --> hadrons) = 67.7 +- 3.1 (stat.) +- 0.7 (syst.)%, allowing a determination of the CKM matrix element |Vcs|= 0.98 +- 0.14 (stat.) +- 0.03 (syst.)
Production of excited beauty states in Z decays
A data sample of about 3.0 million hadronic Z decays collected by the ALEPH experiment at LEP in the years 1991 through 1994, is used to make an inclusive selection of B~hadron events. In this event sample 4227 \pm 140 \pm 252 B^* mesons in the decay B^* \to B \gamma and 1944 \pm 108 \pm 161 B^{**} mesons decaying into a B~meson and a charged pion are reconstructed. For the well established B^* meson the following quantities areobtained: \Delta M = M_{B^*} - M_{B} = (45.30\pm 0.35\pm 0.87)~\mathrm{MeV}/c^2 and N_{B^*}/(N_B+N_{B^*}) = (77.1 \pm 2.6 \pm 7.0)\%. The angular distribution of the photons in the B^* rest frame is used to measure the relative contribution of longitudinal B^* polarization states to be \sigma_L/(\sigma_L + \sigma_T)= (33 \pm 6 \pm 5)\%. \\ Resonance structure in the M(B\pi)-M(B) mass difference is observed at (424 \pm 4 \pm 10)~\mathrm{MeV}/c^2. Its shape and position is in agreement with the expectation for B^{**}_{u,d} states decaying into B_{u,d}^{(*)} \pi^\pm. The signal is therefore interpreted as arising from them. The relative production rate is determined to be \frac{BR(Z \to b \to B_{u,d}^{**})}{BR(Z \to b \to B_{u,d})} = [27.9 \pm 1.6(stat) \pm 5.9(syst) \phantom{a}^{+3.9}_{-5.6}(model)]\%. where the third error reflects the uncertainty due to different production and decay models for the broad B_{u,d}^{**} states
- …