Sismic: An open source Python API for statechart execution, validation and testing
Sismic is a lightweight approach for defining, validating and executing statecharts thanks to an open source API implemented in Python 3
Sismic is a lightweight approach for defining, validating and executing statecharts thanks to an open source API implemented in Python 3
Continuity is a drawing and a modeling tool at the same time and tries to combine the best of both worlds to help you create beautiful formal models
Learn how to model classes (and their logic) in this next chapter of our Executable UML tutorial. Via an illustrative example, you’ll learn all the trade-offs you must consider when identifying, naming and modeling the main concepts of your system.
TemporalEMF adds native temporal support for models. Models are automatically treated as temporal models and can be subjected to temporal queries to retrieve the model contents at different points in time. Behind the scenes, the history of a model is transparently stored in a NoSQL database.
The first step in refactoring modeling technology is to understand and tame language complexity. This post proposes several solutions for that, for instnace, the definition of alternative notations for the same conceptual language.
A common problem when modeling software systems is the lack of support to specify how to enforce privacy concerns in data models. In this post, we propose a profile to define and enforce privacy concerns in UML class diagrams. Models annotated with our profile can be used in model-driven methodologies to generate privacy-aware applications.
Recent Comments