That is why railway safety systems have been modeled using different formalisms, such as Petri nets, UML and others [1, 2, 3, 4, 5, 6], in order to facilitate the expression of the know-how of industrial experts who may not be familiar with mathematical formalisms.
Second, because machine-processable medical knowledge is currently encoded using a wide range of approaches, and because efforts at adopting a universal approach to knowledge representation have been unsuccessful to date despite a number of attempts, support should be provided for knowledge represented using different formalisms.
CellNOpt [ Terfve et al. (2012)] is a software for training logic models using different formalisms (Boolean, Fuzzy or Ordinary Differential Equations).
Thus, under an abstract view of software development, different components of the same program can be specified using different formalism in an heterogeneous setting.
Different upper-level ontologies not only use different formalisms for their representation but also represent the domain in slightly different ways.
Second, they can be built using different logic formalisms depending on the richness of the available data.
It will be interesting to see if other action languages can be similarly characterized, and whether new action formalisms can be defined using different sets of properties.
Compared to the DKL formalism, Cukier's treatment includes different possible initial states for the proton and uses different methods to arrive at an expression for the rate constant.
Use different toppings to make different flavors.
The aim of the new software is to allow a flexible specification of system structures using concurrently different formalisms that are conventionally used in different modeling domains.
