A Formal Methodology for Notational Analysis and Real-Time Decision Support in Sport Environment