Performance analysis and true concurrency semantics

    Research output: Book/ReportReportProfessional

    2 Downloads (Pure)

    Abstract

    This paper addresses the subject of linking functional specifications to performance analysis in a process algebraic context. It presents a timed, probabilistic extension of a process algebraic formalism and its application to performance analysis. More specifically, an extension of a subset of LOTOS is presented equipped with a truly concurrent semantical model based on bundle event structures. It is investigated how semi-Markov chains can be obtained from functional speciications using this semantical model. The use of a true concurrency model enables us to distinguish between non-determinism and parallelism, to reduce the state explosion problem and, moreover, to analyse part of the system wi thout considering other (irrelevant) parts. An example illustrates the proposed approach.
    Original languageEnglish
    Place of PublicationEnschede
    PublisherUniversity of Twente
    Number of pages28
    Publication statusPublished - 1994

    Publication series

    NameMemoranda informatica
    PublisherUniversity of Twente
    No.94-39
    ISSN (Print)0924-3755
    NameMemorandum TIOS
    PublisherUniversity of Twente, Tele-Informatics and Open Systems Group
    No.94-10

    Fingerprint

    Semantics
    Specification languages
    Markov processes
    Explosions
    Specifications

    Cite this

    Brinksma, E., Katoen, J-P., Langerak, R., & Latella, D. (1994). Performance analysis and true concurrency semantics. (Memoranda informatica; No. 94-39), (Memorandum TIOS; No. 94-10). Enschede: University of Twente.
    Brinksma, Ed ; Katoen, Joost-Pieter ; Langerak, Rom ; Latella, Diego. / Performance analysis and true concurrency semantics. Enschede : University of Twente, 1994. 28 p. (Memoranda informatica; 94-39). (Memorandum TIOS; 94-10).
    @book{2ca6727a30da4aa89eff75ec8cf90c16,
    title = "Performance analysis and true concurrency semantics",
    abstract = "This paper addresses the subject of linking functional specifications to performance analysis in a process algebraic context. It presents a timed, probabilistic extension of a process algebraic formalism and its application to performance analysis. More specifically, an extension of a subset of LOTOS is presented equipped with a truly concurrent semantical model based on bundle event structures. It is investigated how semi-Markov chains can be obtained from functional speciications using this semantical model. The use of a true concurrency model enables us to distinguish between non-determinism and parallelism, to reduce the state explosion problem and, moreover, to analyse part of the system wi thout considering other (irrelevant) parts. An example illustrates the proposed approach.",
    author = "Ed Brinksma and Joost-Pieter Katoen and Rom Langerak and Diego Latella",
    year = "1994",
    language = "English",
    series = "Memoranda informatica",
    publisher = "University of Twente",
    number = "94-39",
    address = "Netherlands",

    }

    Brinksma, E, Katoen, J-P, Langerak, R & Latella, D 1994, Performance analysis and true concurrency semantics. Memoranda informatica, no. 94-39, Memorandum TIOS, no. 94-10, University of Twente, Enschede.

    Performance analysis and true concurrency semantics. / Brinksma, Ed; Katoen, Joost-Pieter; Langerak, Rom; Latella, Diego.

    Enschede : University of Twente, 1994. 28 p. (Memoranda informatica; No. 94-39), (Memorandum TIOS; No. 94-10).

    Research output: Book/ReportReportProfessional

    TY - BOOK

    T1 - Performance analysis and true concurrency semantics

    AU - Brinksma, Ed

    AU - Katoen, Joost-Pieter

    AU - Langerak, Rom

    AU - Latella, Diego

    PY - 1994

    Y1 - 1994

    N2 - This paper addresses the subject of linking functional specifications to performance analysis in a process algebraic context. It presents a timed, probabilistic extension of a process algebraic formalism and its application to performance analysis. More specifically, an extension of a subset of LOTOS is presented equipped with a truly concurrent semantical model based on bundle event structures. It is investigated how semi-Markov chains can be obtained from functional speciications using this semantical model. The use of a true concurrency model enables us to distinguish between non-determinism and parallelism, to reduce the state explosion problem and, moreover, to analyse part of the system wi thout considering other (irrelevant) parts. An example illustrates the proposed approach.

    AB - This paper addresses the subject of linking functional specifications to performance analysis in a process algebraic context. It presents a timed, probabilistic extension of a process algebraic formalism and its application to performance analysis. More specifically, an extension of a subset of LOTOS is presented equipped with a truly concurrent semantical model based on bundle event structures. It is investigated how semi-Markov chains can be obtained from functional speciications using this semantical model. The use of a true concurrency model enables us to distinguish between non-determinism and parallelism, to reduce the state explosion problem and, moreover, to analyse part of the system wi thout considering other (irrelevant) parts. An example illustrates the proposed approach.

    M3 - Report

    T3 - Memoranda informatica

    BT - Performance analysis and true concurrency semantics

    PB - University of Twente

    CY - Enschede

    ER -

    Brinksma E, Katoen J-P, Langerak R, Latella D. Performance analysis and true concurrency semantics. Enschede: University of Twente, 1994. 28 p. (Memoranda informatica; 94-39). (Memorandum TIOS; 94-10).