Loading...
conference paper
An approach to modelling and verification of component based systems
2007
SOFSEM 2007: Theory and Practice of Computer Science
We build on a framework for modelling and investigating component-based systems that strictly separates the description of behavior of components from the way they interact. We discuss various properties of system behavior as liveness, local progress, local and global deadlock, and robustness. We present a criterion that ensures liveness and can be tested in polynomial time. © Springer-Verlag Berlin Heidelberg 2007.
Loading...
Name
Sofsem07.pdf
Access type
openaccess
Size
369.01 KB
Format
Adobe PDF
Checksum (MD5)
41cb521fcc10d033ce288f046862091c