On the formal interpretation and behavioural consistency checking of SysML blocks
The Systems Modeling Language (SysML) is a semi-formal, graphical modelling language used in the specification and design of systems. We describe how Communicating Sequential Processes (CSP) and its associated refinement checker, FDR3, may be used to underpin an approach that facilitates the refinem...
| Main Authors: | , |
|---|---|
| Format: | Journal article |
| Published: |
Springer-Verlag
2015
|