JSOI is your model interchange solution if you want the ability to retrieve subsets of elements by type, lazy evaluation of references or get element demographics without element loading.
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.
Find logical errors in model transformations by means of applying symbolic execution methods.
Modelling is a useful technique for shaping, exploring, documenting, understanding and communicating artefacts of many kinds, and not only software. ConML is a conceptual modelling language for non-experts in information technologies and especially suited to serve non-software modeling domains.
A few ideas on where modeling (and modeling tools) should go next, including alternative interfaces, benefitting from AI advances and evolving towards a more personalized notion of modeling
Specification of sequence diagrams is not easy. They are more complex than they appear to be and support provided by most UML modeling tools is often limited (e.g. no advanced checking).