Resource Contracts for Active Objects

Initial public release of ReAct, a resource-aware active object language for workflow modeling. Includes the Maude-based executable semantics, example hospital workflow, resource allocation/activation rules, and search queries demonstrating termination and resource pool restoration.

Institutions

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2025-10-09
DOI
https://doi.org/10.5281/zenodo.17305151
Primary Topic
Alzheimer's disease research and treatments
Type
article
Field-Weighted Citation Impact
0.00
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

Resource Contracts for Active Objects

Zenodo (CERN European Organization for Nuclear Research)
Alzheimer's disease research and treatments
article

Resource Contracts for Active Objects

article en

Abstract

Initial public release of ReAct, a resource-aware active object language for workflow modeling. Includes the Maude-based executable semantics, example hospital workflow, resource allocation/activation rules, and search queries demonstrating termination and resource pool restoration.

Zenodo (CERN European Organization for Nuclear Research)
Western Norway University of Applied Sciences (NO)
Openalex Percentile: Top 41%
Alzheimer's disease research and treatments
DOIOpen Access PDFOpenAlex
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.

Resource Contracts for Active Objects · Zenodo (CERN European Organization for Nuclear Research) (2025) | TGRS Research Map | TGRS