Category: GENESYS

The Importance of Early Verification Planning

We often think about verification as something that is done toward the end of the development phase of a program, which must be concluded just prior to entering the operational phase. While that is true in terms of execution and reporting of the final, formal verification activities, in reality, the …

Modeling SysML States in GENESYS

In the past few months I’ve been writing about how to model basic SysML concepts of behavior using GENESYS. SysML has three largely separate approaches for modeling behavior: activities, interactions, and states. I’ve covered the modeling of behavior using activities and interactions in August (Modeling SysML Activities in GENESYS) and …

Modeling SysML Interactions in GENESYS

In last month’s blog, Modeling SysML Activities in GENESYS, I discussed how to model behavior using activity diagrams. What, though, are interactions? Interactions are a UML concept brought over into SysML that can be used as an alternative approach for modeling behavior in SysML. Interactions are distinct from activities and …