Organizations have to face new challenges, hold new opportunities, conquer and maintain important customers and get a better strategic position as faster as possible. The principle...
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...