Transforming SOS specifications to linear processes
| Autor: | Stappers, F.P.M., Reniers, M.A., Weber, S., Salaün, G., Schätz, B. |
|---|---|
| Přispěvatelé: | Design and Analysis of Systems |
| Jazyk: | angličtina |
| Rok vydání: | 2011 |
| Předmět: |
Labeled transition system
Theoretical computer science Syntax (programming languages) Computer science Programming language Process calculus Linear process computer.software_genre Operational semantics Set (abstract data type) Transformation (function) Simple (abstract algebra) Computer Science::Logic in Computer Science computer |
| Zdroj: | Formal Methods for Industrial Critical Systems ISBN: 9783642244308 FMICS Formal Methods for Industrial Critical Systems (16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings), 196-211 STARTPAGE=196;ENDPAGE=211;TITLE=Formal Methods for Industrial Critical Systems (16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011. Proceedings) |
| DOI: | 10.1007/978-3-642-24431-5_15 |
| Popis: | This paper describes an approach to transform 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|