A generic and executable model for the specification and validation of distributed behaviors