Abstract: In some embodiments, a method receives a first interaction group that includes a plurality of roles. The plurality of roles comprise a first plurality of interaction modules that each define an activity. The method receives a second interaction group that includes a second plurality of interaction modules. The second interaction group identifies the first interaction group, and interaction modules in the second plurality of modules identify a role in the plurality of roles of the first interaction group. Then, an activity of the second plurality of interaction modules is generated for the second interaction group by retrieving the activity of an interaction module in the first plurality of interaction modules identified by a respective role for the interaction module in the second plurality of interaction modules.

Abstract: In some embodiments, a method receives a first interaction group that includes a plurality of roles. The plurality of roles comprise a first plurality of interaction modules that each define an activity. The method receives a second interaction group that includes a second plurality of interaction modules. The second interaction group identifies the first interaction group, and interaction modules in the second plurality of modules identify a role in the plurality of roles of the first interaction group. Then, an activity of the second plurality of interaction modules is generated for the second interaction group by retrieving the activity of an interaction module in the first plurality of interaction modules identified by a respective role for the interaction module in the second plurality of interaction modules.

Abstract: In one embodiment, a method generates interaction skeletons for a plurality of participating computers to inter-operate based on a multi-party interaction protocol. The method includes creating an Interaction Protocol based on an interaction process of how the plurality of participating computers interact with each other. The Interaction Protocol uses multiple Interaction Activities and multiple Transition Relations to describe the interaction process among the plurality of participating computers. The method then determines an interaction skeleton by generating multiple Participating Activities and their Transition Relations for each participating computer in the plurality of participating computers based on corresponding Interaction Activities and their Transition Relations in the Interaction Protocol. The interaction skeleton is converted into executable interaction modules.

Abstract: In one embodiment, a method generates interaction skeletons for a plurality of participating computers to inter-operate based on a multi-party interaction protocol. The method includes creating an Interaction Protocol based on an interaction process of how the plurality of participating computers interact with each other. The Interaction Protocol uses multiple Interaction Activities and multiple Transition Relations to describe the interaction process among the plurality of participating computers. The method then determines an interaction skeleton by generating multiple Participating Activities and their Transition Relations for each participating computer in the plurality of participating computers based on corresponding Interaction Activities and their Transition Relations in the Interaction Protocol. The interaction skeleton is converted into executable interaction modules.

Abstract: A method derives a composite activity that specifies a behavior of a first system that interacts with a second system. The method specifies the composite activity containing a set of first simple activities in which each first simple activity is a basic activity specifying a message that is either sent from the first system to the second system or sent from the second system to the first system. Then, each first simple activity that specifies a message sent from the second system to the first system is replaced by a second activity for the first system to receive the message followed by an unspecified activity that is to be specified by a user to define an internal action the first system is to take. Also, each first simple activity that specifies a message sent from the first system to the second system is replaced by an unspecified activity that is to be specified by a user to define an internal action the first system is to take followed by a second activity for the first system to send out the message.

Abstract: System for specifying dynamic application system behavior, procedures and methods about its operations, and methods about how to develop such a behavior model are provided in the present invention. A Dynamic System (DS) and its operations are provided to model complex and dynamic system behavior in general. To specify behavior of an application system in a distributed environment, an external DS is used to model the external behavior, a Proactive System is used to model the reactive behavior and an internal DS is used to model the internal active behavior of such an application system. A graphical notation of DS and its components are also provided. Finally, systematic methods to derive reactive behavior from external behavior and vise versa are described.

Abstract: System for specifying dynamic application system behavior, procedures and methods about its operations, and methods about how to develop such a behavior model are provided in the present invention. A Dynamic System (DS) and its operations are provided to model complex and dynamic system behavior in general. To specify behavior of an application system in a distributed environment, an external DS is used to model the external behavior, a Proactive System is used to model the reactive behavior and an internal DS is used to model the internal active behavior of such an application system. A graphical notation of DS and its components are also provided.