General Quantitative Specification Theories with Modalities

Sebastian S. Bauer (1) , Uli Fahrenberg (2) , Axel Legay (2) , Claus Thrane (3)

1 TUM - Technische Universität Munchen - Technical University Munich - Université Technique de Munich
2 ESTASYS - Efficient STAtistical methods in SYstems of systems
3 CISS - Center for Indlejrede Software Systemer

This paper proposes a new theory of quantitative specifications. It generalizes the notions of step-wise refinement and compositional design operations from the Boolean to an arbitrary quantitative setting. It is shown that this general approach permits to recast many existing problems which arise in system design.

Domaines: Informatique [cs]; Théorie et langage formel [cs.FL]

Sebastian S. Bauer, Uli Fahrenberg, Axel Legay, Claus Thrane. General Quantitative Specification Theories with Modalities. CSR, Jul 2012, Nizhny Novgorod, Russia. pp.18 - 30, ⟨10.1007/978-3-642-30642-6_3⟩. ⟨hal-01087983⟩