Introducing probabilities in statecharts to specify reactive systems for performance analysis

DOI10.1016/J.COR.2005.02.018MaRDI QIDQ2489295zbMATH OpenOpenAlexFDO

Authors N. L. Vijaykumar, V. M. B. Andrade, V. Abdurahiman, Solon V. Carvalho

Publication date 16 May 2006

Published in Computers \& Operations Research (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.cor.2005.02.018

zbMATH Keywords

Markov chain

Mathematics Subject Classification ID

Markov and semi-Markov decision processes (90C40)

Recommendations

• On Proposing Statecharts to Specify Performance Models
• A probabilistic extension of UML statecharts specification and verification
• Introduction to design choices in the semantics of Statecharts
• Statecharts: a visual formalism for complex systems
• Modeling and quantitative analysis of discrete event systems: A statecharts based approach

Cites work

• Algorithmics. The spirit of computing
• scientific article; zbMATH DE number 4110183 (Why is no real title available?)
• scientific article; zbMATH DE number 3658960 (Why is no real title available?)
• scientific article; zbMATH DE number 3562235 (Why is no real title available?)
• scientific article; zbMATH DE number 3594998 (Why is no real title available?)
• scientific article; zbMATH DE number 1219609 (Why is no real title available?)
• scientific article; zbMATH DE number 1041090 (Why is no real title available?)
• Introducing probabilities in statecharts to specify reactive systems for performance analysis
• Networks of Waiting Lines
• Numerical Methods in Markov Chain Modeling
• On Proposing Statecharts to Specify Performance Models
• On queueing network models of flexible manufacturing systems
• Petri nets for modeling of dynamic systems -- a survey
• Safety Stock versus Safety Time in MRP Controlled Production Systems
• Statecharts: a visual formalism for complex systems

Cited in

(3)

• Introducing probabilities in statecharts to specify reactive systems for performance analysis
• scientific article; zbMATH DE number 978523 (Why is no real title available?)
• On Proposing Statecharts to Specify Performance Models

This page was built for publication: Introducing probabilities in statecharts to specify reactive systems for performance analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2489295)