If we want software verification techniques to be more adopted in the industry, we need to move to incremental verification approaches, where we reuse previous analysis to avoid reevaluating the whole model every time it is modified.
We explore the benefits of using time-series databases to store models data. Thanks to this we can now query historical model information and perform advanced time-series analysis on it, especially useful when dealing with run-time models.
We propose a few techniques to improve the quality of OCR over DSLs. The key idea is to use information about the DSL specification (e.g. lexicon, grammar) itself to drive the recognition process.
PapyGame is an initiative to gamify the process of learning modeling. It’s a gamified version of Papyrus that instructors can use to easily create new modeling games to help students learning any specific modeling aspect.
The quality of process descriptions in research is essential to reproducibility and theory building.
We suggest that model-based analysis can contribute to the improvement and concise communication of such descriptions. We demonstrate this by applying a model-based framework – PROVE – to restructure and analyze several process descriptions.