System Modelling 2019/1 -- Theoretical Questions 4
1. In state based modelling …
1/a … all sets of states are state spaces, as well. *
1 point
1/b … mutual exclusivity of state spaces means that there is always at least one active state. *
1 point
1/c … a state space can only be complete if it contains more than one state. *
1 point
1/d … after abstraction mutual exclusivity still holds. *
1 point
2. Two states can be active at the same time if …
2/a … they are not parts of the same state space. *
1 point
2/b … they have the same type. *
1 point
2/c … in an extended (Harel) state machine they are parts of two separate orthogonal regions. *
1 point
2/d … in an extended (Harel) state machine one is a substate of the other. *
1 point
3. The asynchronous product of the state machines of two components …
3/a … is itself a state machine, as well. *
1 point
3/b … has transitions, in which both components change their states. *
1 point
3/c … can't be deterministic because both components can have state changes. *
1 point
3/d … can be projected to it's components by using abstraction . *
1 point
4. A model …
4/a … is always a depiction of the system being designed, never of the real world. *
1 point
4/b … does not always deal with the whole modelled system, but only with some parts of it. *
1 point
4/c … has the role to substitute the system in some considerations. *
1 point
4/d … can be more accurate and more detailed than the modelled system. *
1 point
5. During decomposition of models, ...
5/a … the "part of" relation can mean physical containment (physical decomposition). *
1 point
5/b … the "part of" relation can mean decomposition based on functionality (logical decomposition). *
1 point
5/c … a decompostion that merges parts of the original system can be correct. *
1 point
5/d … each model element is divided into more parts. *
1 point
6. An instance graph …
6/a … contains nodes and edges. *
1 point
6/b … is also called metamodel. *
1 point
6/c … 's elements can only connect in ways allowed by their types. *
1 point
6/d … describes the control flow of a program. *
1 point
7. In a process model, an elementary activity …
7/a … can't occur if the process is well structured. *
1 point
7/b … can have a positive duration, can be executed for an extended period of time. *
1 point
7/c … 's internal operation and duration is not specified. *
1 point
7/d … can be replaced by a process using refinement, in which the details of its execution are specified. *
1 point
8. A guard condition …
8/a … may appear on the outgoing edges of a decision point. *
1 point
8/b … may appear on the transition edges of a state machine. *
1 point
8/c … can take variables, other regions and outer information into account. *
1 point
8/d … 's unsatisfaction means that the given behaviour is not allowed. *
1 point