The Community for Technology Leaders
Green Image
Issue No. 10 - October (2006 vol. 32)
ISSN: 0098-5589
pp: 812-830
H. Bohnenkamp , Software Modeling and Verification Group, Informatik 2, University (RWTH) Aachen, 52056 Aachen, Germany
P.R. D'Argenio , Computer Science Group, FaMAF, Universidad Nacional de Co´rdoba, Ciudad Universitaria, 5000?Cordoba, Argentina
H. Hermanns , Dependable Systems and Software Group, Department of Computer Science, Saarland University, 66123 Saarbrucken, Germany
J.-P. Katoen , Software Modeling and Verification Group, Informatik 2, University (RWTH) Aachen, 52056 Aachen, Germany
ABSTRACT
This paper presents MODEST (modeling and description language for stochastic timed systems), a formalism that is intended to support 1) the modular description of reactive systems' behavior while covering both 2) functional and 3) 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 nondeterministic 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
INDEX TERMS
formal languages, formal specification, Markov processes, programming language semantics, specification languages, stochastic automata
CITATION

H. Bohnenkamp, P. D'Argenio, H. Hermanns and J. Katoen, "MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems," in IEEE Transactions on Software Engineering, vol. 32, no. 10, pp. 812-830, 2009.
doi:10.1109/TSE.2006.104
177 ms
(Ver 3.3 (11022016))