An Argumentation Approach to Incompletely Specified Software Services

We address the problem of analyzing interoperable software services, focusing on determining the existence of those aspects omitted from the software services specifications, which may jeopardize the interaction between the involved parties. Based on the wide visualization possibilities offered by the representation of software service using Open Workflow Nets, we can easily identify those deadlock cases that may impede the successful finalization of their common tasks. Furthermore, a solution is proposed for handling such exceptional situations using the reasoning power of the Value based Argumentation Framework, which allows us to consider at all times the most appropriate solution for each service involved, enabling a final decision making characterized by minimum risks and losses for each party.