cliffordheath@inthehands As I speak in these definitive terms, I have recently revised a semantic formalisation of Object Role Modelling, a graphical formal language. We formalised it by mapping each graphical feature to an abstract syntax, and formalising that. But it's hard work, and still unproven in terms of use of differencing in engineering review
GNU social JP is a social network, courtesy of GNU social JP管理人. It runs on GNU social, version 2.0.2-dev, available under the GNU Affero General Public License.
All GNU social JP content and data are available under the Creative Commons Attribution 3.0 license.