Enterprise information systems allow more automation of tasks and complex interconnections, particularly with the emergence of new paradigm like Service Oriented Architecture (SOA). These new environments make checking correctness of systems at design-time as well as at run-time particularly challenging. In this paper, we propose a new monitoring framework that makes use of business protocols as a simple abstraction of business processes specified by means of BPEL. We provide a monitoring language called BPath, which is an XPath-based language for both expressing and checking temporal and hybrid logical properties at run-time, making visibility on the execution of a business process by expressing and evaluating statistical queries over execution traces.