martes, 10 de febrero de 2009

Dealing with Variability on Modeling Choreographies on Business Families

In Service-Oriented Computing (SOC), choreography models are acquiring a special importance. A choreography lists all possible interactions between a set of business partners, together with the behavioral constraints between them. Thus, choreography models represents the observable behaviour of business partners defined by means of interaction contracts. In addition, the introduction of Software Product Lines (SPL) techniques into the development of Business Information Systems (BIS) is expected to become a new development paradigm, of what we call Business Family, maximizing reuse and dealing with variability on business process definitions, including the notion of interacting processes. However, current proposals for modeling these interactions, by means of choreography models, does not provide any support for introducing these variability aspects. The contribution of this work is two-fold: in the one hand, we propose a choreography model based on an UML2 profile used on Agent-Oriented Software Engineering (AOSE) field that makes feasible the variability support; and in the other hand we provide a transformation between this choreography model and BPMN elements for improving the design of business families, by means of the Business Family Engineering (BFE) approach.

The AOSE profile used in this approach is the MaCMAS profile. We define the Order Trip choreography (WSCI specification example) by means of the mRI models provided by means of this AOSE approach, as shown in Figure:

Next, we apply the following model to model transformation catalog (under construction, a final proposal of this catalog will be published):

And finally we obtain the expected results:

Next step is to provide a new transformation rule for obtaining the choreography models proposed by the BPMN 1.2 draft specification:

No hay comentarios: