Figure 10From: Bio-jETI: a framework for semantics-based service compositionAtomic propositions of the SIBs in example 1. Atomic propositions of the process stub and complete process model of example 1. The propositions describe basic data flow properties, like defined and used variables and their types in terms of the data types of the taxonomy.Back to article page