Atsushi Togashi, Tadanori Mizuno, Norio Shiratori, Teruo Higashino

Formal Description Techniques and Protocol Specification, Testing and Verification (eBook, PDF)

FORTE X / PSTV XVII '97

• Format: PDF

Produktbeschreibung

FORTE/PSTV '97 addresses Formal Description Techniques (FDTs) applicable to Distributed Systems and Communication Protocols (such as Estelle, LOTOS, SDL, ASN.1, TTCN, Z, Automata, Process Algebra, Logic). The conference is a forum for presentation of the state-of-the-art in theory, application, tools and industrialization of FDTs, and provides an excellent orientation for newcomers.

---

Dieser Download kann aus rechtlichen Gründen nur mit Rechnungsadresse in A, B, BG, CY, CZ, D, DK, EW, E, FIN, F, GR, HR, H, IRL, I, LT, L, LR, M, NL, PL, P, R, S, SLO, SK ausgeliefert werden.

Produktdetails

• Verlag: Springer US
• Seitenzahl: 550
• Erscheinungstermin: 5. Juni 2013
• Englisch
• ISBN-13: 9780387352718
• Artikelnr.: 44062572

Inhaltsangabe

1 Specification-based testing of concurrent systems.- 2 Refusal testing for classes of transition systems with inputs and outputs.- 3 A framework for distributed object-oriented testing.- 4 Interoperability test suite derivation for symmetric communication protocols.- 5 A hierarchy of communication models for message sequence charts.- 6 Timing constraints in message sequence chart specifications.- 7 Consistent semantics for ODP information and computational models.- 8 Specifying the ODP trader: an introduction to E-LOTOS.- 9 A computer aided design of a secure registration protocol.- 10 Implementation of distributed systems described with LOTOS multi-rendezvous on bus topology networks.- 11 Disjunction of LOTOS specifications.- 12 A timed automaton model for ET-LOTOS verification.- 13 Automatic checking of aggregation abstractions through state enumeration.- 14 Concept of quantified abstract quotient automaton and its advantage.- 15 Validating protocol composition for progress by parallel step reachability analysis.- 16 An improved search strategy for Lossy channel systems.- 17 A weighted random walk approach for conformance testing of a system specified as communicating finite state machines.- 18 Friendly testing as a conformance relation.- 19 Generalized metric based test selection and coverage measure for communication protocols.- 20 Dynamic priorities for modeling real-time.- 21 On-line timed protocol trace analysis based on uncertain state descriptions.- 22 Algebraic specification through expression transformation.- 23 Modelling digital logic in SDL.- 24 A methodology for the description of system requirements and the derivation of formal specifications.- 25 On the influence of semantic constraints on the code generation from Estelle specifications.- 26 Using a formal description technique to model aspects of a global air traffic telecommunications network.- 27 An experiment in using RT-LOTOS for the formal specification and verification of a distributed scheduling algorithm in a nuclear power plant monitoring system.- 28 Intelligent protocol analyzer with TCP behavior emulation for interoperability testing of TCP/IP protocols.- 29 Eight years of experience in test generation from FDTs using TVEDA.- 30 Self-independent petri nets for distributed systems.- 31 Combining CSP and object-Z: finite or infinite trace semantics?.- 32 Selective mu-calculus: new modal operators for proving properties on reduced transition systems.- 33 On a concurrency calculus for design of mobile telecommunication systems.- Index of contributors.- Keyword index.