Abstract. We build on a framework for modelling and investigating componentbased 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.
Further properties such as liveness, fairness and robustness as well as a result presenting a condition that can be tested in polynomial time and ensures liveness can be found in REF .
An Approach to Modelling and Verification of Component Based Systems
In Proceedings of the 33rd International Conference on Current Trends in Theory and Practice of Computer, Science SOFSEM07, volume 4362 of LNCS
Computer Science