MoDeST: A compositional modeling formalism for real-time and stochastic systems

H.C. Bohnenkamp, P.R. d' Argenio, H. Hermanns, Joost P. Katoen

Research output: Book/ReportReportProfessional

67 Downloads (Pure)

Abstract

This paper presents Modest (MOdeling and DEscription language for Stochastic Timed systems), a formalism that is aimed to support (i) the modular description of reactive system's behaviour while covering both (ii) functional and (iii) nonfunctional system aspects such as timing and quality-of-service constraints in a single specification. The language contains features such as simple and structured data types, structuring mechanisms like parallel composition and abstraction, means to control the granularity of assignments, exception handling, and non-deterministic and random branching and timing. Modest can be viewed as an overarching notation for a wide spectrum of models, ranging from labeled transition systems, to timed automata (and probabilistic variants thereof) as well as prominent stochastic processes such as (generalized semi-)Markov chains and decision processes. The paper describes the design rationales and details of the syntax and semantics.
Original languageUndefined
Place of PublicationEnschede
PublisherINF-Centre for Telematics and Information Techn.
Number of pages36
Publication statusPublished - Nov 2004

Publication series

NameCTIT technical report series
PublisherUniversity of Twente, Centre for Telematics and Information Technology (CTIT)
No.1381-3625

Keywords

  • METIS-220860
  • EWI-5760
  • IR-48984

Cite this

Bohnenkamp, H. C., d' Argenio, P. R., Hermanns, H., & Katoen, J. P. (2004). MoDeST: A compositional modeling formalism for real-time and stochastic systems. (CTIT technical report series; No. 1381-3625). Enschede: INF-Centre for Telematics and Information Techn.
Bohnenkamp, H.C. ; d' Argenio, P.R. ; Hermanns, H. ; Katoen, Joost P. / MoDeST: A compositional modeling formalism for real-time and stochastic systems. Enschede : INF-Centre for Telematics and Information Techn., 2004. 36 p. (CTIT technical report series; 1381-3625).
@book{f65fa97196344a46bbc6f1847c5f75a4,
title = "MoDeST: A compositional modeling formalism for real-time and stochastic systems",
abstract = "This paper presents Modest (MOdeling and DEscription language for Stochastic Timed systems), a formalism that is aimed to support (i) the modular description of reactive system's behaviour while covering both (ii) functional and (iii) nonfunctional system aspects such as timing and quality-of-service constraints in a single specification. The language contains features such as simple and structured data types, structuring mechanisms like parallel composition and abstraction, means to control the granularity of assignments, exception handling, and non-deterministic and random branching and timing. Modest can be viewed as an overarching notation for a wide spectrum of models, ranging from labeled transition systems, to timed automata (and probabilistic variants thereof) as well as prominent stochastic processes such as (generalized semi-)Markov chains and decision processes. The paper describes the design rationales and details of the syntax and semantics.",
keywords = "METIS-220860, EWI-5760, IR-48984",
author = "H.C. Bohnenkamp and {d' Argenio}, P.R. and H. Hermanns and Katoen, {Joost P.}",
note = "Imported from CTIT",
year = "2004",
month = "11",
language = "Undefined",
series = "CTIT technical report series",
publisher = "INF-Centre for Telematics and Information Techn.",
number = "1381-3625",

}

Bohnenkamp, HC, d' Argenio, PR, Hermanns, H & Katoen, JP 2004, MoDeST: A compositional modeling formalism for real-time and stochastic systems. CTIT technical report series, no. 1381-3625, INF-Centre for Telematics and Information Techn., Enschede.

MoDeST: A compositional modeling formalism for real-time and stochastic systems. / Bohnenkamp, H.C.; d' Argenio, P.R.; Hermanns, H.; Katoen, Joost P.

Enschede : INF-Centre for Telematics and Information Techn., 2004. 36 p. (CTIT technical report series; No. 1381-3625).

Research output: Book/ReportReportProfessional

TY - BOOK

T1 - MoDeST: A compositional modeling formalism for real-time and stochastic systems

AU - Bohnenkamp, H.C.

AU - d' Argenio, P.R.

AU - Hermanns, H.

AU - Katoen, Joost P.

N1 - Imported from CTIT

PY - 2004/11

Y1 - 2004/11

N2 - This paper presents Modest (MOdeling and DEscription language for Stochastic Timed systems), a formalism that is aimed to support (i) the modular description of reactive system's behaviour while covering both (ii) functional and (iii) nonfunctional system aspects such as timing and quality-of-service constraints in a single specification. The language contains features such as simple and structured data types, structuring mechanisms like parallel composition and abstraction, means to control the granularity of assignments, exception handling, and non-deterministic and random branching and timing. Modest can be viewed as an overarching notation for a wide spectrum of models, ranging from labeled transition systems, to timed automata (and probabilistic variants thereof) as well as prominent stochastic processes such as (generalized semi-)Markov chains and decision processes. The paper describes the design rationales and details of the syntax and semantics.

AB - This paper presents Modest (MOdeling and DEscription language for Stochastic Timed systems), a formalism that is aimed to support (i) the modular description of reactive system's behaviour while covering both (ii) functional and (iii) nonfunctional system aspects such as timing and quality-of-service constraints in a single specification. The language contains features such as simple and structured data types, structuring mechanisms like parallel composition and abstraction, means to control the granularity of assignments, exception handling, and non-deterministic and random branching and timing. Modest can be viewed as an overarching notation for a wide spectrum of models, ranging from labeled transition systems, to timed automata (and probabilistic variants thereof) as well as prominent stochastic processes such as (generalized semi-)Markov chains and decision processes. The paper describes the design rationales and details of the syntax and semantics.

KW - METIS-220860

KW - EWI-5760

KW - IR-48984

M3 - Report

T3 - CTIT technical report series

BT - MoDeST: A compositional modeling formalism for real-time and stochastic systems

PB - INF-Centre for Telematics and Information Techn.

CY - Enschede

ER -

Bohnenkamp HC, d' Argenio PR, Hermanns H, Katoen JP. MoDeST: A compositional modeling formalism for real-time and stochastic systems. Enschede: INF-Centre for Telematics and Information Techn., 2004. 36 p. (CTIT technical report series; 1381-3625).