Progress with formalization in medical informatics?

Progress with formalization in medical informatics?