Temporal Event based Compliance Monitoring

Information systems are increasingly open to the outside world, with complex and continuous interactions with theirs environments, which are constantly growing. In this context, checking the behavior of a system is not limited to verifying what a system is supposed to achieve. But also, it is necessary to ensure that the achieved services are completed in the respect of external requirements such as laws and directives imposed by different compliance sources. In this paper, we propose an architecture and a new language based on temporal logic and event condition action paradigm to specify runtime compliance requirements, in the context of event driven computing.