Extraction of component-environment interaction model using state space traversal
Pavel Parízek, Nodir Yuldashev · 2010
Scalability of software engineering methods can be improved by application of the methods to individual components instead of complete systems. This is, however, possible only if a model of interaction between each component and its environment (rest of the system) is available. Since constructing formal models of interaction by hand is hard and tedious, techniques and tools for automated inference of the models from code are needed.