Performance analysis and true concurrency semantics

    Research output: Book/ReportReportProfessional

    10 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 Dive into the research topics of 'Performance analysis and true concurrency semantics'. Together they form a unique fingerprint.

  • 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.