Eingang zum Volltext in OPUS

Lizenz

Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:kobv:83-opus-19843
URL: http://opus.kobv.de/tuberlin/volltexte/2008/1984/

Kumar, Rahul ; Mercer, Eric G

Improving Live Sequence Chart to Automata Transformation for Verification

pdf-Format:
Dokument 1.pdf (226 KB)
Print-on-Demand:

Kurzfassung auf Englisch

This paper presents a Live Sequence Chart (LSC) to automata
transformation algorithm that enables the verification of
communication protocol implementations. Using this LSC to automata
transformation a communication protocol implementation can be verified
using a single verification run as opposed to previous techniques that
rely on a three stage verification approach. The novelty and
simplicity of the transformation algorithm lies in its placement of
accept states in the automata generated from the LSC. We present in
detail an example of the transformation as well as the transformation
algorithm. Further, we present a detailed analysis and an empirical
study comparing the verification strategy to earlier work to show the
benefits of the improved transformation algorithm.

Freie Schlagwörter (Englisch): Graph Transformation , live sequence chart , transformation , automata , verification
Collection: TU Berlin / Zeitschriften / Fakultät IV - Elektrotechnik und Informatik / Electronic Communications of the EASST- ECEASST / Volume 10 (2008): Graph Transformation and Visual Modeling Techniques 2008
Institut: Institut für Softwaretechnik und Theoretische Informatik
DDC-Sachgruppe: Informatik
Dokumentart: Aufsatz
Schriftenreihe: Electronic Communications of the EASST- ECEASST
Bandnummer: 10/04
ISBN/ISSN: 1863-2122
Quelle: http://eceasst.cs.tu-berlin.de/index.php/eceasst/issue/view/19
Sprache: Englisch
Erstellungsjahr: 2008
Publikationsdatum: 28.08.2008
Lizenz: Standardlizenz: Typ CC by-nc-sa - Namensnennung erforderlich | Kommerziell nein | Weiterbearbeitung nur unter gleichen Bedingungen erlaubt | PoD ja