Requirements-Driven Design of Service-Oriented Interactions

Author

Mahfouz, Amr ; Barroca, Leener ; Laney, Robin ; Nuseibeh, Bashar

Author_Institution

Webalo, Inc., Los Angeles, CA, USA

Volume

27

Issue

6

fYear

2010

Firstpage

25

Lastpage

32

Abstract

Service-oriented architecture (SOA) enables interenterprise service interactions. Services provide platform-independent abstractions around software systems, thereby enabling interoperability between heterogeneous systems. It is supported by a tool, Chreq(Choreograpy requirements) that automatically generates messaging protocols from requirements models. Chreq also generates comments, interleaved with the protocol, to indicate points at which physical activities should execute. Several languages are emerging as standards for describing interfaces and interaction protocols that specify service-oriented systems.

Keywords

Web services; business data processing; formal specification; formal verification; high level languages; open systems; software architecture; Web service description language; choreography requirement; heterogeneous system; interaction protocol; interenterprise service interaction; interface protocol; interoperability; messaging protocol; platform independent abstraction; requirement driven design; service oriented architecture; Collaboration; Process design; Protocols; software engineering;

fLanguage

English

Journal_Title

Software, IEEE

Publisher

ieee

ISSN

0740-7459

Type

jour

DOI

10.1109/MS.2010.113

Filename

5510236