Resource Contracts for Active Objects

• Charaf Eddine Dridi Western Norway University of Applied Sciences https://orcid.org/0000-0001-5724-8187
• Violet Ka I Pun Western Norway University of Applied Sciences https://orcid.org/0000-0002-8763-5548
• Volker Stolz Western Norway University of Applied Sciences https://orcid.org/0000-0002-1031-6936

Resumo

Workflows coordinate tasks across departments or organisations, where correct execution depends not only on control dependencies but also on the availability of shared resources. This paper presents ReAct, a resource-aware active object language for workflow modelling. In ReAct, method declarations serve as contracts: they specify alternative resource profiles in their signatures, giving methods multiple execution options when resources are limited. Methods can be invoked only once their dependency conditions are satisfied; at activation, a feasible resource profile is then selected and allocated. We encode the language in Maude and show how workflows can be executed, simulated, and verified against their declared dependencies and resource requirements.

Palavras-chave: Active Objects, Resource Allocation, Contracts, Maude, Workflow Models