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 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.
A lightweight approach to generate domain models that automatically respect and enforce your business process definition
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).
Sometimes the easiest way to draw a model is to “write” it down. These tools will render nicely looking UML diagrams from a few lines of text.
Complete tutorial introducing the Object Constraint Language (OCL), covering its syntax, semantics, and tool support.
