1997 | ReviewPaper | Buchkapitel
Testing semantics for a probabilistic-timed process algebra
verfasst von : Carlos Gregorio-Rodríguez, Luis Llana-Díaz, Manuel Núñez, Pedro Palao-Gostanza
Erschienen in: Transformation-Based Reactive Systems Development
Verlag: Springer Berlin Heidelberg
Enthalten in: Professional Book Archive
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
In this paper we present a probabilistic-timed process algebra, which tries to unify the best solutions of previous probabilistic and timed algebras. We provide an operational semantics for the new language (PTPA), and from this operational semantics we define a testing semantics based on the probability with which processes pass tests. Afterwards the induced testing equivalence is operationally characterized by probabilistic timed traces.