empldb.otml

SRI international 发布的OAA框架软件

<!-- It is ok to split ICL events over multiple lines as long as you don't
     split strings. -->

<testcase>
	<send>
		oaa_Solve(
			manager('Adam Cheyer',[],_),
			[blocking(false)]
			)
	</send>
	<toFac>
		ev_solved(_,
				Requestees,
				Solvers,
				manager('Adam Cheyer',[],_),
				Params,
				[manager('Adam Cheyer',[],
				'Ray Perrault')]
				)
	</toFac>
</testcase>