Orthogonal Decomposition of Finite-State Behavior Models As a Basis for Determining Components in Software Architectures.

Published in: SETP (2008)

Keyphrases

finite state
software architecture
markov chain
probabilistic model
distributed systems
model checking
markov decision processes
design patterns
optimal policy
software systems
continuous time bayesian networks