From Organizational Requirements to Service Choreography

Mahfouz, Ayman; Barroca, Leonor; Laney, Robin; Nuseibeh, Bashar

doi:10.1109/services-i.2009.65

Cited by 3 publications

(8 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…We implemented an automated tool (sidebar 2) that accepts MOR as input and, utilizing the precise semantics of MOR [8] and rules in figure 4, generates the messaging protocol. The messaging protocol of the vehicle repair example is obtained by applying our tool to MOR of figure 3.…”

Section: Deriving Messaging Protocol From Requirements Modelsmentioning

confidence: 99%

Requirements-Driven Design of Service-Oriented Interactions

Mahfouz¹,

Barroca

Laney

et al. 2010

IEEE Softw.

Self Cite

View full text Add to dashboard Cite

show abstract

Section: Deriving Messaging Protocol From Requirements Modelsmentioning

confidence: 99%

Requirements-Driven Design of Service-Oriented Interactions

Mahfouz¹,

Barroca

Laney

et al. 2010

IEEE Softw.

Self Cite

View full text Add to dashboard Cite

show abstract

“…MOR can be annotated with precise specification of participants' obligations. We employ these behavioral annotations to guide the refinement of models [7]. Furthermore, the use of formal logic enables automatic checking for the satisfaction of participants' goals.…”

Section: Messaging Specification Vs Requirementsmentioning

confidence: 99%

“…We have exploited these semantics to automate the generation of choreographed messaging from requirements models [7]. First, we infer the set of choreographed events from creation/fulfillment events of activities and dependencies.…”

Section: Traceability: Bridging Requirements To Messagingmentioning

confidence: 99%

“…Then, we use the semantics of refinement, dependencies, and precedence between activities to come up with a partial ordering relation over these events. Finally, from the ordering relation, we generate a choreography description that satisfies the requirements [7].…”

Section: Traceability: Bridging Requirements To Messagingmentioning

confidence: 99%

“…We have previously shown [6] how organizational dependencies motivate choreographed conversations. We have also detailed how choreographed messaging can be derived from requirements [7]. In this paper we build on this work by proposing a framework that bridges global and local views of the interaction.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Requirements-Driven Collaborative Choreography Customization

Mahfouz

Barroca

Laney

et al. 2009

Service-Oriented Computing – ICSOC 2007

Self Cite

View full text Add to dashboard Cite

Abstract. Evolving business needs call for customizing choreographed interactions. However, conventional choreography description languages provide only a partial view of the interaction. Business goals of each participant and organizational dependencies motivating the interaction are not captured in the specification of messaging. Absence of this critical business knowledge makes it hard to reason if a particular customization satisfies the goals of participants. Furthermore, there is no systematic means to assess the impact of change in one participant's process (local view) on the choreography (global view) as well as on other participants' processes. To this end, we argue for the benefits of representing choreography at the level of requirements motivating the interaction. We propose a framework that allows participants to collaborate on customizing choreographed interactions, while reconciling their competing business needs. To bridge the worlds of messaging and requirements, we employ an automated technique for deriving a choreography description from the customized requirements.

show abstract