![]() With this type of documentation, it is possible to infer the behavior of the elements for the arrival of any possible stimulus. Static behavioral models support documentation of alternatives and repetitions to provide the opportunity of following different paths through a system, depending on runtime values. This is referred to as a static model of behavior because it is possible to infer all possible traces through a system, given this type of documentation. Another type of documentation, often state based, shows the complete behavior of a structural element or a set of elements. ![]() Traces are easier to design and communicate because they have a narrow focus. However, the union of all possible traces would generate a complete behavioral model, although this isn't remotely feasible in most systems. Traces are by no means a complete behavioral model of a system. Those traces are complete only with regard to what happens in a system when a specific stimulus arrives while the system is in a specific state.
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |