Interactive Markov Chains: And the Quest for Quantified Quality

زنجیره های مارکوف به طور گسترده ای به عنوان مدل های تصادفی برای مطالعه طیف گسترده ای از ویژگی های عملکرد و قابلیت اطمینان سیستم استفاده می شوند. این تک نگاری به مشخصات ترکیبی و تجزیه و تحلیل زنجیره های مارکوف اختصاص دارد.
بر اساس اصول شناخته شده از جبر فرآیندی، نویسنده به طور سیستماتیک جبری از زنجیره های مارکوف تعاملی را توسعه می دهد. نویسنده با ارائه تعدادی از نتایج متمایز، هم ماهیت نظری و هم از نظر عملی، این ادعا را اثبات می‌کند که زنجیره‌های مارکوف تعاملی بیش از یک فرمالیسم دیگر هستند: در میان دیگر، یک نظریه جبری از زنجیره‌های مارکوف تعاملی ایجاد شده است، الگوریتم‌هایی برای مکانیزه کردن تجمع ترکیبی ابداع می‌کند. ارائه شده است، و فضاهای حالت چند میلیون حالت ناشی از مطالعه یک سیستم تلفن معمولی تجزیه و تحلیل می شود.

Markov Chains are widely used as stochastic models to study a broad spectrum of system performance and dependability characteristics. This monograph is devoted to compositional specification and analysis of Markov chains.
Based on principles known from process algebra, the author systematically develops an algebra of interactive Markov chains. By presenting a number of distinguishing results, of both theoretical and practical nature, the author substantiates the claim that interactive Markov chains are more than just another formalism: Among other, an algebraic theory of interactive Markov chains is developed, devise algorithms to mechanize compositional aggregation are presented, and state spaces of several million states resulting from the study of an ordinary telefone system are analyzed.