A Formal Approach to Resource Allocation in Service Oriented Marketplaces (2005-2007)

This project targets a specific and often neglected aspect of service oriented computing (SOC): the problem of resource allocation in complex and dynamic organizations as is typical in service driven marketplaces. The aim of the project is a formal framework based on a policy based normative system modeling the complex relationships between services service providers and customers. By bringing together the expertise from three related technologies namely ontology workflow management and formal organizational modeling the project not only holds the potential to contribute to fundamental research questions on modeling and verification but also delivers significant outcomes on the practical limitations and constraints of SO