Transforming SOS specifications to linear processes

F.P.M. Stappers, M.A. Reniers, S. Weber

    Onderzoeksoutput: Boek/rapportRapportAcademic

    256 Downloads (Pure)

    Samenvatting

    This paper describes an approach to transform a Structural Operational Semantics given as a set of deduction rules to a Linear Process Specification. The transformation is provided for deduction rules in De Simone format, including predicates. The Linear Process Specifications are specified in the syntax of the mCRL2 language, that, with help of the underlying (higher-order) re-writer/tool-set, can be used for simulation, labeled transition system generation and verification of behavioral properties. We illustrate the technique by showing the effect of the transformation from the Structural Operational Semantics specification of a simple process algebra to a Linear Process Specification.
    Originele taal-2Engels
    Plaats van productieEindhoven
    UitgeverijTechnische Universiteit Eindhoven
    Aantal pagina's24
    StatusGepubliceerd - 2011

    Publicatie series

    NaamComputer science reports
    Volume1107
    ISSN van geprinte versie0926-4515

    Vingerafdruk

    Duik in de onderzoeksthema's van 'Transforming SOS specifications to linear processes'. Samen vormen ze een unieke vingerafdruk.

    Citeer dit