Exploiting Structure in Solution: Decomposing Compositional Models

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

Since their introduction in the early 1990s, compositionality has been reported as one of the major attractions of stochastic process algebras. The benefits that compositionality provides for model construction are readily apparent and have been demonstrated in numerous case studies. Early research on the compositionality of the languages focused on how the inherent structure could be used, in conjunction with equivalence relations, for model simplification and aggregation. In this chapter we consider how far we have been able to take advantage of compositionality when it comes to solving the Markov process underlying a Markovian process algebra model.
Original languageEnglish
Title of host publicationLectures on Formal Methods and PerformanceAnalysis
Subtitle of host publicationFirst EEF/Euro Summer School on Trends in Computer Science Bergen Dal, The Netherlands, July 3–7, 2000 Revised Lectures
EditorsEd Brinksma, Holger Hermanns, Joost-Pieter Katoen
PublisherSpringer
Pages278-314
Number of pages37
Volume2090
ISBN (Electronic)978-3-540-44667-5
ISBN (Print)978-3-540-42479-6
DOIs
Publication statusPublished - 2001

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume2090

Fingerprint

Dive into the research topics of 'Exploiting Structure in Solution: Decomposing Compositional Models'. Together they form a unique fingerprint.

Cite this