| http://www.w3.org/ns/prov#value | - Furthermore, as types can be re-lated with each other, they support more complex checks andguarantees like compatibility in composition and re???nementof models in a model based development process.We propose a behavioral type system and explain its prop-erties, speci???cally targeting a subset of UML state-machines.We present an early implementation that generates behav-ioral type de???nitions ou
|
