Engineering Diagrams
What is the difference between a diagram of an electronic circuit and, let’s say, a SysML Block Definition Diagram (BDD)?
Very simply put, the electronic diagram specifies a circuit sufficiently well, so that any person educated in the domain can audit or build it without further explanation. In contrast, UML, SysML v1 and many other notations are considered semi-formal[1]. There is semantic ambiguity in many cases. Consequently, such a diagram must be accompanied with additional information to get the idea across.
The goal of CoCoML is to define a formally sound language to describe the concept of mechatronic devices and software. UML and SysML elements shall be used as graphic notation. So any CoCoML diagram shall conform with UML, but obviously not vice-versa.
fUML[2] defines a subset of UML to allow model execution. It will be examined whether approach and results are viable for the goals of CoCoML.