… shared framework for modeling agents, interactions, processes, procedures, and events. Developed over several years, OASIS has found applications in areas such as e-commerce and blockchain technologies. The mission of this group is to advance its formalization by leveraging Sema…