Abstract. We propose and formalize HomeBPEL, a higher-order WSBPEL-like business process execution language where processes are firstclass values that can be stored in variables, p...
Mikkel Bundgaard, Arne J. Glenstrup, Thomas T. Hil...
David tries not to use unfamiliar trains and buses, he doesn’t travel to places he doesn’t know, and he doesn’t travel in unusual environments without a companion. David is v...
Formal models of business processes are used for a variety of purposes. But where the elicitation of the characteristics of a business process usually takes place in a collaborati...
In this paper we present how to use the Agent MOdeling LAnguage (AMOLA) to define agent interaction protocols and how to integrate these in an agent model. AMOLA provides the synt...
This paper presents the Agent MOdeling LAnguage (AMOLA). This language provides the syntax and semantics for creating models of multi-agent systems covering the analysis and design...