The s-sematics approach: theory and applications